Home > LASER Publications > Case Studies > Medical Safety
All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development [...]

Case Studies
Medical Safety »
Elections
Scientific Workflow
Online Dispute Resolution
Digital Government
Software Development

Electronic Enterprise Institute

Jump To:
2016
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005

LASER Publications

Medical Safety

 2016

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)

Smart Checklists to Improve Healthcare Outcomes
Stefan Christov, Heather Conboy, Nancy Famigletti, George Avrunin, Lori A. Clarke, Leon J. Osterweil, International Conference on Software Engineering Workshop on Software Engineering in Healthcare Systems (SEHS '16), May 14-15, 2016, Austin Texas, pp 54-57. (UM-CS-2015-021)

[ ACM ] [ PDF ]

 2014

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 ]

Process Modelling of Aortic Cannulation in Cardiac Surgery: Toward a Smart Checklist to Mitigate the Risk of Stroke
Heather M. Conboy, Jason K. Maron, Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Marco A. Zenati, Fifth Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI'14), Boston MA, September 14, 2014. (UM-CS-2014-015)

[ PDF ]

Defining, Evaluating and Improving the Process of Verifying Patient Identifiers
Junghee Jo, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2014. (THESIS-JO)

[ PDF ]

 2013

Re-examining the Requirements for Verification of Patient Identifiers During Medication Administration: No Wonder It Is Error-prone
Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Hennaman, IIE Transactions on Healthcare Systems Engineering, Vol. 3, No. 4, 2013. pp. 280-291. (UM-CS-2013-028)

[ Taylor and Francis ] [ 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 ]

Resource Scheduling through Resource-Aware Simulation of Emergency Departments
Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil, Workshop on Software Engineering in Health Care (SECH'13), San Franxisco, CA, USA, May 20-21, 2013. (UM-CS-2013-019)

[ PDF ] [ Slides ]

Considerations for Online Deviation Detection in Medical Processes
Stefan Christov, 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-006)

[ PDF ] [ Slides ]

 2012

Using Process Elicitation and Validation to Understand and Improve Chemotherapy Ordering and Delivery
Wilson Mertens, Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Lucinda J. Cassells, Jenna Marquard, The Joint Commission Journal on Quality and Patient Safety, Vol. 38, No. 11, November 2012, pp. 497- 505. (UM-CS-2012-039)

[ Pubmed ]

Smart Checklists for Human-Intensive Medical Systems
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy Rausch, In Proceedings of the Workshop on Open Resilient Human-aware Cyber-physical Systems (WORCS-2012), with the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2012), June 25, 2012, Boston, MA. (UM-CS-2012-028)

[ IEEE ] [ PDF ]

 2011

Developing discrete event simulations from rigorous process definitions
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 117-124. (UM-CS-2011-051)

[ ACM ] [ PDF ]

 2010

Improving Processes Using Static Analysis Techniques
Bin Chen, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (THESIS-CHEN)

[ PDF ]

Process-based Derivation of Requirements for Medical Devices
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, IHI '10 Proceedings of the First ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 656-665. (UM-CS-2010-053)

This report replaces UM-CS-2010-034, originally dated June 2010.

[ ACM ] [ PDF ]

Dynamic Scheduling of Emergency Department Resources
Junchao Xiao, Leon J. Osterweil, Qing Wang, IHI '10 Proceedings of the First ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 590-599. (UM-CS-2010-069)

[ ACM ] [ PDF ]

Experience Modeling and Analyzing Medical Processes: UMass/Baystate Medical Safety Project Overview
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan C Chistov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens, IHI '10 Proceedings of the 1st ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 316-325. (UM-CS-2010-058)

[ ACM ] [ PDF ]

Resource Management in Complex, Dynamic Environments
Mohammad S. Raunak, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (UM-CS-2010-055)

[ PDF ]

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen, The 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), Page 765-770, San Francisco Bay, USA, July 1-3, 2010. (UM-CS-2010-035)

[ PDF ] [ Slides ]

Disruption-Driven Resource Rescheduling in Software Development Processes
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, New Modeling Concepts for Today's Software Processes, Springer Berlin / Heidelberg. 6195: 234-247. (UM-CS-2010-073)

[ Springerlink ] [ PDF ]

A Benchmark for Evaluating Software Engineering Techniques for Improving Medical Processes
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010. (UM-CS-2010-023)

A more complete description of the blood transfusion benchmark is available in the technical report UM-CS-2010-010, originally dated January 2010

[ PDF ] [ Benchmark Artifacts ]

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care is Delivered: A Tool Report
Leon J. Osterweil, George S. Avrunin, Lori A. Clarke, Lecture Notes in Business Information Processing, Vol. 43, 647-653. (UM-CS-2010-029)

