Patterns in property specifications for finite-state verification
Dwyer, Matthew B., Avrunin, George S., Corbett, James C.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
A novel multimodal, intraoperative cognitive workload assessment of cardiac surgery team members
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.
Published in The Journal of thoracic and cardiovascular surgery (29.07.2024)
Published in The Journal of thoracic and cardiovascular surgery (29.07.2024)
Get full text
Journal Article
Dissecting Cardiac Surgery: A Video-Based Recall Protocol to Elucidate Team Cognitive Processes in the Operating Room
Dias, Roger D, Zenati, Marco A, Conboy, Heather M, Clarke, Lori A, Osterweil, Leon J, Avrunin, George S, Yule, Steven J
Published in Annals of surgery (01.08.2021)
Published in Annals of surgery (01.08.2021)
Get more information
Journal Article
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures
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.
Published in OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis (01.09.2018)
Published in OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis (01.09.2018)
Get full text
Book Chapter
Journal Article
Toward improving surgical outcomes by incorporating cognitive load measurement into process-driven guidance
Avrunin, George S., Clarke, Lori A., Conboy, Heather M., Osterweil, Leon J., Dias, Roger D., Yule, Steven J., Goldman, Julian M., Zenati, Marco A.
Published in 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS) (01.05.2018)
Published in 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS) (01.05.2018)
Get full text
Conference Proceeding
Journal Article
Online deviation detection for medical processes
Christov, Stefan C, Avrunin, George S, Clarke, Lori A
Published in AMIA ... Annual Symposium proceedings (2014)
Get full text
Published in AMIA ... Annual Symposium proceedings (2014)
Journal Article
PROPEL: an approach supporting property elucidation
Smith, Rachel L., Avrunin, George S., Clarke, Lori A., Osterweil, Leon J.
Published in International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002 (01.01.2002)
Published in International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002 (01.01.2002)
Get full text
Conference Proceeding
Journal Article
Analyzing medical processes
Chen, Bin, Avrunin, George, Henneman, Elizabeth, Clarke, Lori, Osterweil, Leon, Henneman, Philip
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (2008)
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (2008)
Get full text
Conference Proceeding
Journal Article
Using process elicitation and validation to understand and improve chemotherapy ordering and delivery
Mertens, Wilson C, Christov, Stefan C, Avrunin, George S, Clarke, Lori A, Osterweil, Leon J, Cassells, Lucinda J, Marquard, Jenna L
Published in Joint Commission journal on quality and patient safety (01.11.2012)
Published in Joint Commission journal on quality and patient safety (01.11.2012)
Get more information
Journal Article
Architectural Building Blocks for Plug-and-Play System Design
Wang, Shangzhu, Avrunin, George S., Clarke, Lori A.
Published in Component-Based Software Engineering (2006)
Published in Component-Based Software Engineering (2006)
Get full text
Book Chapter
Conference Proceeding
Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions
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
Published in Transfusion medicine reviews (2007)
Published in Transfusion medicine reviews (2007)
Get full text
Journal Article
Automatic Fault Tree Derivation from Little-JIL Process Definitions
Chen, Bin, Avrunin, George S., Clarke, Lori A., Osterweil, Leon J.
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Data flow analysis for checking properties of concurrent Java programs
Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care
Dias, Roger D., Conboy, Heather M., Gabany, Jennifer M., Clarke, Lori A., Osterwei, Leon J., Avrunin, George S., Arney, David, Goldman, Julian M., Riccardi, Giuseppe, Yule, Steven J., Zenati, Marco A.
Published in 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) (01.06.2018)
Published in 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) (01.06.2018)
Get full text
Conference Proceeding
Journal Article
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies
Conboy, Heather M., Kennedy-Metz, Lauren R., Avrunin, George S., Clarke, Lori A., Osterweil, Leon J., Dias, Roger D., Zenati, Marco A.
Published in 2020 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) (01.08.2020)
Published in 2020 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) (01.08.2020)
Get full text
Conference Proceeding