Home > LASER Publications
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

Jump To:
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

 2016

Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review
Stefan C. Christov, Jenna L. Marquard, George S. Avrunin, Lori A. Clarke , Applied Ergonomics, Vol. 59, Part A, pp. 364-376, March 2017. (UM-CS-2016-013)

[ ScienceDirect ] [ PDF ]

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
Leon J. Osterweil, Matt Bishop, Heather Conboy, Huong Phan, Borislava I. Simidchieva, George Avrunin, Lori A. Clarke, Sean Peisert, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, October 2016. (UM-CS-2016-012)

[ PDF ]

Specification And Analysis Of Resource Utilization Policies For Human-Intensive Systems
Seung Yeob Shin, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, September 2016. (Thesis-Shin)

[ PDF ]

Specification and Analysis of Human-Intensive System Resource-Utilization Policies
Seung yeob Shin, Yuriy Brun, Leon J. Osterweil, SEHS '16 Proceedings of the International Workshop on Software Engineering in Healthcare Systems, May 14-22, 2016, Austin, Texas, pp. 8-14. (UM-CS-2016-015)

An Incremental Approach to Identifying Causes of System Failures using Fault Tree Analysis
Huong Thithu Phan, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, May 2016. (Thesis-Phan)

[ PDF ]

Smart Checklists to Improve Healthcare Outcomes
Stefan Christov, Heather Conboy, Nancy Famigletti, George Avrunin, Lori A. Clarke, Leon J. Osterweil, International Conference on Software Engineering Workshop on Software Engineering in Healthcare Systems (SEHS '16), May 14-15, 2016, Austin Texas, pp 54-57. (UM-CS-2015-021)

[ ACM ] [ PDF ]

 2015

Using Computer Simulation to Study Nurse-to-Patient Ratios in an Emergency Department
Philip L. Henneman, Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Fidela Blank, Leon J. Osterweil, The Journal of Nursing Administration (JONA), Vol. 45, Issue 11, November 2015, pp. 551-556. (UM-CS-2015-020)

[ JONA ]

Resource Specification for Prototyping Human-Intensive Systems
Seung Yeob Shin , Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman, Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE), 2015, pp. 332-346. (UM-CS-2015-010)

[ Springer ] [ PDF ] [ Slides ]

 2014

On Formal Definition and Analysis of Formal Verification Processes
Leon J. Osterweil, Chapter in Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi, Springer Berlin Heidelberg, 2014, pp. 35-52. (UM-CS-2014-024)

[ Springer ]

Online Deviation Detection for Medical Processes
Stefan C. Christov, George S. Avrunin , Lori A. Clarke, American Medical Informatics Association Annual Symposium (AMIA 2014), November 15-17, 2014, Washington, DC, pp. 395-404. (UM-CS-2014-022)

[ AMIA ] [ PDF ] [ Slides ]

Generation, Composition, and Verification of Process Families
Borislava I. Simidchieva, Leon J. Osterweil, In SPLC '14: Proceedings of the 18th International Software Product Line Conference Sept 15-19, Florence, Italy (2014), pp. 207-216. (UM-CS-2014-013)

[ ACM ] [ PDF ]

Process Modelling of Aortic Cannulation in Cardiac Surgery: Toward a Smart Checklist to Mitigate the Risk of Stroke
Heather M. Conboy, Jason K. Maron, Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Marco A. Zenati, Fifth Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI'14), Boston MA, September 14, 2014. (UM-CS-2014-015)

[ PDF ]

Specifying Flexible Human Behavior in Interaction-Intensive Process Environments
Christoph Dorn, Schahram Dustdar, Leon J. Osterweil, 12th International Conference on Business Process Management, September 7-11, 2014, pp 366-373. (UM-CS-2014-025)

[ Springer ]

Defining, Evaluating and Improving the Process of Verifying Patient Identifiers
Junghee Jo, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2014. (THESIS-JO)

[ PDF ]

Insider Threat Identification by Process Analysis
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert, In Proceedings of the 2014 Workshop on Research for Insider Threat (WRIT) May 18, San Jose, CA (2014), pp. 251-264.. (UM-CS-2014-014)

[ PDF ]

 2013

Re-examining the Requirements for Verification of Patient Identifiers During Medication Administration: No Wonder It Is Error-prone
Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Hennaman, IIE Transactions on Healthcare Systems Engineering, Vol. 3, No. 4, 2013. pp. 280-291. (UM-CS-2013-028)

[ Taylor and Francis ] [ PDF ]

A Prototype Facilitators Dashboard: Assessing and visualizing dialogue quality in online deliberations for education and work
Tom Murray, Leah Wing, Beverly Woolf, Alexander Wise, Shijun Wu, Lori A. Clarke, Leon J. Osterweil, Proceedings of The 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE-2013). Las Vegas, July 2013. (UM-CS-2013-014)

[ PDF ]

Modal Abstraction View of Requirements for Medical Devices Used in Healthcare Processes
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'13), San Francisco, CA, USA, May 20-21, 2013. (UM-CS-2013-010)

[ PDF ] [ Slides ]

