Home > Case Studies
Case Studies »
Medical Safety
Scientific Workflow
Online Dispute Resolution
Digital Government

Case Studies

LASER seeks to validate our technology through its application in real world domains:

Medical Safety
We are investigating how current research in process definition and execution and in software verification and analysis can be applied and extended to help reduce errors and improve safety and efficiency in medical processes.
We are developing and evaluating the application of iterative process improvement technology to assure the privacy, security, reliability, and trust of elections.
Scientific Workflow
We are investigating the hypothesis that complex scientific analyses are in fact intricate processes whose important subtleties should be captured with the help of process definition capabilities.
Online Dispute Resolution
We are developing and evaluating process-driven systems to support the resolution of disputes in cooperation with the National Mediation Board.
Digital Government
We are exploring the premise that the development of digital government systems should be viewed as the design, analysis, implementation, execution, and modification of efficient, effective processes with stringent fairness requirements.

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 ]

Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review
Stefan C. Christov, Jenna L. Marquard, George S. Avrunin, Lori A. Clarke , Applied Ergonomics, Vol. 59, Part A, pp. 364-376, March 2017. (UM-CS-2016-013)

[ ScienceDirect ] [ PDF ]

Specification and Analysis of Human-Intensive System Resource-Utilization Policies
Seung yeob Shin, Yuriy Brun, Leon J. Osterweil, SEHS '16 Proceedings of the International Workshop on Software Engineering in Healthcare Systems, May 14-22, 2016, Austin, Texas, pp. 8-14. (UM-CS-2016-015)

Online Deviation Detection for Medical Processes
Stefan C. Christov, George S. Avrunin , Lori A. Clarke, American Medical Informatics Association Annual Symposium (AMIA 2014), November 15-17, 2014, Washington, DC, pp. 395-404. (UM-CS-2014-022)

[ AMIA ] [ PDF ] [ Slides ]


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