All Publications

Static Analysis of Concurrent Systems [...]

Process Programming and Workflow

Little-JIL

Process Interpretation

Resource Management

Process Simulation

Process Analysis »

Evaluation

Component-Based Software Engineering

Case Studies [...]

Electronic Enterprise Institute [...]

Software Development Environments [...]

---

Jump To:

2006

2004

2003

2000

LASER Publications

Process Analysis

 2006

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 ]

 2004

Verifying Process Models Built Using Parameterized State Machines

Barbara Staudt Lerner, 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '04), Boston, MA, pp. 274-284. July 2004. (UM-CS-2004-088)

[ ACM ] [ PDF ]

 2003

Flexible Static Semantic Checking Using First-Order Logic

Shimon Rura, Barbara Staudt Lerner, 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, Springer Verlag Lecture Notes in Computer Science, Vol 2786, pp. 143-153, September 2003. (UM-CS-2004-089)

[ PDF ]

 2000

Verifying Properties of Process Definitions

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

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