George S. Avrunin

According to our database1, George S. Avrunin
  • authored at least 60 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur., 2017

2016
Smart checklists to improve healthcare outcomes.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2014
Insider Threat Identification by Process Analysis.
Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Online Deviation Detection for Medical Processes.
Proceedings of the AMIA 2014, 2014

2013
Modal abstraction view of requirements for medical devices used in healthcare processes.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Considerations for online deviation detection in medical processes.
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.
Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Smart checklists for human-intensive medical systems.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2010
Supporting human-intensive systems.
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.
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.
Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.
Proceedings of the ACM International Health Informatics Symposium, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.
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.
Proceedings of the Business Process Management Workshops, 2009

2008
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol., 2008

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
ACM Trans. Softw. Eng. Methodol., 2008

Using software engineering technology to improve the quality of medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Verification of Halting Properties for MPI Programs Using Nonblocking Operations.
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.
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.
Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

Plug-and-Play Architectural Design and Verification.
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.
SIGBED Review, 2006

User guidance for creating precise and accessible property specifications.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Verification support for plug-and-play architectural design.
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.
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.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.
Proceedings of the Software Process Change, 2006

Managing space for finite-state verification.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Architectural Building Blocks for Plug-and-Play System Design.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
Modeling wildcard-free MPI programs for verification.
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.
Proceedings of the Unifying the Software Process Spectrum, 2005

2004
Verification of MPI-Based Software for Scientific Computation.
Proceedings of the Model Checking Software, 2004

Heuristic-guided counterexample search in FLAVERS.
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.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2002
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
IEEE Trans. Software Eng., 2002

PROPEL: an approach supporting property elucidation.
Proceedings of the 24th International Conference on Software Engineering, 2002

2000
Benchmarking Finite-State Verifiers.
STTT, 2000

Improving the precision of INCA by preventing spurious cycles.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

1999
Data Flow Analysis for Checking Properties of Concurrent Java Programs.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Patterns in Property Specifications for Finite-State Verification.
Proceedings of the 1999 International Conference on Software Engineering, 1999

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.
Proceedings of the Software Engineering, 1999

1998
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng., 1998

A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.
Proceedings of the SIGSOFT '98, 1998

Property specification patterns for finite-state verification.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997
Analyzing Partially-Implemented Real-Time Systems.
Proceedings of the Pulling Together, 1997

Applying Static Analysis to Software Architectures.
Proceedings of the Software Engineering, 1997

1996
Symbolic Model Checking Using Algebraic Geometry.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Using Integer Programming to Verify General Safety and Liveness Properties.
Formal Methods in System Design, 1995

1994
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
IEEE Trans. Software Eng., 1994

Towards Scalable Compositional Analysis.
Proceedings of the SIGSOFT '94, 1994

1993
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
IEEE Trans. Software Eng., 1991

Experiments with an Improved Constrained Expression Toolset.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Integer Programming in the Analysis of Concurrent Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989
Experiments in Automated Analysis of Concurrent Software Systems.
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.
ACM Trans. Program. Lang. Syst., 1988

Towards Automating Analysis Support for Developers of Distributed Software.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1986
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.
IEEE Trans. Software Eng., 1986

1985
Describing and Analyzing Distributed Software System Designs.
ACM Trans. Program. Lang. Syst., 1985


  Loading...