- 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:
- 2022
- 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 Ugo A. Buy
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 ]
Automatic Generation of Inequality Systems for Constrained Expression Analysis
George S. Avrunin,
Ugo A. Buy,
James C. Corbett,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, May 1990. (UM-CS-1990-032)
[ 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