Resource Scheduling through Resource-Aware Simulation of Emergency Departments
Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil, Workshop on Software Engineering in Health Care (SECH'13), San Franxisco, CA, USA, May 20-21, 2013. (UM-CS-2013-019)

[ PDF ] [ Slides ]

Considerations for Online Deviation Detection in Medical Processes
Stefan Christov, George S. Avrunin, Lori A. Clarke, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'13), San Francisco, CA, USA , May 20-21, 2013. (UM-CS-2013-006)

[ PDF ] [ Slides ]

Supporting Process Undo and Redo in Software Engineering Decision Making
Xiang Zhao, Yuriy Brun, Leon J. Osterweil, 8th International Conference on Software and System Process (ICSSP '13), May 18-19, 2013. (UM-CS-2013-016)

[ PDF ] [ Slides ]

Supporting Undo and Redo in Scientific Data Analysis
Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil, 5th USENIX Workshop on the Theory and Practice of Provenance (TaPP '13), Lombard, IL, April 2-3, 2013. (UM-CS-2013-015)

[ PDF ] [ Slides ]

 2012

Generating Natural-language Process Descriptions from Formal Process Models
Stefan Christov, Tiffany Chao, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, 2012. (UM-CS-2012-040)

This report replaces UM-CS-2011-004, originally dated January 2011.

[ PDF ]

Using Process Elicitation and Validation to Understand and Improve Chemotherapy Ordering and Delivery
Wilson Mertens, Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Lucinda J. Cassells, Jenna Marquard, The Joint Commission Journal on Quality and Patient Safety, Vol. 38, No. 11, November 2012, pp. 497- 505. (UM-CS-2012-039)

[ Pubmed ]

A Systematic Process-model-based Approach for Synthesizing Attacks and Evaluating Them
Huong Phan, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Matt Bishop, 2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '12), August 6-7, 2012. (UM-CS-2012-029)

[ Usenix ] [ PDF ] [ Slides ]

Smart Checklists for Human-Intensive Medical Systems
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy Rausch, In Proceedings of the Workshop on Open Resilient Human-aware Cyber-physical Systems (WORCS-2012), with the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2012), June 25, 2012, Boston, MA. (UM-CS-2012-028)

[ IEEE ] [ PDF ]

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 ]

The Role of Context in Exception-Driven Rework
Xiang Zhao, Barbara Lerner, Leon J. Osterweil, In Proceedings of the 5th International Workshop on Exception Handling (WEH), 2012, pp. 41-45, Zurich, Switzerland, June 9, 2012. (UM-CS-2012-026)

[ PDF ] [ Slides ]

Computational Predictors in Online Social Deliberations
Beverly Park Woolf, Thomas Murray, Xiaoxi Xu, Leon Osterweil, Lori Clarke, Leah Wing, Ethan Katsh, In Proceedings of the Sixth International AAAI Conference on Weblogs and Social Media (ICWSM). June 4, 2012 Dublin Irleand. pp 603-606. (UM-CS-2012-027)

[ AAAI ]

An Approach to Modeling and Supporting the Rework Process in Refactoring
Xiang Zhao, Leon J. Osterweil, In Proceedings of the 2012 International Conference on Software and System Process (ICSSP), pp.110-119, Zurich, Switzerland, June 2-3, 2012. (UM-CS-2012-024)

[ PDF ] [ Slides ]

 2011

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 ]

Characterizing process variation (NIER Track)
Borislava I. Simidchieva, Leon J. Osterweil, In Proceedings of the 33rd International Conference on Software Engineering (ICSE '11), Honolulu, HI, May 21-28, 2011, pp. 836-839. (UM-CS-2011-034)

[ ACM ] [ PDF ] [ Slides ]

Lifecycle Environments: A Retrospective View of the Contributions of Leon J. Osterweil
Lori A. Clarke, chapter 8 in Engineering of Software - The Continuing Contributions of Leon J. Osterweil, Springer-Verlag, 2011, pp. 148-152. (UM-CS-2011-011)

[ PDF ] [ Springer ]

Developing discrete event simulations from rigorous process definitions
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 117-124. (UM-CS-2011-051)

[ ACM ] [ PDF ]

Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm
Lori A. Clarke, International Journal of Software and Informatics, 2011, Vol. 5, No. 3, pp. 475-485. (UM-CS-2011-022)

[ IJSI ] [ PDF ]

A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm
Leon J. Osterweil, International Journal of Software and Informatics, 2011, Vol. 5, No. 3, pp. 457-474. (UM-CS-2011-023)

[ IJSI ] [ PDF ]

 2010

Improving Processes Using Static Analysis Techniques
Bin Chen, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (THESIS-CHEN)

[ PDF ]

Process-based Derivation of Requirements for Medical Devices
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, IHI '10 Proceedings of the First ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 656-665. (UM-CS-2010-053)

This report replaces UM-CS-2010-034, originally dated June 2010.

[ ACM ] [ PDF ]

Supporting Human-Intensive Systems
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, FoSER '10 Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, November 7-8, 2010, pp. 87-92. (UM-CS-2010-056)

[ ACM ] [ PDF ]

Dynamic Scheduling of Emergency Department Resources
Junchao Xiao, Leon J. Osterweil, Qing Wang, IHI '10 Proceedings of the First ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 590-599. (UM-CS-2010-069)

[ ACM ] [ PDF ]

Experience Modeling and Analyzing Medical Processes: UMass/Baystate Medical Safety Project Overview
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan C Chistov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens, IHI '10 Proceedings of the 1st ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 316-325. (UM-CS-2010-058)

[ ACM ] [ PDF ]

Supporting Negotiation and Dispute Resolution with Computing and Communication Technologies
Leon J. Osterweil, Lori A. Clarke, FoSER '10 Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, November 7-8, 2010, pp 269-272. (UM-CS-2010-057)

[ ACM ] [ PDF ]

Resource Management in Complex, Dynamic Environments
Mohammad S. Raunak, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (UM-CS-2010-055)

[ PDF ]

Categorizing and modeling variation in families of systems: a position paper
Borislava I. Simidchieva, Leon J. Osterweil, In Proceedings of the Fourth European Conference on Software Architecture: Companion Volume (New York, NY, USA, 2010), ECSA 2010, ACM, pp. 316-323. (UM-CS-2011-035)

[ ACM ] [ PDF ] [ Slides ]

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen, The 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), Page 765-770, San Francisco Bay, USA, July 1-3, 2010. (UM-CS-2010-035)

