Home > LASER Publications > Lori A. Clarke
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

by Lori A. Clarke

 2016

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 ]

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 ]

 2014

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 ]

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 ]

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 ]

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 ]

 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 ]

 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 ]

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 ]

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 ]

 2010

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 ]

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 ]

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 ]

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 ]

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 ]

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

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 ]

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 ]

 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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

 2007

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 ]

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 ]

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 ]

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 ]

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 ]

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

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 ]

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 ]

 2003

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 ]

 2002

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 ]

 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 ]

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 ]

 2000

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 ]

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 ]

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 ]

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 ]

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 ]

 1999

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 ]

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 ]

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 ]

 1998

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 ]

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 ]

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 ]

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 ]

 1997

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 ]

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 ]

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 ]

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 ]

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

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 ]

 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 ]

 1991

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

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 ]

 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 ]

 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