- All Publications
- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
- Component-Based Software Engineering
- Arcadia
- Software Development Environments
- Refactoring
- Case Studies
- Medical Safety
- Elections
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Improving Diversity
- Jump To:
- 2022
- 2020
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1987
- 1985
|
LASER Publications
by Stefan Christov
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 ]
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 ]
Generating Natural-language Process Descriptions from Formal Process Models
Stefan Christov,
Tiffany Chao,
Lori A. Clarke,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, 2012. (UM-CS-2012-040)
This report replaces UM-CS-2011-004, originally dated January 2011.
[ PDF ]
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 ]
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 ]
Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner,
Stefan Christov,
Leon J. Osterweil,
Reda Bendraou,
Udo Kannengiesser,
Alexander Wise,
IEEE Transactions on Software
Engineering, Vol. 36, Issue 2, March/April 2010, pages 162 - 183. (UM-CS-2011-012)
[ IEEE ]
[ 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 ]
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 ]
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 ]
Exception Handling Patterns for Processes
Barbara Staudt Lerner,
Stefan Christov,
Alexander Wise,
Leon J. Osterweil,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2008. (UM-CS-2008-06)
[ PDF ]
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
|