[ PDF ] [ Slides ]

Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements
Leon J. Osterweil, Alexander Wise, In Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process (ICSP'10), Paderborn, Germany, July 2010, pp. 2-13. (UM-CS-2011-008)

[ ACM ] [ PDF ]

Modeling and Analyzing Faults to Improve Election Process Robustness
Borislava I. Simidchieva, Sophie J. Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil, Proceedings of the 2010 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '10), August 9-10, 2010, Washington, DC. (UM-CS-2010-039)

[ Usenix ] [ Video ] [ PDF ] [ Slides ]

Disruption-Driven Resource Rescheduling in Software Development Processes
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, New Modeling Concepts for Today's Software Processes, Springer Berlin / Heidelberg. 6195: 234-247. (UM-CS-2010-073)

[ Springerlink ] [ PDF ]

STORM2: Process-Guided Online Dispute Resolution
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 2010. (UM-CS-2009-046)

[ PDF ]

A Benchmark for Evaluating Software Engineering Techniques for Improving Medical Processes
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010. (UM-CS-2010-023)

A more complete description of the blood transfusion benchmark is available in the technical report UM-CS-2010-010, originally dated January 2010

[ PDF ] [ Benchmark Artifacts ]

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care is Delivered: A Tool Report
Leon J. Osterweil, George S. Avrunin, Lori A. Clarke, Lecture Notes in Business Information Processing, Vol. 43, 647-653. (UM-CS-2010-029)

Revised paper from the Third International Workshop on Process-oriented Information Systems in Healthcare (ProHealth '09), a workshop of the 7th International Conference on Business Process Management (BPM 2009), Ulm, Germany, September 7, 2009.

[ SpringerLink ] [ PDF ]

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, Fundamental Approaches to Software Engineering, Springer Berlin / Heidelberg. 6013: 107-122. . (UM-CS-2010-072)

[ Springelink ] [ PDF ]

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010), held as part of ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Springer-Verlag Lecture Notes in Computer Science, Vol. 6013, pp. 107-122. (UM-CS-2009-050)

[ SpringerLink ] [ PDF ]

Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander Wise, IEEE Transactions on Software Engineering, Vol. 36, Issue 2, March/April 2010, pages 162 - 183. (UM-CS-2011-012)

[ IEEE ] [ PDF ]

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
Leon J. Osterweil, Lori A. Clakre, Aaron. M. Ellison, Emery R. Boose, Rodion Podorozhny, Alexander Wise, IEEE Transactions on Automation Science and Engineering, Vol.7, No 1, 2010, pp 189-195. (UM-CS-2010-014)

[ IEEE ] [ PDF ]

A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2010. (UM-CS-2010-010)

[ PDF ]

 2009

Patient Identification Errors Are Common in a Simulated Setting
Phillip Henneman, Donald L. Fisher, Elizabeth A. Henneman, Tuan A. Pham, Megan M. Campbell, Brian H. Nathanson, Annals of Emergency Medicine - June 2010 (Vol. 55, Issue 6, Pages 503-509, DOI: 10.1016/j.annemergmed.2009.11.017). (Henn-AEM-2009)

[ DOI ]

Dynamic Scheduling in Systems with Complex Resource Allocation Requirements
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2009. (UM-CS-2009-049)

[ PDF ]

Repeatability and Transparency in Ecological Research
Aaron M. Ellison, Ecology (in print). (Ellison-2009)

[ PDF ]

Studying Rigorously Defined Health Care Processes Using a Formal Process Modeling Language, Clinical Simulation, Observation, and Eye Tracking
J. Marquard, S. Christov, P. Henneman, L. Clarke, L. Osterweil, G. Avrunin, D. Fisher, E. Henneman, M. Campbell, T. Pham, Naturalistic Decision Making Conference, June 2009, London, UK, pp. 239-240. (LASER-09-NDM)

[ PDF ]

Structural Considerations in Defining Executable Process Models
Borislava I. Simidchieva, Leon J. Osterweil, Alexander Wise, International Conference on Software Process: Trustworthy Software Development Processes, Vancouver, B. C., Canada, May 2009, Lecture Notes in Computer Science Vol. 5543, pp. 366-376. (UM-CS-2009-038)

[ ACM ] [ PDF ]

Simulating Patient Flow through an Emergency Department Using Process-Driven Discrete Event Simulation
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Lori A. Clarke, Philip L. Henneman, International Conference on Software Engineering Workshop on Software Engineering for Health Care (SEHC'09), Vancouver, Canada, May 2009, pp. 73-83. (UM-CS-2009-003)

[ ACM ] [ PDF ]

Using Event Streams to Validate Process Definitions
Stefan Christov, George S. Avrunin, Lori A. Clarke, Philip L. Henneman, Jenna L. Marquard, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2009. (UM-CS-2009-004)

[ PDF ]

 2008

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 ]

Designing Property Specification to Improve the Safety of the Blood Transfusion Process
Elizabeth Henneman, Rachel Cobleigh, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Phil Henneman, Transfusion Medicine Reviews, Vol. 22, No. 4, October 2008, pp. 291-299. (UM-CS-2010-054)

[ DOI ] [ PHD ]

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 ]

Considering the Exceptional: Incorporating Exceptions into Property Specifications
Huong Phan, George S. Avrunin, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2008. (UM-CS-2008-32)

[ PDF ]

Propel: An Approach Supporting User Guidance in Developing Precise and Understandable Property Specifications
Rachel L. Cobleigh, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2008. (THESIS-Cobleig)

[ PDF ]

Providers Do Not Verify Patient Identity during Computer Order Entry
Philip L. Henneman, MD, Donald L. Fisher, PhD, Elizabeth A. Henneman, RN, PhD, Tuan A. Pham, Yi Y. Mei, Rakesh Talati, MD, Brian H. Nathanson, PhD, Joan Roche, RN, PhD, Academic Emergency Medicine 2008; 15 pp. 641-648. (LASER-2008-PLH)

[ PDF ]

Specifying and Verifying Requirements for Election Processes
Borislava I. Simidchieva, Matthew S. Marzilli, Lori A. Clarke, Leon J. Osterweil, In dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada, May 2008, S. A. Chun, M. Janssen, and J. R. Gil-Garcia, Eds., Digital Government Society of North America, pp. 63-72. (UM-CS-2008-21)

[ ACM ] [ PDF ] [ Slides ]

Formally Defining Medical Processes
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, Methods of Information in Medicine 2008 Vol. 47, No. 5, pp. 392-398. (UM-CS-2009-009)

[ PDF ] [ Schattauer ]

Analyzing Medical Processes
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman, ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632. (UM-CS-2007-51)

[ ACM ] [ PDF ] [ Slides ]

Using Software Engineering Technology to Improve the Quality of Medical Processes
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil, ACM SIGSOFT/IEEE Companion 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898. (UM-CS-2008-20)

[ ACM ] [ PDF ] [ Slides ]

Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke, ACM Transactions on Software Engineering and Methodology, Vol. 17, No. 2, April 2008, pp.10:1-10:34. (UM-CS-2008-49)

This is an updated version of TR UM-CS-2007-33. This report is a revised and extended version of UM-CS-2005-15, which appeared in ISSTA 2006.

[ ACM ] [ PDF ]

Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke, ACM Transactions on Sofware Engineering and Methodology. Vol. 17, Issue 2, April 2008. (UM-CS-2007-27)

This is an updated version of TR UM-CS-2007-07, which was originally dated August 2007. This report is a revised and extended version of UM-CS-2004-022, which appeared in ISSTA 2006.

[ ACM ] [ PDF ] [ Online-only Appendix ] [ Experimental Subjects ]

Exception Handling Patterns for Processes
Barbara Staudt Lerner, Stefan Christov, Alexander Wise, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2008. (UM-CS-2008-06)

[ PDF ]

 2007

