- 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 A.T. Chamillard
An Empirical Comparison of Static Concurrency Analysis Techniques
A.T. Chamillard,
Lori A. Clarke,
George S. Avrunin,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, May 1997 (Revised). (UM-CS-1996-084)
[ PostScript ]
[ PDF ]
Improving the Accuracy of Petri Net-based Analysis of Concurrent Programs
A.T. Chamillard,
Lori A. Clarke,
1996 International Symposium on Software Testing and Analysis (ISSTA 1996), San Diego, CA, pp. 24-38, January 1996. (UM-CS-1996-017)
[ PostScript ]
[ PDF ]
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance
A.T. Chamillard,
5th European Software Engineering Conference (ESEC 1995), Sitges, Spain, pp. 343-361, September 1995. (UM-CS-1995-016)
[ PostScript ]
[ PDF ]
Improving Static Analysis Accuracy on Concurrent Ada Programs: Complexity Results and Empirical Findings
A.T. Chamillard,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 1995. (UM-CS-1995-049)
[ 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
|