Journal Publications
- Using Process Elicitation and Validation to Understand and Improve Chemotherapy Ordering and Delivery
Wilson Mertens, Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Lucinda J. Cassells, Jenna Marquard. In The Joint Commission Journal on Quality and Patient Safety, Vol. 38, No. 11, pages 497-505, November 2012
- Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner, Stefan C. Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander Wise. In IEEE Transactions on Software Engineering, Special Issue on Exception Handling, pages 162-183, 2010
- Formally Defining Medical Processes
Stefan C. Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, and Wilson Mertens. In Methods of Information in Medicine. Special Topic on Model-Based Design of Trustworthy Health Information Systems, 47(5):392-398, 2008
Conference and Workshop Publications
- Considerations for Online Deviation Detection in Medical Processes
Stefan C. Christov, George S. Avrunin, Lori A. Clarke. In International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'13) San Francisco, USA, 2013
- Experience modeling and analyzing medical processes: UMass/Baystate medical safety project overview
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan C. Christov, B. Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens. In Proceedings of the 1st ACM International Health Informatics Symposium, IHI ’10, pages 316–325, 2010
- A Benchmark for Evaluating Software Engineering Techniques for Improving Medical Processes
Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman. In International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010
- Exception Handling Patterns for Processes
Barbara Staudt Lerner, Stefan C. Christov, Alexander Wise, and Leon J. Osterweil. In WEH '08: Proceedings of the 4th international workshop on Exception handling, pages
55-61, New York, NY, USA, 2008. ACM.
- Rigorously Defining and Analyzing Medical Processes: An experience report
Stefan C. Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, and Wilson Mertens. In Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers,
pages 118-131, 2008
Posters and Technical Reports
- Generating Natural-language Process Descriptions from Formal Process Definitions
Stefan C. Christov, Tiffany Y. Chao, Lori A. Clarke. Submitted to Technical Report UM-CS-2011-004, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2011
- Using event streams to validate process definitions
Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Philip L. Henneman, Jenna L. Marquard, and Leon J. Osterweil. Technical Report UM-CS-2009-004, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2009
- Studying rigorously defined health care processes using a formal process modeling language, clinical simulation, observation, and eye tracking
Jenna Marquard, Stefan C. Christov, Philip Henneman, Lori Clarke, Leon Osterweil, George Avrunin, Donald Fisher, Elizabeth Henneman, Megan Campbell, and Tuan Pham. In Proceedings of the International Conference on Naturalistic Decision Making, 239-240, London, U.K., 2009 (poster)
