Describing and Analyzing Distributed Software System Designs. - George S. Avrunin; Jack C. Wileden (ACM Trans. Program. Lang. Syst., 1985)

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. - George S. Avrunin; Laura K. Dillon; Jack C. Wileden; William E. Riddle (IEEE Trans. Software Eng., 1986)

Towards Automating Analysis Support for Developers of Distributed Software. - Jack C. Wileden; George S. Avrunin (ICDCS, 1988)

Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. - Laura K. Dillon; George S. Avrunin; Jack C. Wileden (ACM Trans. Program. Lang. Syst., 1988)

Experiments in Automated Analysis of Concurrent Software Systems. - George S. Avrunin; Jack C. Wileden; Laura K. Dillon (Symposium on Testing, Analysis, and Verification, 1989)

Integer Programming in the Analysis of Concurrent Systems. - George S. Avrunin; Ugo A. Buy; James C. Corbett (CAV, 1991)

Experiments with an Improved Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (Symposium on Testing, Analysis, and Verification, 1991)

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (IEEE Trans. Software Eng., 1991)

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. - James C. Corbett; George S. Avrunin (ISSTA, 1993)

Towards Scalable Compositional Analysis. - James C. Corbett; George S. Avrunin (SIGSOFT FSE, 1994)

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. - George S. Avrunin; James C. Corbett; Laura K. Dillon; Jack C. Wileden (IEEE Trans. Software Eng., 1994)

Using Integer Programming to Verify General Safety and Liveness Properties. - James C. Corbett; George S. Avrunin (Formal Methods Syst. Des., 1995)

Symbolic Model Checking Using Algebraic Geometry. - George S. Avrunin (CAV, 1996)

Applying Static Analysis to Software Architectures. - Gleb Naumovich; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (ESEC / SIGSOFT FSE, 1997)

Property specification patterns for finite-state verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (FMSP, 1998)

A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. - Gleb Naumovich; George S. Avrunin (SIGSOFT FSE, 1998)

Analyzing Partially-Implemented Real-Time Systems. - George S. Avrunin; James C. Corbett; Laura K. Dillon (IEEE Trans. Software Eng., 1998)

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. - Gleb Naumovich; George S. Avrunin; Lori A. Clarke (ESEC / SIGSOFT FSE, 1999)

Patterns in Property Specifications for Finite-State Verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (ICSE, 1999)

Data Flow Analysis for Checking Properties of Concurrent Java Programs. - Gleb Naumovich; George S. Avrunin; Lori A. Clarke (ICSE, 1999)

Improving the precision of INCA by preventing spurious cycles. - Stephen F. Siegel; George S. Avrunin (ISSTA, 2000)

Benchmarking Finite-State Verifiers. - George S. Avrunin; James C. Corbett; Matthew B. Dwyer (Int. J. Softw. Tools Technol. Transf., 2000)

PROPEL: an approach supporting property elucidation. - Rachel L. Smith; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (ICSE, 2002)

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. - Stephen F. Siegel; George S. Avrunin (IEEE Trans. Software Eng., 2002)

Heuristic-Based Model Refinement for FLAVERS. - Jianbin Tan; George S. Avrunin; Lori A. Clarke (ICSE, 2004)

Heuristic-guided counterexample search in FLAVERS. - Jianbin Tan; George S. Avrunin; Lori A. Clarke; Shlomo Zilberstein; Stefan Leue (SIGSOFT FSE, 2004)

Verification of MPI-Based Software for Scientific Computation. - Stephen F. Siegel; George S. Avrunin (SPIN, 2004)

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. - Lori A. Clarke; Yao Chen; George S. Avrunin; Bin Chen 018; Rachel L. Cobleigh; Kim Frederick; Elizabeth A. Henneman; Leon J. Osterweil (ISPW, 2005)

Modeling wildcard-free MPI programs for verification. - Stephen F. Siegel; George S. Avrunin (PPoPP, 2005)

Architectural Building Blocks for Plug-and-Play System Design. - Shangzhu Wang; George S. Avrunin; Lori A. Clarke (CBSE, 2006)

Managing space for finite-state verification. - Jianbin Tan; George S. Avrunin; Lori A. Clarke (ICSE, 2006)