Desiderata for languages to be used in the definition of reference business processes
L. Zhu, Leon. J. Oserweil, M. Staples, U. Kannengiesser, Borislava I. Simidchieva, International Journal of Software and Informatics 1, 1 (December 2007), pp. 37-65. (UM-CS-2007-072)

[ PDF ]

Engineering Medical Processes to Improve Their Safety: An Experience Report
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel Cobleigh, Elizabeth A. Henneman, Philip L. Henneman, Proceedings IFIP Working Group 8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences, J. Ralyte, S. Brinkkemper, and B. Henderson-Sellers, eds., Springer, Sept. 2007, Vol. 244, pp. 267-282. (Method Engineering 2007, Geneva. (UM-CS-2007-35)

[ Springer ] [ PDF ] [ Slides ]

Rigorously Defining and Analyzing Medical Processes: An Experience Report
Stefan Christov, Bin Chen, Geroge S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, 1st International Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS), Nashville, Tennessee, September 30, 2007: (H. Giese (Ed.): MoDELS 2007 Workshops, Springer, LNCS 5002, pp. 118-131, 2008.) (Selected as Best Paper). (UM-CS-2007-58)

[ LNCS ] [ PDF ] [ Slides ]

Ensuring Reliable Datasets for Environmental Models and Forecasts
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori Clarke, Rodion Podorozhny, Julian L. Hadley, Alexander Wise, David R. Foster, Ecological Informatics, ECOINF84, Vol. 2, No. 3, October 2007, Elsevier, pp. 237-247. (UM-CS-2007-45)

[ Elsevier ] [ PDF ]

A Future for Software Engineering?
Leon J. Osterweil, 29th Int. Conference on Software Engineering, International Conference on Software Engineering. IEEE Computer Society, Washington, DC, May 2007, pp. 1-11. (LASER-2007-ICS)

[ 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 ]

Representing Process Variation with a Process Family
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil, In Software Process Dynamics and Agility: Proceedings of the International Conference on Software Process (2007), Q. Wang, D. Pfahl, and D. M. Raffo, Eds., vol. 4470 of LNCS, Springer, pp. 109-120. (UM-CS-2007-13)

[ PDF ] [ Slides ]

Using Process Definitions to Drive User Interactions with Digital Government Systems
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava Simidchieva, Norman Sondheimer, Leah Wing, Alexander Wise, 8th Annual International Conference on Digital Government Research: Bridging Disciplines & Domains, Philadelphia, PA, pp. 310-311, May 20-23, 2007. (UM-CS-2007-11)

[ ACM ] [ PDF ]

Automating and Evaluating Assume-Guarantee Reasoning
Jamieson M. Cobleigh, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2007. (THESIS-JCoblei)

[ PDF ]

Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions
Elizabeth A. Henneman, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Chester Andrzejewski Jr., Karen Merrigan, Rachel Cobleigh, Kimberly Frederick, Ethan Katz-Bassett, Philip L. Henneman, Transfusion Medicine Review, Vol. 21, No. 1, pp. 49-57, January 2007. (UM-CS-2007-06)

[ NCBI ] [ PDF ]

 2006

User Guidance for Creating Precise and Accessible Property Specifications
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke, ACM SIGSOFT 14th International Symposium on Foundations of Software Engineering (FSE14), Portland, OR, pp. 208-218, November 2006. (UM-CS-2006-27)

This is an updated version originally dated April 2006.

[ ACM ] [ PDF ] [ Slides ]

Little-JIL 1.5 Language Report
Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 2006. (UM-CS-2006-51)

[ PDF ]

Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke, ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA '06) Portland, ME, pp. 97-108, July 2006. (UM-CS-2004-022)

This is an updated version originally dated May 2004. Please see "Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning" UM-CS-2007-27 for a revised and extended version of this report.

[ ACM ] [ PDF ] [ PDF with Appendix B ] [ Slides ]

Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke, ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA '06) Portland, ME, pp. 157 - 168. (UM-CS-2005-15)

This is a revised and expanded version of UM-CS-2005-15, originally dated Feb. 2005. Please see "Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs" UM-CS-2008-49 for a revised and extended version of this report.

[ ACM ] [ PDF ] [ Slides ]

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 ]

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 ]

A Process-Driven Tool to Support Online Dispute Resolution
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander Wise, Daniel Rainey, 2006 International Conference on Digital Government Research, San Diego, CA, ACM Press, 2008, pp. 356-357. (UM-CS-2007-05)

[ ACM ] [ PDF ]

Managing Space for Finite-State Verification
Jianbin Tan, George S. Avrunin, Lori A. Clarke, ACM SIGSOFT/IEEE 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, pp. 152-161, May 2006. (UM-CS-2005-66)

[ ACM ] [ PDF ] [ Slides ]

Unifying the Software Process Spectrum
Mingshu Li, Barry W. Boehm, Leon J. Osterweil, (eds.) International Software Process Workshop (SPW 2005), Beijing, China, Springer-Verlag Lecture Notes in Computer Science, Vol 3840, 522 pages, May 25-27, 2005. (UM-CS-2006-24)

[ SpringerLink ] [ PDF ]

Definition and Analysis of Election Processes
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil, 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 178-185, May 2006. (UM-CS-2006-19)

[ SpringerLink ] [ PDF ] [ Slides ]

Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains
Leon J. Osterweil, Keynote Address given at 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 39-47, May 2006. (UM-CS-2006-20)

[ SpringerLink ] [ PDF ] [ Keynote Slides ]

Automatic Fault Tree Derivation from Little-JIL Process Definitions
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag LNCS, Vol. 3966, pp. 150-158, May, 2006. (UM-CS-2006-01)

[ SpringerLink ] [ PDF ] [ Slides ]

Property Inference from Program Executions
Richard M. Chang, George S. Avrunin, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, April 2006. (UM-CS-2006-26)

[ PDF ]

Complex Medical Processes as Context for Embedded Systems
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil, ACM SIGBED Review, special issue from the Workshop on Innovative Techniques for Certification of Embedded Systems, Vol. 3, Issue 4, pp. 9-14, October 2006.. (UM-CS-2006-31)

[ ACM ] [ PDF ] [ Slides ]

Using Process Definitions to Facilitate the Specification of Requirements
Leon J. Osterweil, Norman K. Sondheimer, Lori A. Clarke, Ethan Katsh, Daniel Rainey, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2006. (UM-CS-2006-11)

[ PDF ]

 2005

Process Support to Help Novices Design Software Faster and Better
Aaron G. Cass, Leon J. Osterweil, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA, pp. 295-299, November, 2005. (UM-CS-2005-018)

