- 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
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2010
|
LASER Publications
Failure Mode and Effect Analysis
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 ]
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language
Danhua Wang,
Jingui Pan,
George 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 ]
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