Automatic Fault Tree Derivation from Little-JIL Process Definitions. - Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. - Jamieson M. Cobleigh; George S. Avrunin; Lori A. Clarke (ISSTA, 2006)

Using model checking with symbolic execution to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ISSTA, 2006)

Verification support for plug-and-play architectural design. - Shangzhu Wang; George S. Avrunin; Lori A. Clarke (ROSATEA, 2006)

User guidance for creating precise and accessible property specifications. - Rachel L. Cobleigh; George S. Avrunin; Lori A. Clarke (SIGSOFT FSE, 2006)

Complex medical processes as context for embedded systems. - George S. Avrunin; Lori A. Clarke; Elizabeth A. Henneman; Leon J. Osterweil (SIGBED Rev., 2006)

Plug-and-Play Architectural Design and Verification. - Shangzhu Wang; George S. Avrunin; Lori A. Clarke (WADS, 2007)

Engineering Medical Processes to Improve Their Safety. - Leon J. Osterweil; George S. Avrunin; Bin Chen 018; Lori A. Clarke; Rachel L. Cobleigh; Elizabeth A. Henneman; Philip L. Henneman (Situational Method Engineering, 2007)

Rigorously Defining and Analyzing Medical Processes: An Experience Report. - Stefan Christov; Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; David Brown; Lucinda Cassells; Wilson Mertens (MoDELS (Workshops), 2007)

Verification of Halting Properties for MPI Programs Using Nonblocking Operations. - Stephen F. Siegel; George S. Avrunin (PVM/MPI, 2007)

Analyzing medical processes. - Bin Chen 018; George S. Avrunin; Elizabeth A. Henneman; Lori A. Clarke; Leon J. Osterweil; Philip L. Henneman (ICSE, 2008)

Using software engineering technology to improve the quality of medical processes. - Lori A. Clarke; George S. Avrunin; Leon J. Osterweil (ICSE Companion, 2008)

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. - Jamieson M. Cobleigh; George S. Avrunin; Lori A. Clarke (ACM Trans. Softw. Eng. Methodol., 2008)

Combining symbolic execution with model checking to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ACM Trans. Softw. Eng. Methodol., 2008)

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 (Business Process Management Workshops, 2009)

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 (SEHC@ICSE, 2010)

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. - George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Stefan Christov; Bin Chen 018; Elizabeth A. Henneman; Philip L. Henneman; Lucinda Cassells; Wilson Mertens (IHI, 2010)

Process-based derivation of requirements for medical devices. - Heather M. Conboy; George S. Avrunin; Lori A. Clarke (IHI, 2010)

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 018 (SEKE, 2010)

Supporting human-intensive systems. - Lori A. Clarke; Leon J. Osterweil; George S. Avrunin (FoSER, 2010)

Smart checklists for human-intensive medical systems. - George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Julian M. Goldman; Tracy L. Rausch (DSN Workshops, 2012)

A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. - Huong Phan; George S. Avrunin; Matt Bishop; Lori A. Clarke; Leon J. Osterweil (EVT/WOTE, 2012)

Considerations for online deviation detection in medical processes. - Stefan C. Christov; George S. Avrunin; Lori A. Clarke (SEHC@ICSE, 2013)

Modal abstraction view of requirements for medical devices used in healthcare processes. - Heather M. Conboy; George S. Avrunin; Lori A. Clarke (SEHC@ICSE, 2013)

Online Deviation Detection for Medical Processes. - Stefan C. Christov; George S. Avrunin; Lori A. Clarke (AMIA, 2014)

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 (IEEE Symposium on Security and Privacy Workshops, 2014)

Smart checklists to improve healthcare outcomes. - Stefan C. Christov; Heather M. Conboy; Nancy Famigletti; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (SEHS@ICSE, 2016)

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 (CogSIMA, 2017)

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. - Leon J. Osterweil; Matt Bishop; Heather M. Conboy; Huong Phan; Borislava I. Simidchieva; George S. Avrunin; Lori A. Clarke; Sean Peisert (ACM Trans. Priv. Secur., 2017)

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 (AMIA, 2018)

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 (CogSIMA, 2018)

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 (SEHS@ICSE, 2018)

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 (OR 2.0/CARE/CLIP/ISIC@MICCAI, 2018)

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 (CogSIMA, 2020)

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 (HCI (1), 2022)