[ ACM ] [ PDF ]

Process Definition Language Support for Rapid Simulation Prototyping
Mohammad S. Raunak, Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 416-432. (UM-CS-2005-04)

[ SpringerLink ] [ PDF ]

Unifying Microprocess and Macroprocess Research
Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 68-74. (UM-CS-2005-36)

[ SpringerLink ] [ PDF ]

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 347-359. (UM-CS-2005-026)

[ SpringerLink ] [ PDF ] [ Slides ]

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 ]

Effective Resource Allocation for Process Simulation: A Position Paper
Mohammad S. Raunak, Leon J. Osterweil, 6th International Workshop on Software Process Simulation and Modeling, St. Louis, MO, May 14-15, 2005. (UM-CS-2005-30)

[ PDF ]

Optimizing Cost-sensitive Trust-negotiation Protocols
Weifeng Chen, Lori A. Clarke, Jim Kurose, Don Towsley, 24th Conference of the IEEE Communications Society (Infocom2005), Vol. 2, pp. 1431-1442, March 2005. (UM-CS-2004-029)

[ IEEE ] [ PDF ]

 2004

Heuristic-Guided Counterexample Search in FLAVERS
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue, ACM SIGSOFT 2004, 12th International Symposium on the Foundations of Software Engineering (FSE 12), Newport Beach, CA, pgs 201-210, November 2004. (UM-CS-2004-023)

[ ACM ] [ PDF ] [ Slides ]

Flow Analysis for Verifying Properties of Concurrent Software Systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich, ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 13, No. 4, pp. 359-430, October 2004. (UM-CS-2004-006)

This is an updated version of UM-CS-1999-052 and UM-CS-2003-030.

[ ACM ] [ PDF ] [ Appendices B and C ]

Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
Stephen F. Siegel, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2004. (UM-CS-2004-077)

[ PDF ]

Modeling MPI Programs for Verification
Stephen F. Siegel, George S. Avrunin, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2004. (UM-CS-2004-075)

This is an updated and extended version of the report: "Analysis of MPI Programs" (UM-CS-2003-060).

[ PDF ]

Verifying Process Models Built Using Parameterized State Machines
Barbara Staudt Lerner, 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '04), Boston, MA, pp. 274-284. July 2004. (UM-CS-2004-088)

[ ACM ] [ PDF ]

Heuristic-Based Model Refinement for FLAVERS
Jianbin Tan, George S. Avrunin, Lori A. Clarke, 26th International Conference on Software Engineering (ICSE 2004), Edinburgh, Scotland, pp. 635-644, May 2004. (UM-CS-2003-029)

[ ACM ] [ PDF ]

Verification of MPI-based Software for Scientific Computation
Stephen F. Siegel, George S. Avrunin, Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Springer Verlag Lecture Notes in Computer Science, Vol. 2989, pp. 286-303, April 2004. (UM-CS-2004-087)

[ SpringerLink ] [ PDF ]

Analyzing Processes for E-Government Development: The Emergence of Process Modeling Languages
Leon J. Osterweil, Charles M. Schweik, Norman K. Sondheimer, Craig W. Thomas, Journal of E-Government. 1(4), 2004 pp. 63-89. (UM-CS-2004-110)

[ PDF ]

 2003

Analysis of MPI Programs
Stephen F. Siegel, George S. Avrunin, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 2003. (UM-CS-2003-060)

Please see "Modeling MPI Programs for Verification" (UM-CS-2004-075) for an updated and extended version of this report.

[ PDF ]

Flow Analysis for Verifying Properties of Concurrent Software Systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 2003. (UM-CS-2003-030)

See UM-CS-2004-006 for an updated version

From Natural Language Requirements to Rigorous Property Specifications
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Monterey Workshop 2003 (Workshop on Software Engineering for Embedded Systems (SEES 2003) From Requirements to Implementation, Chicago, IL, pp. 40-46, September 2003 . (UM-CS-2004-019)

[ PDF ] [ Slides ]

Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner, 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, Springer Verlag Lecture Notes in Computer Science, Vol 2786, pp. 143-153, September 2003. (UM-CS-2004-089)

[ PDF ]

Formalizing Rework in Software Processes
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil, 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, September 2003, Springer Verlag Lecture Notes in Computer Science #2786, pp. 16-31. (LASER-2003-CSO)

[ PDF ]

 2002

Containment Units: A Hierarchically Composable Architecture for Adaptive Systems
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Barbara Staudt Lerner, 10th International Symposium on the Foundations of Software Engineering (FSE 10), Charleston, SC, pp. 159-165, November 2002. (UM-CS-2001-045)

[ PostScript ] [ PDF ]

Using Little-JIL to Define Containment Units
Barbara Staudt Lerner, Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 2002. (UM-CS-2002-033)

[ PostScript ] [ PDF ]

The INCA Query Language
Stephen F. Siegel, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, May 2002. (UM-CS-2002-018)

[ PostScript ] [ PDF ]

PROPEL: An Approach Supporting Property Elucidation
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL, pp. 11-21, May 2002. (UM-CS-2001-046)

[ PostScript ] [ PDF ]

FLAVERS: a Finite State Verification Technique for Software Systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, IBM Systems Journal (Issue on Software Testing and Verification), 41(1), pp. 140-165, 2002. (UM-CS-2001-017)

[ IBM Systems Journal ] [ PostScript ] [ PDF ]

Programming Rework in Software Processes
Aaron G. Cass, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2002. (UM-CS-2002-025)

[ PostScript ] [ PDF ]

Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach
Aaron G. Cass, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2002. (UM-CS-2002-024)

[ PostScript ] [ PDF ]

 2001

Architecting Dynamic Systems Using Containment Units
Leon J. Osterweil, Alexander Wise, Jamieson M. Cobleigh, Lori A. Clarke, Barbara Staudt Lerner, Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, Day 3, Session 1, December 2001. (UM-CS-2002-029)

[ PostScript ]

An Architecture for Flexible, Evolvable Process-Driven User Guidance Environments
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil, Joint 8th European Software Engineering Conference (ESEC 2001) and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 9), Vienna, Austria, pp. 33-43, September 2001. (UM-CS-2000-063)

[ PostScript ] [ PDF ] [ ACM ]

Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
Gleb Naumovich, Lori A. Clarke, Monterey Workshop 2001 on Engineering Automation for Software Intensive System Integration, Monterey, CA, pp. 267-276, June 2001. (UM-CS-2000-010)

