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

 2015

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 ]

 2013

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 ]

 2010

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 ]

 2009

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 ]

 2008

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 ]

 2007

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

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts Amherst • Site Policies