George S. Avrunin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
14
Active years
1988–2022
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | HCI | A Coding Framework for Usability Evaluation of Digital Health Technologies. | Mahdi Ebnali, Lauren R. Kennedy-Metz, Heather M. Conboy, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, Christian Miccile, Maria Arshanskiy, Annette Phillips, Marco A. Zenati, Roger D. Dias |
| 2020 | CogSIMA | Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. | Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati |
| 2018 | AMIA | Process Driven Guidance for Complex Surgical Procedures. | George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati |
| 2018 | CogSIMA | Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. | Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, David Arney, Julian M. Goldman, Giuseppe Riccardi, Steven J. Yule, Marco A. Zenati |
| 2018 | ICSE | Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. | George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati |
| 2018 | MICCAI | Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. | Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, David Arney, Julian M. Goldman, Giuseppe Riccardi, George S. Avrunin, Steven J. Yule, Marco A. Zenati |
| 2017 | CogSIMA | Cognitive support during high-consequence episodes of care in cardiovascular surgery. | Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov |
| 2016 | ICSE | Smart checklists to improve healthcare outcomes. | Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
| 2014 | AMIA | Online Deviation Detection for Medical Processes. | Stefan C. Christov, George S. Avrunin, Lori A. Clarke |
| 2014 | SP | Insider Threat Identification by Process Analysis. | Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert |
| 2013 | ICSE | Considerations for online deviation detection in medical processes. | Stefan C. Christov, George S. Avrunin, Lori A. Clarke |
| 2013 | ICSE | Modal abstraction view of requirements for medical devices used in healthcare processes. | Heather M. Conboy, George S. Avrunin, Lori A. Clarke |
| 2012 | DSN | Smart checklists for human-intensive medical systems. | George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch |
| 2010 | ICSE | A benchmark for evaluating software engineering techniques for improving medical processes. | Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman |
| 2010 | SEKE | An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. | Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen |
| 2009 | BPM | An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. | Leon J. Osterweil, Lori A. Clarke, George S. Avrunin |
| 2008 | ICSE | Analyzing medical processes. | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman |
| 2008 | ICSE | Using software engineering technology to improve the quality of medical processes. | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil |
| 2007 | ICSE | Plug-and-Play Architectural Design and Verification. | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2007 | MODELS | Rigorously Defining and Analyzing Medical Processes: An Experience Report. | Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens |
| 2006 | ICSE | Managing space for finite-state verification. | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Using model checking with symbolic execution to verify parallel numerical programs. | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Verification support for plug-and-play architectural design. | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2005 | PPoPP | Modeling wildcard-free MPI programs for verification. | Stephen F. Siegel, George S. Avrunin |
| 2004 | ICSE | Heuristic-Based Model Refinement for FLAVERS. | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
| 2002 | ICSE | PROPEL: an approach supporting property elucidation. | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
| 2000 | ISSTA | Improving the precision of INCA by preventing spurious cycles. | Stephen F. Siegel, George S. Avrunin |
| 1999 | ICSE | Patterns in Property Specifications for Finite-State Verification. | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
| 1999 | ICSE | Data Flow Analysis for Checking Properties of Concurrent Java Programs. | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
| 1997 | ICSE | Analyzing Partially-Implemented Real-Time Systems. | George S. Avrunin, James C. Corbett, Laura K. Dillon |
| 1996 | CAV | Symbolic Model Checking Using Algebraic Geometry. | George S. Avrunin |
| 1993 | ISSTA | A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. | James C. Corbett, George S. Avrunin |
| 1991 | CAV | Integer Programming in the Analysis of Concurrent Systems. | George S. Avrunin, Ugo A. Buy, James C. Corbett |
| 1991 | ISSTA | Experiments with an Improved Constrained Expression Toolset. | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
| 1989 | ISSTA | Experiments in Automated Analysis of Concurrent Software Systems. | George S. Avrunin, Jack C. Wileden, Laura K. Dillon |
| 1988 | ICDCS | Towards Automating Analysis Support for Developers of Distributed Software. | Jack C. Wileden, George S. Avrunin |