- 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 Rachel Cobleigh
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 ]
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 ]
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 ]
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