[ PostScript ] [ PDF ]

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper
Aaron G. Cass, Leon J. Osterweil, 8th European Workshop on Software Process Technology (EWSPT 2001), Witten, Germany, Springer Verlag Lecture Notes in Computer Science #2077, pp. 145-151, June 2001. (UM-CS-2001-013)

[ PostScript ] [ PDF ]

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 37-46, May 2001. (UM-CS-2000-046)

[ PostScript ] [ PDF ] [ IEEE ]

Comparison Process Specification for a Repeatable Comparison of Architecting Processes
Rodion M. Podorozhny, Leon J. Osterweil, Dewayne E. Perry, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2001. (UM-CS-2001-006)

[ PostScript ] [ PDF ]

 2000

Exploiting Hierarchy for Planning and Scheduling
Aaron G. Cass, Krithi Ramamritham, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, December 2000. (UM-CS-2000-064)

[ PostScript ] [ PDF ]

Design Guidance Through the Controlled Application of Constraints
Aaron G. Cass, Leon J. Osterweil, 10th International Workshop in Software Specification and Design (IWSSD 10), San Diego, CA, pp. 195-199, November 2000. (UM-CS-2000-067)

[ PostScript ] [ PDF ] [ ACM ]

Using Little-JIL to Coordinate Agents in Software Engineering
Alexander Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Automated Software Engineering Conference (ASE 2000), Grenoble, France, pp. 155-163, September 2000. (UM-CS-2000-045)

[ PostScript ] [ ACM ] [ PDF ]

Modeling and Managing Resource Utilization in Process, Workflow, and Activity Coordination
Barbara Staudt Lerner, Anoop George Ninan, Leon J. Osterweil, Rodion M. Podorozhny, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 2000. (UM-CS-2000-058)

[ PostScript ] [ PDF ]

Verifying Properties of Process Definitions
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

Supporting Communication of Heterogeneous Distributed Agents with Agenda Management Systems
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 2000. (UM-CS-2000-032)

[ PostScript ] [ PDF ]

Frameworks for Reasoning about Agents Based Systems
Leon J. Osterweil, Lori A. Clarke, 1st Annual Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 2000. (UM-CS-2000-034)

[ PostScript ] [ PDF ]

Little-JIL/Juliette: A Process Definition Language and Interpreter
Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 754-757, June 2000. (UM-CS-2000-066)

[ PostScript ] [ PDF ] [ IEEE ]

Relocation in Mobile Process-Centered Software Development Environments
Supratik Bhattacharyya, Leon J. Osterweil, 11th International Workshop on Databases and Expert Systems (DEXA 2000), Greenwich, UK, pp. 198-203, September 2000. (UM-CS-2000-029)

[ PostScript ] [ PDF ] [ IEEE ] [ ACM ]

Continuous Self-Evaluation for the Self-Improvement of Software
Lori A. Clarke, Leon J. Osterweil, 1st International Workshop on Self Adaptive Software (IWSAS 2000), Oxford, England, Springer Verlag Lecture Notes in Computer Science #1936, pp. 27-29, April 2000. (UM-CS-2000-065)

[ PostScript ] [ PDF ] [ ACM ]

HI-PLAN and Little-JIL: a Study of Contrast Between Two Process Languages
Hyungwon Lee, Leon J. Osterweil, International Conference on Software Theory and Practice (ICS 2000) of the 16th IFIP World Computer Congress (9WCC 2000), Beijing, PRC, pp. 300-311, August 2000. (UM-CS-2000-023)

[ PostScript ] [ PDF ]

Classifying Properties: An Alternative to the Safety-Liveness Classification
Gleb Naumovich, Lori A. Clarke, 8th ACM Sigsoft Symposium on the Foundations of Software Engineering (FSE 8), San Diego, CA, pp. 159-168, March 2000. (UM-CS-2000-012)

[ PostScript ] [ PDF ] [ ACM ]

Improving the Precision of INCA by Preventing Spurious Cycles
Stephen F. Siegel, George S. Avrunin, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 191-200, August 2000. (UM-CS-2000-009)

[ PostScript ] [ PDF ]

 1999

Logically Central, Physically Distributed Control in a Process Runtime Environment
Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-065)

[ PostScript ] [ PDF ] [ ACM ]

Comparing Finite-State Verification Techniques for Concurrent Software
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, Stephen F. Siegel, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-069)

[ PostScript ] [ PDF ]

Specifying Coordination in Processes Using Little-JIL
Alexander Wise, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-071)

This report replaces UM-CS-1998-038.

[ PostScript ] [ PDF ]

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, 7th European Software Engineering Conference (ESEC 1999) and the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 7), Toulouse, France, Springer Verlag Lecture Notes in Computer Science #1687, pp. 338-354, September. (UM-CS-1998-044)

[ PostScript ] [ PDF ] [ ACM ]

Flow Analysis for Verifying Specifications of Concurrent and Distributed Software
Matthew B. Dwyer, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1999. (UM-CS-1999-052)

See UM-CS-2004-006 for an updated version

[ PostScript ] [ PDF ]

Benchmarking Finite-State Verifiers
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1999. (UM-CS-1999-048)

[ PostScript ] [ PDF ]

Formally Defining Coordination Process to support Contract Negotiations
Aaron G. Cass, Hyungwon Lee, Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 1999. (UM-CS-1999-039)

[ PostScript ] [ PDF ]

Patterns in Property Specifications for Finite-State Verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett, 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, pp. 411-420, May 1999. (UM-CS-1998-035)

[ PostScript ] [ PDF ] [ ACM ]

Data Flow Analysis for Checking Properties of Concurrent Java Programs
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, pp. 399-410, May 1999. (UM-CS-1998-022)

[ PostScript ] [ PDF ]

Modeling Resources for Activity Coordination and Scheduling
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil, 3rd International Conference on Coordination Models and Languages (Coordination 1999), Amsterdam, The Netherlands Springer Verlag Lecture Notes in Computer Science #1594, pp. 307-322, April 1999. (UM-CS-1998-050)

[ PostScript ] [ PDF ]

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1999) ,Toulouse, France, pp. 57-65, September 1999. (UM-CS-1999-024)

[ PostScript ] [ PDF ]

Evaluation of Little-JIL 1.0 with ISPW-6 Software Process Example
Hyungwon Lee, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 1999. (UM-CS-1999-033)

[ PostScript ] [ PDF ]

A Rigorous Approach to Resource Management in Activity Coordination
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 1999. (UM-CS-1999-012)

[ PostScript ] [ PDF ]

