Lori A. Clarke

According to our database1, Lori A. Clarke authored at least 117 papers between 1976 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1998, "For outstanding research in software engineering, particularly in the areas of software testing and analysis, and for dedicated service to the software engineering community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.
Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Process Driven Guidance for Complex Surgical Procedures.
Proceedings of the AMIA 2018, 2018

2017
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur., 2017

2016
Smart checklists to improve healthcare outcomes.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2014
Insider Threat Identification by Process Analysis.
Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Impact of barcode design on the medication administration process.
Proceedings of the AMIA 2014, 2014

Online Deviation Detection for Medical Processes.
Proceedings of the AMIA 2014, 2014

2013
Modal abstraction view of requirements for medical devices used in healthcare processes.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Considerations for online deviation detection in medical processes.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Using process modeling and analysis techniques to reduce errors in healthcare.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.
Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Computational Predictors in Online Social Deliberations.
Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

Smart checklists for human-intensive medical systems.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm.
Int. J. Software and Informatics, 2011

On effective testing of health care simulation software.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2010
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.
IEEE Trans. Automation Science and Engineering, 2010

Modeling and Analyzing Faults to Improve Election Process Robustness.
Proceedings of the 2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010

Supporting negotiation and dispute resolution with computing and communication technologies.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Supporting human-intensive systems.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Process-based derivation of requirements for medical devices.
Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.
Proceedings of the ACM International Health Informatics Symposium, 2010

