- 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:
- 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 Bin Chen
Improving Processes Using Static Analysis Techniques
Bin Chen,
Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (THESIS-CHEN)
[ PDF ]
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 ]
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language
Danhua Wang,
Jingui Pan,
George S. Avrunin,
Lori A. Clarke,
Bin Chen,
The 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), Page 765-770, San Francisco Bay, USA, July 1-3, 2010. (UM-CS-2010-035)
[ PDF ]
[ Slides ]
Formally Defining Medical Processes
Stefan Christov,
Bin Chen,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
David Brown,
Lucinda Cassells,
Wilson Mertens,
Methods of Information in Medicine 2008 Vol. 47, No. 5, pp. 392-398. (UM-CS-2009-009)
[ PDF ]
[ Schattauer ]
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 ]
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Stefan Christov,
Bin Chen,
Geroge S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
David Brown,
Lucinda Cassells,
Wilson Mertens,
1st International Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS), Nashville, Tennessee, September 30, 2007: (H. Giese (Ed.): MoDELS 2007 Workshops, Springer, LNCS 5002, pp. 118-131, 2008.) (Selected as Best Paper). (UM-CS-2007-58)
[ LNCS ]
[ PDF ]
[ Slides ]
Definition and Analysis of Election Processes
Mohammad S. Raunak,
Bin Chen,
Amr Elssamadisy,
Lori A. Clarke,
Leon J. Osterweil,
2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 178-185, May 2006. (UM-CS-2006-19)
[ SpringerLink ]
[ PDF ]
[ Slides ]
Automatic Fault Tree Derivation from Little-JIL Process Definitions
Bin Chen,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag LNCS, Vol. 3966, pp. 150-158, May, 2006. (UM-CS-2006-01)
[ SpringerLink ]
[ PDF ]
[ Slides ]
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