Patterns in property specifications for finite-state verification von Dwyer, Matthew B., Avrunin, George S., Corbett, James C.

Volltext

Process-Model-Driven Guidance to Reduce Surgical Procedure Errors: An Expert Opinion von Osterweil, Leon J., PhD, Conboy, Heather M., PhD, Clarke, Lori A., PhD, Avrunin, George S., PhD

Volltext

A novel multimodal, intraoperative cognitive workload assessment of cardiac surgery team members von Kennedy-Metz, Lauren R., Conboy, Heather M., Liu, Anna, Dias, Roger D., Harari, Rayan E., Gikandi, Ajami, Shapeton, Alexander, Clarke, Lori A., Osterweil, Leon J., Avrunin, George S., Chaspari, Theodora, Yule, Steven, Zenati, Marco A.

Volltext

Dissecting Cardiac Surgery: A Video-based Recall Protocol to Elucidate Team Cognitive Processes in the Operating Room von Dias, Roger D., Zenati, Marco A., Conboy, Heather M., Clarke, Lori A., Osterweil, Leon J., Avrunin, George S., Yule, Steven J.

Volltext

Verification of MPI-Based Software for Scientific Computation von Siegel, Stephen F., Avrunin, George S.

Volltext

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures von Dias, Roger D., Conboy, Heather M., Gabany, Jennifer M., Clarke, Lori A., Osterweil, Leon J., Arney, David, Goldman, Julian M., Riccardi, Giuseppe, Avrunin, George S., Yule, Steven J., Zenati, Marco A.

Volltext

Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review von Christov, Stefan C., Marquard, Jenna L., Avrunin, George S., Clarke, Lori A.

Volltext

Process Driven Guidance for Complex Surgical Procedures von Avrunin, George S, Christov, Stefan C, Clarke, Lori A, Conboy, Heather M, Osterweil, Leon J, Zenati, Marco A

Volltext

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning von Cobleigh, Jamieson M., Avrunin, George S., Clarke, Lori A.

Volltext

Combining symbolic execution with model checking to verify parallel numerical programs von Siegel, Stephen F., Mironova, Anastasia, Avrunin, George S., Clarke, Lori A.

Volltext

Online deviation detection for medical processes von Christov, Stefan C, Avrunin, George S, Clarke, Lori A

Volltext

PROPEL: an approach supporting property elucidation von Smith, Rachel L., Avrunin, George S., Clarke, Lori A., Osterweil, Leon J.

Volltext

Analyzing medical processes von Chen, Bin, Avrunin, George, Henneman, Elizabeth, Clarke, Lori, Osterweil, Leon, Henneman, Philip

Volltext

Automatic Fault Tree Derivation from Little-JIL Process Definitions von Chen, Bin, Avrunin, George S., Clarke, Lori A., Osterweil, Leon J.

Volltext

Using Process Elicitation and Validation to Understand and Improve Chemotherapy Ordering and Delivery von Mertens, Wilson C., Christov, Stefan C., Avrunin, George S., Clarke, Lori A., Osterweil, Leon J., Cassells, Lucinda J., Marquard, Jenna L.

Volltext

Architectural Building Blocks for Plug-and-Play System Design von Wang, Shangzhu, Avrunin, George S., Clarke, Lori A.

Volltext

Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions von Henneman, Elizabeth A, Avrunin, George S, Clarke, Lori A, Osterweil, Leon J, Andrzejewski, Chester, Merrigan, Karen, Cobleigh, Rachel, Frederick, Kimberly, Katz-Bassett, Ethan, Henneman, Philip L

Volltext

Designing Property Specifications to Improve the Safety of the Blood Transfusion Process von Henneman, Elizabeth A, Cobleigh, Rachel, Avrunin, George S, Clarke, Lori A, Osterweil, Leon J, Henneman, Philip L

Volltext

Data flow analysis for checking properties of concurrent Java programs von Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

Volltext

Improving the precision of INCA by eliminating solutions with spurious cycles von Siegel, S.F., Avrunin, G.S.

Volltext