Journal Publications
- Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner, Stefan 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 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
Conferece and Workshop Publications
- 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 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 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 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 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 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)
