- All Publications
- Static Analysis
[...]
- Process Programming and Workflow
»
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1990
- 1987
|
LASER Publications
Process Programming and Workflow
by Stefan Christov
Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner,
Stefan Christov,
Leon J. Osterweil,
Reda Bendraou,
Udo Kannengiesser,
Alexander Wise,
IEEE Transactions on Software
Engineering, Vol. 36, Issue 2, March/April 2010, pages 162 - 183. (UM-CS-2011-012)
[ IEEE ]
[ 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 ]
Exception Handling Patterns for Processes
Barbara Staudt Lerner,
Stefan Christov,
Alexander Wise,
Leon J. Osterweil,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2008. (UM-CS-2008-06)
[ PDF ]
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 ]
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