- 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 Philip L. Henneman
Using Computer
Simulation to Study Nurse-to-Patient Ratios in an Emergency Department
Philip L. Henneman,
Seung Yeob Shin,
Yuriy Brun,
Hari Balasubramanian,
Fidela Blank,
Leon J. Osterweil,
The
Journal of Nursing Administration (JONA), Vol. 45, Issue 11, November 2015,
pp. 551-556. (UM-CS-2015-020)
[ JONA ]
Resource Specification for Prototyping Human-Intensive Systems
Seung Yeob Shin
,
Yuriy Brun,
Leon J. Osterweil,
Hari Balasubramanian,
Philip L. Henneman,
Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE), 2015, pp. 332-346. (UM-CS-2015-010)
[ Springer ]
[ PDF ]
[ Slides ]
Resource Scheduling through Resource-Aware Simulation of Emergency Departments
Seung Yeob Shin,
Hari Balasubramanian,
Yuriy Brun,
Philip L. Henneman,
Leon J. Osterweil,
Workshop on Software Engineering in Health Care (SECH'13), San Franxisco, CA, USA, May 20-21, 2013. (UM-CS-2013-019)
[ PDF ]
[ Slides ]
Experience Modeling and Analyzing Medical Processes: UMass/Baystate Medical Safety Project Overview
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
Stefan C Chistov,
Bin Chen,
Elizabeth A. Henneman,
Philip L. Henneman,
Lucinda Cassells,
Wilson Mertens,
IHI '10 Proceedings of the 1st ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 316-325. (UM-CS-2010-058)
[ ACM ]
[ 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 ]
Simulating Patient Flow through an Emergency Department Using
Process-Driven Discrete Event Simulation
Mohammad S. Raunak,
Leon J. Osterweil,
Alexander Wise,
Lori A. Clarke,
Philip L. Henneman,
International Conference on Software Engineering Workshop on Software Engineering for Health Care (SEHC'09), Vancouver, Canada, May 2009, pp. 73-83. (UM-CS-2009-003)
[ ACM ]
[ PDF ]
Analyzing Medical Processes
Bin Chen,
George S. Avrunin,
Elizabeth A. Henneman,
Lori A. Clarke,
Leon J. Osterweil,
Philip L. Henneman,
ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632. (UM-CS-2007-51)
[ ACM ]
[ PDF ]
[ Slides ]
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 ]
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
|