- 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 Shangzhu Wang
Plug-and-Play Architectural Design and Verification
Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke,
Architecting Dependable Systems V, Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira, eds., Springer-Verlag Lecture Notes in Computer Science, State of the Art Survey, vol. 5135, (2008), pp. 273-297. (UM-CS-2008-46)
This is an updated version of TR UM-CS-2008-01, dated January 2008.
[ Springer ]
[ PDF ]
Verification Support for Plug-and-Play Architectural Design
Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke,
ACM SIGSOFT 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 2006), Portland, ME, pp. 49-50, July 2006. (UM-CS-2006-32)
[ ACM ]
[ PDF ]
[ Poster ]
Architectural Building Blocks for Plug-and-Play System Design
Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke,
9th International Symposium on Component-Based Software Engineering (CBSE'06), Vasteras, Sweden. Springer-Verlag Lecture Notes in Computer Science, Vol. 4063, pp. 98-113, June 29-July 1, 2006. (UM-CS-2005-34)
[ SpringerLink ]
[ PDF ]
[ Slides ]
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