Coordinating Agent Activities in Knowledge Discovery Processes
David Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, Work Activities Coordination and Collaboration Conference (WACC 1999), San Francisco, CA, pp. 137-146, February 1999. (UM-CS-1998-033)

[ PostScript ] [ PDF ]

 1998

Programming Process Coordination in Little-JIL
Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, 6th European Workshop on Software Process Technology (EWSPT 1998), Weybridge, UK, Springer Verlag Lecture Notes in Computer Science #1487, pp. 127-131, September 1998. (UM-CS-1998-088)

[ PostScript ] [ PDF ]

Analyzing Partially-Implemented Real-Time Systems
George S. Avrunin, James C. Corbett, Laura K. Dillon, 19th International Conference on Software Engineering (ICSE 1997), Boston, MA, pp. 228-238, August 1996. (UM-CS-1996-062)

Updated version in IEEE Transactions on Software Engineering 24(8), August 1998, pp. 602-614.

[ PostScript ] [ PDF ]

Improving Architectural Description Languages to Support Analysis Better
Lori A. Clarke, International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 1998), Marsala, Sicily, Italy, pp. 78-80, June 1998. (UM-CS-1998-085)

[ PostScript ] [ PDF ]

Architecting Process are Key to Software Quality
Leon J. Osterweil, International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 1998), Marsala, Sicily, Italy, pp. 18-20, June 1998. (UM-CS-1998-086)

[ PostScript ] [ PDF ]

Efficient Composite Data Flow Analysis Applied to Concurrent Programs
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), Montreal, Quebec, Canada, pp. 51-58, June 1998. (UM-CS-1998-082)

Replaces UM-CS-1997-043.

[ PostScript ] [ PDF ]

Little-JIL 1.0 Language Report
Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, April 1998. (UM-CS-1998-024)

[ PostScript ] [ PDF ]

An Adaptable Generation Approach to Agenda Management
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil, 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 282-291, April 1998. (UM-CS-1997-045)

[ PostScript ] [ PDF ]

Consistency Management for Complex Applications
Peri L. Tarr, Lori A. Clarke, 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 230-239, April 1998. (UM-CS-1997-046)

[ PostScript ] [ PDF ]

A Conservative Data Flow Algorithm for Detecting all Pairs of Statements that may Happen in Parallel
Gleb Naumovich, George S. Avrunin, 6TH ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 6), Lake Buena Vista, FL, pp. 24-34, November 1998. (UM-CS-1998-023)

[ PostScript ] [ PDF ]

Verifying Properties of Distributed Systems: Prospects for Practicality
Lori A. Clarke, Leon J. Osterweil, 4th International Conference on Achieving Quality in Software (AQuIS 98), Venice, Italy, pp. 11-16, March 1998. (UM-CS-1998-084)

[ PostScript ] [ PDF ]

Property Specification Patterns for Finite-State Verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett, 2nd Workshop on Formal Methods in Software Practice (FMSP 1998), Clearwater Beach, FL, pp. 7-15, March 1998. (UM-CS-1997-049)

[ PostScript ] [ PDF ]

Enhancing Design Methods to Support Real Design Processes
Barbara Staudt Lerner, Stanley M. Sutton, Jr., Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 1998. (UM-CS-1998-006)

A condensed version of this paper appears in the 9th International Workshop in Software Specification and Design (IWSSD 9), April 1998 Ise-shima, Japan.

[ PostScript ] [ PDF ]

 1997

Experience Using the JIL Process Programming Language to Specify Design Processes
Stanley M. Sutton, Jr., Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1997. (UM-CS-1997-068)

[ PostScript ] [ PDF ]

The Design of a Next-Generation Process Language
Stanley M. Sutton, Jr., Leon J. Osterweil, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5), Zurich, Switzerland, Springer Verlag Lecture Notes in Computer Science #1301, pp. 142-158, September 1997. (UM-CS-1997-054)

[ PostScript ] [ PDF ]

An Evaluation of Object Management Systems Architectures for Software Engineering Applications
Jayavel Shanmugasundaram, Barbara Staudt Lerner, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1997. (UM-CS-1997-047)

[ PostScript ] [ PDF ]

Gaining Confidence in Distributed Systems
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer, 10th International Software Quality Week (QW 97), Vol II, Session 10, San Francisco, CA, May 1997. (UM-CS-1997-042)

[ PostScript ] [ PDF ]

Software Processes Are Software Too, Revisited
Leon J. Osterweil, 19th International Conference on Software Engineering (ICSE 1997), Boston, MA, pp. 540-548, May 1997. (UM-CS-1997-020)

[ PostScript ] [ PDF ]

Applying Static Analysis to Software Architectures
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5) and the 6th European Software Engineering Conference (ESEC 1997), Zurich, Switzerland, Springer Verlag Lecture Notes In Computer Science #1301, pp. 77-93, Sept. 1997. (UM-CS-1997-008)

[ PostScript ] [ PDF ]

 1996

A Compact Petri Net Representation and Its Implications for Analysis
Matthew B. Dwyer, Lori A. Clarke, IEEE Transactions on Software Engineering, 22 (11), pp. 794-811, November 1996. (UM-CS-1996-021)

[ PostScript ] [ PDF ]

A Framework for Event-Based Software Integration
Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander Wise, IEEE Transactions on Software Engineering and Methodology, 5(4), pp. 378-421, October 1996. (UM-CS-1996-068)

[ PostScript ] [ PDF ]

Object Management Support for the Construction of Complex Applications
Peri L. Tarr, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1996. (THESIS-TARR)

[ PostScript ] [ PDF ]

A Framework for Relocation in Mobile Process-Centered Software Development Environments
Supratik Bhattacharyya, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1996. (UM-CS-1996-069)

[ PostScript ] [ PDF ]

The Criticality of Modeling Formalisms in Software Design Method Comparison
Rodion M. Podorozhny, Leon J. Osterweil, 19th International Conference on Software Engineering (ICSE 1996), Boston, MA, pp. 303-313, May 1996. (UM-CS-1996-049)

[ PostScript ] [ PDF ]

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 ]

Symbolic Model Checking Using Algebraic Geometry
George S. Avrunin, Computer Aided Verification (CAV 1996), New Brunswick, NJ, Springer Verlag Lecture Notes in Computer Science #1102, pp. 26-37, July 1996. (UM-CS-1996-018)

[ PostScript ] [ PDF ]

Improving the Quality of Software Quality Determination Processes
Leon Osterweil, 7th IFIP Working Group WG2.5 Working Conference on Quality Mathematical Software, Oxford, England, July 1996. (UM-CS-1996-063)

