George S. Avrunin

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018

Process Driven Guidance for Complex Surgical Procedures.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2018, 2018

2017

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

[BibT_eX]

[DOI]

Borislava I. Simidchieva

Sean Peisert

ACM Trans. Priv. Secur., 2017

Cognitive support during high-consequence episodes of care in cardiovascular surgery.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2017

2016

Smart checklists to improve healthcare outcomes.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2014

Insider Threat Identification by Process Analysis.

[BibT_eX]

[DOI]

Matt Bishop

Heather M. Conboy

Huong Phan

Borislava I. Simidchieva

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Online Deviation Detection for Medical Processes.

[BibT_eX]

[DOI]

Stefan C. Christov

Proceedings of the AMIA 2014, 2014

2013

Modal abstraction view of requirements for medical devices used in healthcare processes.

[BibT_eX]

[DOI]

Heather M. Conboy

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Considerations for online deviation detection in medical processes.

[BibT_eX]

[DOI]

Stefan C. Christov

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2012

A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.

[BibT_eX]

[DOI]

Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Smart checklists for human-intensive medical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2010

Supporting human-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Process-based derivation of requirements for medical devices.

[BibT_eX]

[DOI]

Heather M. Conboy

Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.

[BibT_eX]

[DOI]

Philip L. Henneman

Lucinda Cassells

Wilson Mertens

Proceedings of the ACM International Health Informatics Symposium, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

2009

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2009

2008

Combining symbolic execution with model checking to verify parallel numerical programs.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.

[BibT_eX]

[DOI]

Jamieson M. Cobleigh

ACM Trans. Softw. Eng. Methodol., 2008

Using software engineering technology to improve the quality of medical processes.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.

[BibT_eX]

[DOI]

Bin Chen

Philip L. Henneman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Verification of Halting Properties for MPI Programs Using Nonblocking Operations.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Rigorously Defining and Analyzing Medical Processes: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Engineering Medical Processes to Improve Their Safety.

[BibT_eX]

[DOI]

Philip L. Henneman

Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

Plug-and-Play Architectural Design and Verification.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

2006

Complex medical processes as context for embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

User guidance for creating precise and accessible property specifications.

[BibT_eX]

[DOI]

Rachel L. Cobleigh

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Verification support for plug-and-play architectural design.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Using model checking with symbolic execution to verify parallel numerical programs.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.

[BibT_eX]

[DOI]

Jamieson M. Cobleigh

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Managing space for finite-state verification.

[BibT_eX]

[DOI]

Jianbin Tan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Architectural Building Blocks for Plug-and-Play System Design.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Modeling wildcard-free MPI programs for verification.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

2004

Verification of MPI-Based Software for Scientific Computation.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

Heuristic-guided counterexample search in FLAVERS.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Heuristic-Based Model Refinement for FLAVERS.

[BibT_eX]

[DOI]

Jianbin Tan

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2002

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

PROPEL: an approach supporting property elucidation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2000

Benchmarking Finite-State Verifiers.

[BibT_eX]

[DOI]

Matthew B. Dwyer

Int. J. Softw. Tools Technol. Transf., 2000

Improving the precision of INCA by preventing spurious cycles.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1999

Data Flow Analysis for Checking Properties of Concurrent Java Programs.

[BibT_eX]

[DOI]

Gleb Naumovich

Proceedings of the 1999 International Conference on Software Engineering, 1999

Patterns in Property Specifications for Finite-State Verification.

[BibT_eX]

[DOI]

Matthew B. Dwyer

Proceedings of the 1999 International Conference on Software Engineering, 1999

An Efficient Algorithm for Computing <i>MHP</i> Information for Concurrent Java Programs.

[BibT_eX]

[DOI]

Gleb Naumovich

Proceedings of the Software Engineering, 1999

1998

A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.

[BibT_eX]

[DOI]

Gleb Naumovich

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Property specification patterns for finite-state verification.

[BibT_eX]

[DOI]

Matthew B. Dwyer

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Analyzing Partially-Implemented Real-Time Systems.

[BibT_eX]

[DOI]

Laura K. Dillon

Proceedings of the Pulling Together, 1997

Applying Static Analysis to Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

Symbolic Model Checking Using Algebraic Geometry.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Using Integer Programming to Verify General Safety and Liveness Properties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1995

1994

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Towards Scalable Compositional Analysis.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Experiments with an Improved Constrained Expression Toolset.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Integer Programming in the Analysis of Concurrent Systems.

[BibT_eX]

[DOI]

Ugo A. Buy

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Experiments in Automated Analysis of Concurrent Software Systems.

[BibT_eX]

[DOI]

Laura K. Dillon

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems.

[BibT_eX]

[DOI]

Laura K. Dillon

ACM Trans. Program. Lang. Syst., 1988

Towards Automating Analysis Support for Developers of Distributed Software.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1986

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

1985

Describing and Analyzing Distributed Software System Designs.

[BibT_eX]

[DOI]