- 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:
- 2013
- 2012
- 2010
- 2008
- 2006
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1990
|
LASER Publications
Finite-State Verification
by Leon J. Osterweil
A Systematic Process-model-based Approach for Synthesizing Attacks and Evaluating Them
Huong Phan,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
Matt Bishop,
2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '12), August 6-7, 2012. (UM-CS-2012-029)
[ Usenix ]
[ PDF ]
[ Slides ]
Specifying and Verifying Requirements for Election
Processes
Borislava I. Simidchieva,
Matthew S. Marzilli,
Lori A. Clarke,
Leon J. Osterweil,
In dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada, May 2008, S. A. Chun, M. Janssen, and J. R. Gil-Garcia, Eds., Digital Government Society of North America, pp. 63-72. (UM-CS-2008-21)
[ ACM ]
[ PDF ]
[ Slides ]
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 ]
Using Software Engineering Technology to Improve the Quality of Medical Processes
Lori A. Clarke,
George S. Avrunin,
Leon J. Osterweil,
ACM SIGSOFT/IEEE Companion 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898. (UM-CS-2008-20)
[ ACM ]
[ PDF ]
[ Slides ]
FLAVERS: a Finite State Verification Technique for Software Systems
Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil,
IBM Systems Journal (Issue on Software Testing and Verification), 41(1), pp. 140-165, 2002. (UM-CS-2001-017)
[ IBM Systems Journal ]
[ PostScript ]
[ PDF ]
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil,
23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 37-46, May 2001. (UM-CS-2000-046)
[ PostScript ]
[ PDF ]
[ IEEE ]
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil,
ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), Montreal, Quebec, Canada, pp. 51-58, June 1998. (UM-CS-1998-082)
Replaces UM-CS-1997-043.
[ PostScript ]
[ PDF ]
Applying Static Analysis to Software Architectures
Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5) and the 6th European Software Engineering Conference (ESEC 1997), Zurich, Switzerland, Springer Verlag Lecture Notes In Computer Science #1301, pp. 77-93, Sept. 1997. (UM-CS-1997-008)
[ PostScript ]
[ PDF ]
Verification of Communication Protocols Using Data Flow Analysis
Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil,
4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, CA, pp. 93-105, October 1996. (UM-CS-1996-027)
[ PostScript ]
[ PDF ]
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