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:

2018

2017

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

LASER Publications

Medical Safety

by Stefan Christov

 2016

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 ]

 2013

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 ]

 2010

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 ]

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

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

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 ]

 2007

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 ]

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 Amherst • Site Policies