Revised paper from the Third International Workshop on Process-oriented Information Systems in Healthcare (ProHealth '09), a workshop of the 7th International Conference on Business Process Management (BPM 2009), Ulm, Germany, September 7, 2009.

[ SpringerLink ] [ PDF ]

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, Fundamental Approaches to Software Engineering, Springer Berlin / Heidelberg. 6013: 107-122. . (UM-CS-2010-072)

[ Springelink ] [ PDF ]

A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2010. (UM-CS-2010-010)

[ PDF ]

 2009

Patient Identification Errors Are Common in a Simulated Setting
Phillip Henneman, Donald L. Fisher, Elizabeth A. Henneman, Tuan A. Pham, Megan M. Campbell, Brian H. Nathanson, Annals of Emergency Medicine - June 2010 (Vol. 55, Issue 6, Pages 503-509, DOI: 10.1016/j.annemergmed.2009.11.017). (Henn-AEM-2009)

[ DOI ]

Studying Rigorously Defined Health Care Processes Using a Formal Process Modeling Language, Clinical Simulation, Observation, and Eye Tracking
J. Marquard, S. Christov, P. Henneman, L. Clarke, L. Osterweil, G. Avrunin, D. Fisher, E. Henneman, M. Campbell, T. Pham, Naturalistic Decision Making Conference, June 2009, London, UK, pp. 239-240. (LASER-09-NDM)

[ PDF ]

Simulating Patient Flow through an Emergency Department Using Process-Driven Discrete Event Simulation
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Lori A. Clarke, Philip L. Henneman, International Conference on Software Engineering Workshop on Software Engineering for Health Care (SEHC'09), Vancouver, Canada, May 2009, pp. 73-83. (UM-CS-2009-003)

[ ACM ] [ PDF ]

Using Event Streams to Validate Process Definitions
Stefan Christov, George S. Avrunin, Lori A. Clarke, Philip L. Henneman, Jenna L. Marquard, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2009. (UM-CS-2009-004)

[ PDF ]

 2008

Designing Property Specification to Improve the Safety of the Blood Transfusion Process
Elizabeth Henneman, Rachel Cobleigh, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Phil Henneman, Transfusion Medicine Reviews, Vol. 22, No. 4, October 2008, pp. 291-299. (UM-CS-2010-054)

[ DOI ] [ PHD ]

Providers Do Not Verify Patient Identity during Computer Order Entry
Philip L. Henneman, MD, Donald L. Fisher, PhD, Elizabeth A. Henneman, RN, PhD, Tuan A. Pham, Yi Y. Mei, Rakesh Talati, MD, Brian H. Nathanson, PhD, Joan Roche, RN, PhD, Academic Emergency Medicine 2008; 15 pp. 641-648. (LASER-2008-PLH)

[ PDF ]

Formally Defining Medical Processes
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, Methods of Information in Medicine 2008 Vol. 47, No. 5, pp. 392-398. (UM-CS-2009-009)

[ PDF ] [ Schattauer ]

Analyzing Medical Processes
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman, ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632. (UM-CS-2007-51)

[ ACM ] [ PDF ] [ Slides ]

Using Software Engineering Technology to Improve the Quality of Medical Processes
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil, ACM SIGSOFT/IEEE Companion 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898. (UM-CS-2008-20)

[ ACM ] [ PDF ] [ Slides ]

 2007

Engineering Medical Processes to Improve Their Safety: An Experience Report
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel Cobleigh, Elizabeth A. Henneman, Philip L. Henneman, Proceedings IFIP Working Group 8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences, J. Ralyte, S. Brinkkemper, and B. Henderson-Sellers, eds., Springer, Sept. 2007, Vol. 244, pp. 267-282. (Method Engineering 2007, Geneva. (UM-CS-2007-35)

[ Springer ] [ PDF ] [ Slides ]

Rigorously Defining and Analyzing Medical Processes: An Experience Report
Stefan Christov, Bin Chen, Geroge S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, 1st International Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS), Nashville, Tennessee, September 30, 2007: (H. Giese (Ed.): MoDELS 2007 Workshops, Springer, LNCS 5002, pp. 118-131, 2008.) (Selected as Best Paper). (UM-CS-2007-58)

[ LNCS ] [ PDF ] [ Slides ]

Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions
Elizabeth A. Henneman, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Chester Andrzejewski Jr., Karen Merrigan, Rachel Cobleigh, Kimberly Frederick, Ethan Katz-Bassett, Philip L. Henneman, Transfusion Medicine Review, Vol. 21, No. 1, pp. 49-57, January 2007. (UM-CS-2007-06)

[ NCBI ] [ PDF ]

 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag LNCS, Vol. 3966, pp. 150-158, May, 2006. (UM-CS-2006-01)

[ SpringerLink ] [ PDF ] [ Slides ]

Complex Medical Processes as Context for Embedded Systems
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil, ACM SIGBED Review, special issue from the Workshop on Innovative Techniques for Certification of Embedded Systems, Vol. 3, Issue 4, pp. 9-14, October 2006.. (UM-CS-2006-31)

[ ACM ] [ PDF ] [ Slides ]

 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 347-359. (UM-CS-2005-026)

[ SpringerLink ] [ PDF ] [ Slides ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights
 

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