- 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 Emery Boose
Provenance Support for Rework
Xiang Zhao,
Barbara Lerner,
Leon J. Osterweil,
Emery Boose,
Aaron Ellison,
In Proceedings of the 4th USENIX Workshop on the Theory and Practice of Provenance (TAPP '12), Boston, MA, June 14-15, 2012. (UM-CS-2012-025)
[ PDF ]
[ Slides ]
Provenance and Quality Control in Sensor Networks
Barbara Lerner,
Emery Boose,
Leon J. Osterweil,
Aaron Ellison,
Lori A. Clarke,
In Proceedings of the Environmental Information Management Conference (EIM 2011), Santa Barbara, CA, September 28-29, 2011. (UM-CS-2011-047)
[ PDF ]
Experience in Using a Process Language to Define
Scientific Workflow and Generate Dataset Provenance
Leon J. Osterweil,
Lori A. Clarke,
Rodion Podorozhny,
Alexander Wise,
Emery Boose,
Aaron M. Ellison,
Julian Hadley,
ACM SIGSOFT 16th International Symposium on Foundations of Software Engineering, November 2008, pp. 319-329. (UM-CS-2008-05)
This is an updated version of UM-CS-2008-05, originally dated March 2008.
[ ACM ]
[ PDF ]
[ Slides ]
Data Provenance and Reliability in Sensor Networks
Emery Boose,
Aaron Ellison,
Leon J. Osterweil,
Lori A. Clarke,
Rodion Podorozhny,
Alexander Wise,
Julian Hadley,
David Foster,
Conference on Coastal Environmental Sensing Networks, Boston, MA, pp. 47-51, April 2007. (UM-CS-2007-071)
[ PDF ]
Analytic Webs Support the Synthesis of Ecological Data Sets
Aaron M. Ellison,
Leon J. Osterweil,
Julian L. Hadley,
Alexander Wise,
Emery Boose,
Lori A. Clarke,
David R. Foster,
Allen Hanson,
David Jensen,
Paul Kuzeja,
Edward Riseman,
Howard Schultz,
Ecology, Vol. 87, No. 6, pp. 1345-1358, June 2006. (UM-CS-2004-079)
This is an updated version originally dated October 2004
[ Ecology ]
[ PDF ]
Process Technology To Facilitate the Conduct of Science
Leon J. Osterweil,
Alexander Wise,
Lori Clarke,
Aaron M. Ellison,
Julian L. Hadley,
Emery Boose,
David R. Foster,
Software Process Workshop (SPW2005), Beijing, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 403-415, May 25-27, 2005. (UM-CS-2005-017)
[ SpringerLink ]
[ 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
|