- 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 Jack C. Wileden
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 ]
Automated Analysis of Concurrent and Real-time Software
George S. Avrunin,
Jack C. Wileden,
Foundations of Real-Time Computing: Formal Specifications and Methods Washington, DC Kluwer Academic Publishers, A. M. Van Tilborg, G. M. Koob (eds.), 1991, pp. 195-215 October 1990. (UM-CS-1990-118)
Also appears in the 3rd Annual Workshop on Foundations of Real-Time Computing.
[ PostScript ]
[ PDF ]
Extending and Limiting PGRAPHITE-style Persistence
Peri L. Tarr,
Jack C. Wileden,
Lori A. Clarke,
4th International Workshop on Persistent Object Systems, Martha's Vineyard, MA, pp. 74-86, September 1990. (UM-CS-1990-068)
[ 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