All Publications

Static Analysis of Concurrent Systems

FLAVERS

INCA

PROPEL

Finite-State Verification

Property Specification

MPI Verification

Fault-Tree Analysis »

Experimentation

Process Programming and Workflow [...]

Component-Based Software Engineering

Case Studies [...]

Electronic Enterprise Institute [...]

Software Development Environments [...]

---

Jump To:

2006

LASER Publications

Fault-Tree Analysis

 2006

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 ]

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