George S. Avrunin

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 9

Top Topics

False Positives

Usability Evaluation

Medical Devices

Top Venues

Publications

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
A Coding Framework for Usability Evaluation of Digital Health Technologies. HCI (1) (2022)
Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. CogSIMA (2020)
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
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. OR 2.0/CARE/CLIP/ISIC@MICCAI (2018)
George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati
Process Driven Guidance for Complex Surgical Procedures. AMIA (2018)
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
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. CogSIMA (2018)
George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. SEHS@ICSE (2018)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov
Cognitive support during high-consequence episodes of care in cardiovascular surgery. CogSIMA (2017)
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. 20 (2) (2017)
Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Smart checklists to improve healthcare outcomes. SEHS@ICSE (2016)
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
Online Deviation Detection for Medical Processes. AMIA (2014)
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops (2014)
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
Considerations for online deviation detection in medical processes. SEHC@ICSE (2013)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
Modal abstraction view of requirements for medical devices used in healthcare processes. SEHC@ICSE (2013)
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch
Smart checklists for human-intensive medical systems. DSN Workshops (2012)
Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. EVT/WOTE (2012)
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman
A benchmark for evaluating software engineering techniques for improving medical processes. SEHC@ICSE (2010)
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. SEKE (2010)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
Process-based derivation of requirements for medical devices. IHI (2010)
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. IHI (2010)
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin
Supporting human-intensive systems. FoSER (2010)
Leon J. Osterweil, Lori A. Clarke, George S. Avrunin
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. Business Process Management Workshops (2009)
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
Analyzing medical processes. ICSE (2008)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil
Using software engineering technology to improve the quality of medical processes. ICSE Companion (2008)
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens
Rigorously Defining and Analyzing Medical Processes: An Experience Report. MoDELS (Workshops) (2007)
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman
Engineering Medical Processes to Improve Their Safety. Situational Method Engineering (2007)
Stephen F. Siegel, George S. Avrunin
Verification of Halting Properties for MPI Programs Using Nonblocking Operations. PVM/MPI (2007)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Plug-and-Play Architectural Design and Verification. WADS (2007)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA (2006)
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim (2006)
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
User guidance for creating precise and accessible property specifications. SIGSOFT FSE (2006)
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil
Complex medical processes as context for embedded systems. SIGBED Rev. 3 (4) (2006)
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. ISSTA (2006)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Verification support for plug-and-play architectural design. ROSATEA (2006)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Architectural Building Blocks for Plug-and-Play System Design. CBSE (2006)
Jianbin Tan, George S. Avrunin, Lori A. Clarke
Managing space for finite-state verification. ICSE (2006)
Stephen F. Siegel, George S. Avrunin
Modeling wildcard-free MPI programs for verification. PPOPP (2005)
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. ISPW (2005)
Jianbin Tan, George S. Avrunin, Lori A. Clarke
Heuristic-Based Model Refinement for FLAVERS. ICSE (2004)
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE (2004)
Stephen F. Siegel, George S. Avrunin
Verification of MPI-Based Software for Scientific Computation. SPIN (2004)
Stephen F. Siegel, George S. Avrunin
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. IEEE Trans. Software Eng. 28 (2) (2002)
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
PROPEL: an approach supporting property elucidation. ICSE (2002)
Stephen F. Siegel, George S. Avrunin
Improving the precision of INCA by preventing spurious cycles. ISSTA (2000)
George S. Avrunin, James C. Corbett, Matthew B. Dwyer
Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE (1999)
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
Patterns in Property Specifications for Finite-State Verification. ICSE (1999)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Information for Concurrent Java Programs. ESEC / SIGSOFT FSE (1999)
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
Property specification patterns for finite-state verification. FMSP (1998)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24 (8) (1998)
Gleb Naumovich, George S. Avrunin
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE (1998)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. ICSE (1997)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE (1997)
George S. Avrunin
Symbolic Model Checking Using Algebraic Geometry. CAV (1996)
James C. Corbett, George S. Avrunin
Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods Syst. Des. 6 (1) (1995)
George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng. 20 (9) (1994)
James C. Corbett, George S. Avrunin
Towards Scalable Compositional Analysis. SIGSOFT FSE (1994)
James C. Corbett, George S. Avrunin
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. ISSTA (1993)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17 (11) (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett
Integer Programming in the Analysis of Concurrent Systems. CAV (1991)
George S. Avrunin, Jack C. Wileden, Laura K. Dillon
Experiments in Automated Analysis of Concurrent Software Systems. Symposium on Testing, Analysis, and Verification (1989)
Jack C. Wileden, George S. Avrunin
Towards Automating Analysis Support for Developers of Distributed Software. ICDCS (1988)
Laura K. Dillon, George S. Avrunin, Jack C. Wileden
Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. ACM Trans. Program. Lang. Syst. 10 (3) (1988)
George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Trans. Software Eng. 12 (2) (1986)
George S. Avrunin, Jack C. Wileden
Describing and Analyzing Distributed Software System Designs. ACM Trans. Program. Lang. Syst. 7 (3) (1985)