2nd International Workshop on Software Engineering in Health Care (SEHC 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

2009
Simulating patient flow through an Emergency Department using process-driven discrete event simulation.
Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Dispute prevention and dispute resolution in networked health information technology.
Proceedings of the 10th Annual International Conference on Digital Government Research, 2009

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.
Proceedings of the Business Process Management Workshops, 2009

2008
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol., 2008

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
ACM Trans. Softw. Eng. Methodol., 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Using software engineering technology to improve the quality of medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and verifying requirements for election processes.
Proceedings of the 9th Annual International Conference on Digital Government Research, 2008

2007
Ensuring reliable datasets for environmental models and forecasts.
Ecological Informatics, 2007

Getting the Details Right.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Rigorously Defining and Analyzing Medical Processes: An Experience Report.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Representing Process Variation with a Process Family.
Proceedings of the Software Process Dynamics and Agility, 2007

Engineering Medical Processes to Improve Their Safety.
Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

Plug-and-Play Architectural Design and Verification.
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Using process definitions to drive user interactions with digital government systems.
Proceedings of the 8th Annual International Conference on Digital Government Research, 2007

2006
A historical perspective on runtime assertion checking in software development.
ACM SIGSOFT Software Engineering Notes, 2006

Complex medical processes as context for embedded systems.
SIGBED Review, 2006

User guidance for creating precise and accessible property specifications.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Verification support for plug-and-play architectural design.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Using model checking with symbolic execution to verify parallel numerical programs.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Definition and Analysis of Election Processes.
Proceedings of the Software Process Change, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.
Proceedings of the Software Process Change, 2006

Managing space for finite-state verification.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A process-driven tool to support online dispute resolution.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

Architectural Building Blocks for Plug-and-Play System Design.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
Process Technology to Facilitate the Conduct of Science.
Proceedings of the Unifying the Software Process Spectrum, 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
Proceedings of the Unifying the Software Process Spectrum, 2005

2004
Flow analysis for verifying properties of concurrent software systems.
ACM Trans. Softw. Eng. Methodol., 2004

Heuristic-guided counterexample search in FLAVERS.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Heuristic-Based Model Refinement for FLAVERS.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Trust Resource Management in Digital Government Through Process Modeling.
Proceedings of the 2003 Annual National Conference on Digital Government Research, 2003

2002
FLAVERS: A finite state verification technique for software systems.
IBM Systems Journal, 2002

PROPEL: an approach supporting property elucidation.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
An architecture for flexible, evolvable process-driven user-guidance environments.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Little-JIL.
ACM SIGSOFT Software Engineering Notes, 2000

FLAVERS.
ACM SIGSOFT Software Engineering Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Classifying properties: an alternative to the safety-liveness classification.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Continuous Self-Evaluation for the Self-Improvement of Software.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Verifying properties of process definitions.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Finite state verification: An emerging technology for validating software systems (abstract only).
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Frameworks for Reasoning about Agent Based Systems.
Proceedings of the Infrastructure for Agents, 2000

1999
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1999

Data Flow Analysis for Checking Properties of Concurrent Java Programs.
Proceedings of the 1999 International Conference on Software Engineering, 1999

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.
Proceedings of the Software Engineering, 1999

1998
Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Consistency Management for Complex Applications.
Proceedings of the Forging New Links, 1998

An Adaptable Generation Approach to Agenda Management.
Proceedings of the Forging New Links, 1998

1997
Verification of Concurrent Software with FLAVERS.
Proceedings of the Pulling Together, 1997

Applying Static Analysis to Software Architectures.
Proceedings of the Software Engineering, 1997

1996
A Compact Petri Net Representation and Its Implications for Analysis.
IEEE Trans. Software Eng., 1996

A Framework for Event-Based Software Integration.
ACM Trans. Softw. Eng. Methodol., 1996

New Functionality for Programming Languages.
ACM Comput. Surv., 1996

How Do We Improve Software Quality and How Do We Show that it Matters?
ACM Comput. Surv., 1996

Verification of Communication Protocols Using Data Flow Analysis.
Proceedings of the SIGSOFT '96, 1996

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A Flexible Architecture for Building Data Flow Analyzers.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
A Compact Petri Net Representation for Concurrent Programs.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Data Flow Analysis for Verifying Properties of Concurrent Programs.
Proceedings of the SIGSOFT '94, 1994

1993
PLEIADES: An Object Management System for Software Engineering Environments.
Proceedings of the SIGSOFT '93, 1993

An Information Flow Model of Fault Detection.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992
A Proposed Testing and Analysis Research Initiative.
IEEE Software, 1992

1991
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.
IEEE Trans. Software Eng., 1990

A Comparative Evaluation of Object Definition Techniques.
ACM Trans. Program. Lang. Syst., 1990

Extending and Limiting PGraphite-style Persistence.
Proceedings of the Implementing Persistent Object Bases, 1990

1989
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process.
IEEE Trans. Software Eng., 1989

A Formal Evaluation of Data Flow Path Selection Criteria.
IEEE Trans. Software Eng., 1989

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Task Interaction Graphs for Concurrency Analysis.
Proceedings of the 11th International Conference on Software Engineering, 1989

1988
A Model of Visibility Control.
IEEE Trans. Software Eng., 1988

Foundations for the Arcadia Environment Architecture.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

TEAM: A Support Environment for Testing, Evaluation, and Analysis.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Facilitating process prototyping by controlling the impact of change.
Proceedings of the Forth International Software Process Workshop (ISPW '88), 1988

1987
Object Management Support for Software Development Environments.
Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1985
Partition Analysis: A Method Combining Testing and Verification.
IEEE Trans. Software Eng., 1985

Ada-Based support for programming-in-the-Large.
IEEE Software, 1985

Applications of symbolic evaluation.
Journal of Systems and Software, 1985

Interface Control and Incremental Development in the PIC Environment.
Proceedings of the Proceedings, 1985

A Comparison of Data Flow Path Selection Criteria.
Proceedings of the Proceedings, 1985

1984
Feedback-directed development of complex software systems.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1983
The application of error-sensitive testing strategies to debugging.
SIGPLAN Notices, 1983

1982
A Close Look at Domain Testing.
IEEE Trans. Software Eng., 1982

1981
A Partition Analysis Method to Increase Program Reliability.
Proceedings of the 5th International Conference on Software Engineering, 1981

1979
Compile-Time Analysis of Data List-Format List Correspondences.
IEEE Trans. Software Eng., 1979

1978
Testing: Achievements and Frustrations.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1976
A System to Generate Test Data and Symbolically Execute Programs.
IEEE Trans. Software Eng., 1976

SICSOFT (Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

A program testing system.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976


  Loading...