- 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
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
- Component-Based Software Engineering
- Arcadia
- Software Development Environments
- Refactoring
- Case Studies
- Medical Safety
- Elections
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Improving Diversity
- Jump To:
- 2020
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1987
- 1985
|
LASER Publications
by Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems
George S. Avrunin,
James C. Corbett,
Laura K. Dillon,
19th International Conference on Software Engineering (ICSE 1997), Boston, MA, pp. 228-238, August 1996. (UM-CS-1996-062)
Updated version in IEEE Transactions on Software Engineering 24(8), August 1998, pp. 602-614.
[ PostScript ]
[ PDF ]
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
George S. Avrunin,
James C. Corbett,
Laura K. Dillon,
Jack C. Wileden,
IEEE Transactions on Software Engineering, 20(9):708-719, September 1994. (INCA-1994-B)
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
George S. Avrunin,
Ugo A. Buy,
James C. Corbett,
Laura K. Dillon,
Jack C. Wileden,
IEEE Transactions on Software Engineering, 17(11), pp. 1204-1222, November 1991. (UM-CS-1990-116)
[ Compressed 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