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

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

The Grad Cohort Workshop: Evaluating an Intervention to Retain Women Graduate Students in Computing von Stout, Jane G, Tamer, Burçin, Wright, Heather M, Clarke, Lori A, Dwarkadas, Sandhya, Howard, Ayanna M

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

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

Volltext

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

Volltext

A Coding Framework for Usability Evaluation of Digital Health Technologies von Ebnali, Mahdi, Kennedy-Metz, Lauren R., Conboy, Heather M., Clarke, Lori A., Osterweil, Leon J., Avrunin, George, Miccile, Christian, Arshanskiy, Maria, Phillips, Annette, Zenati, Marco A., Dias, Roger D.

Volltext

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

Volltext

Forecast for Reproducible Data: Partly Cloudy von Osterweil, Leon J., Clarke, Lori A., Ellison, Aaron M., Sills, Jennifer

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

Flow analysis for verifying properties of concurrent software systems von Dwyer, Matthew B, Clarke, Lori A, Cobleigh, Jamieson M, Naumovich, Gleb

Volltext

Re-examining the requirements for verification of patient identifiers during medication administration: No wonder it is error-prone von Jo, Junghee, Marquard, Jenna L., Clarke, Lori A., Henneman, Philip L.

Volltext

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance von Osterweil, L.J., Clarke, L.A., Ellison, A.M., Boose, E., Podorozhny, R., Wise, A.

Volltext

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

Volltext