Home > Process Programming and Workflow > Process Analysis
Process Programming and Workflow »
Little-JIL
Process Interpretation
Resource Management
Process Simulation
Process Analysis
Evaluation
Publications
Additional Information
All Process Analysis Publications
Related Research
Static Analysis

Process Analysis

 

Recent Publications

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
Leon J. Osterweil, Matt Bishop, Heather Conboy, Huong Phan, Borislava I. Simidchieva, George Avrunin, Lori A. Clarke, Sean Peisert, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, October 2016. (UM-CS-2016-012)

[ PDF ]

An Incremental Approach to Identifying Causes of System Failures using Fault Tree Analysis
Huong Thithu Phan, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, May 2016. (Thesis-Phan)

[ PDF ]

Modal Abstraction View of Requirements for Medical Devices Used in Healthcare Processes
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'13), San Francisco, CA, USA, May 20-21, 2013. (UM-CS-2013-010)

[ PDF ] [ Slides ]

A Systematic Process-model-based Approach for Synthesizing Attacks and Evaluating Them
Huong Phan, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Matt Bishop, 2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '12), August 6-7, 2012. (UM-CS-2012-029)

[ Usenix ] [ PDF ] [ Slides ]

 

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2010 University of Massachusetts AmherstSite Policies