- 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,
ACM Transactions on Privacy and Security (TOPS), Vol. 20, No. 2, May 2017, pp. 5:1-31. (UM-CS-2016-012)
[ ACM ]
[ 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 ]
|