[ PostScript ] [ PDF ] [ ACM ]

A Model for Compound Type Changes Encountered in Schema Evolution
Barbara Staudt Lerner, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 1996. (UM-CS-1996-044)

[ PostScript ] [ PDF ]

Verification of Communication Protocols Using Data Flow Analysis
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, CA, pp. 93-105, October 1996. (UM-CS-1996-027)

[ PostScript ] [ PDF ]

A Flexible Architecture for Building Data Flow Analyzers
Matthew B. Dwyer, Lori A. Clarke, 18th International Conference on Software Engineering (ICSE 1996), Berlin, Germany, pp. 554-564, March 1996. (UM-CS-1995-079)

[ PostScript ] [ PDF ]

Multilanguage Interoperability in Distributed Systems: Experience Report
Mark J. Maybee, Dennis H. Heimbigner, Leon J. Osterweil, 18th International Conference On Software Engineering (ICSE 1996), Berlin, Germany, pp. 451-463, March 1996. (UM-CS-1995-075)

[ 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 ]

 1995

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 ]

Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs
Matthew B. Dwyer, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1995. (THESIS-DWYER)

[ PostScript ] [ PDF ]

An Analysis of Process Languages
Stanley M. Sutton, Jr., Peri L. Tarr, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1995. (UM-CS-1995-078)

[ PostScript ] [ PDF ]

Data Flow Analysis Frameworks for Concurrent Programs
Matthew B. Dwyer, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1995. (UM-CS-1995-062)

[ PostScript ] [ PDF ]

Preconditions, Postconditions, and Provisional Execution in Software Processes
Stanley M. Sutton, Jr., Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1995. (UM-CS-1995-077)

[ PostScript ] [ PDF ]

Accounting for Purpose in Specifying Requirements for Process Programs
Stanley M. Sutton, Jr., Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1995. (UM-CS-1995-076)

[ 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 ]

A Compact Petri Net Representation for Concurrent Programs
Matthew B. Dwyer, Kari A. Nies, Lori A. Clarke, 17th International Conference on Software Engineering (ICSE 1995), Seattle, WA, pp. 147-157, April 1995. (UM-CS-1994-046)

Replaced by UM-CS-1996-021.

[ PostScript ] [ PDF ]

 1994

Data Flow Analysis for Verifying Properties of Concurrent Programs
Matthew B. Dwyer, Lori A. Clarke, 2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2), New Orleans, LA, pp. 62-75, December 1994. (UM-CS-1994-045)

[ PostScript ] [ PDF ]

Towards Scalable Compositional Analysis
James C. Corbett, George S. Avrunin, Second ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 53-61, New Orleans, December 1994. ACM Press (Appeared in Software Engineering Notes, 19(5)). (INCA-1994-A)

Type Evolution Support for Complex Type Changes
Barbara Staudt Lerner, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 1994. (UM-CS-1994-071)

[ PostScript ] [ PDF ]

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)

Engineering Software Design Processes to Guide Process Execution
Xiping Song, Leon J. Osterweil, 3rd International Conference on the Software Process, Reston, VA, pp. 135-152, October 1994. (UM-CS-1994-023)

[ PostScript ] [ PDF ]

 1993

PLEIADES: An Object Management System for Software Engineering Environments
Peri L. Tarr, Lori A. Clarke, 1ST ACM SIGSOFT 1993 Symposium on the Foundations of Software Engineering (FSE 1), Los Angeles, CA, pp. 56-70, December 1993. (UM-CS-1993-064)

[ PostScript ] [ PDF ]

An Information Flow Model of Fault Detection
Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke, ACM SIGSOFT 1993 International Symposium on Software Testing and Analysis (ISSTA 1993), Cambridge, MA, pp. 182-192, June 1993. (UM-CS-1993-066)

[ PostScript ] [ PDF ]

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems
James C. Corbett, George S. Avrunin, ACM SIGSOFT 1993 International Symposium on Software Testing and Analysis (ISSTA 1993), Cambridge, MA, pp. 110-116, June 1993. (UM-CS-1993-CA)

[ PDF ]

Contrasting Approaches of Two Environment Generators: The Synthesizer Generator and Pan
Barbara Staudt Lerner, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, April 1993. (UM-CS-1993-032)

[ PostScript ] [ PDF ]

 1992

Sharpening the Bounds on Time Between Events in Maximally Parallel Systems
George S. Avrunin, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1992. (UM-CS-1992-069)

[ PostScript ] [ PDF ]

 1991

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 ]

Directions for U.S. Research and Development Efforts on Software Testing and Analysis: A Report from the Workshop on Directions
Leon J. Osterweil, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1992. (UM-CS-1990-073)

Revised 12/90 and 9/91 (A shorter published version of this paper appears in IEEE Software, 18(9) , September 1992, pp. 89-96).

[ PostScript ] [ PDF ]

 1990

Language Constructs for Managing Change in Process-Centered Environments
Stanley M.Sutton, Jr., Dennis M. Heimbigner, Leon J. Osterweil, 4th ACM SIGSOFT Symposium on Software Development Environments (SIGSOFT 90), Irvine, CA, pp. 206-217, December 1990. (LASER-1990-SHO)

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 ]

A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance
Andy Podgurski, Lori A. Clarke, IEEE Transactions on Software Engineering, 16(10), pp. 965-979, September 1990. (UM-CS-1989-116)

[ 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 ]

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 ]

 1989

A Formal Evaluation of Data Flow Path Selection Criteria
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil, IEEE Transactions on Software Engineering 15(11), pp. 1318-1332, November 1989. (UM-CS-1988-073)

[ PDF ]

Task Interaction Graphs for Concurrency Analysis
Doug Long, Lori A. Clarke, 11th International Conference on Software Engineering (ICSE 1989), Pittsburgh, PA, pp. 44-52, May 1989. (UM-CS-1989-014)

[ PDF ]

 1987

Software Processes are Software Too
Leon J. Osterweil, In Proceedings of the 9th international conference on Software Engineering (ICSE '87). IEEE Computer Society Press, Los Alamitos, CA, USA, pp. 2-13. (UM-LJO-1987)

[ PDF ]

 1985

Applications of Symbolic Evaluation
Lori A. Clarke, Debra J. Richardson, Journal of Systems and Software, Vol. 5 , Issue 1 (February 1985), pp. 15 - 35. (LASER-85-LACdr)

[ ACM ] [ 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 Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts AmherstSite Policies