Lori A. Clarke

Q: What Schools Are Affiliated With Lori A. Clarke

Lori A. Clarke is affiliated with the following schools: University of Colorado Boulder, University of Massachusetts Amherst, University of Massachusetts

Lori A. Clarke's AcademicInfluence.com Rankings

Lori A. Clarke

Computer Science

#4604

World Rank

#4857

Historical Rank

#1476

USA Rank

Database

#6721

World Rank

#6957

Historical Rank

#828

USA Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Lori A. Clarke Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Lori A. Clarke is an American computer scientist noted for her research on software engineering. Biography Clarke received a B.A. in Mathematics from the University of Rochester in 1969. She received a Ph.D in Computer Science from the University of Colorado in 1976.

(See a Problem?)

Lori A. Clarke's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A System to Generate Test Data and Symbolically Execute Programs (1976) (833)
Proceedings 25th International Conference on Software Engineering (2003) (468)
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance (1990) (439)
Foundations for the Arcadia environment architecture (1989) (272)
A Formal Evaluation of Data Flow Path Selection Criteria (1986) (244)
Data flow analysis for verifying properties of concurrent programs (1994) (213)
PROPEL: an approach supporting property elucidation (2002) (188)
A framework for event-based software integration (1996) (138)
A historical perspective on runtime assertion checking in software development (2006) (133)
Partition Analysis: A Method Combining Testing and Verification (1985) (120)
An efficient algorithm for computing MHP information for concurrent Java programs (1999) (120)
A Close Look at Domain Testing (1982) (111)
A program testing system (1976) (109)
A comparison of data flow path selection criteria (1985) (103)
Flow analysis for verifying properties of concurrent software systems (2004) (102)
Task Interaction Graphs For Concurrency Analysis (1989) (97)
Applications of symbolic evaluation (1985) (95)
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning (2008) (91)
Applying static analysis to software architectures (1997) (88)
Combining symbolic execution with model checking to verify parallel numerical programs (2008) (78)
Using model checking with symbolic execution to verify parallel numerical programs (2006) (76)
User guidance for creating precise and accessible property specifications (2006) (72)
Data flow analysis for checking properties of concurrent Java programs (1999) (71)
Increasing patient safety and efficiency in transfusion therapy using formal process definitions. (2007) (62)
A partition analysis method to increase program reliability (1981) (62)
Analyzing medical processes (2008) (62)
FLAVERS: A finite state verification technique for software systems (2002) (61)
PLEIADES: an object management system for software engineering environments (1993) (61)
Simulating patient flow through an Emergency Department using process-driven discrete event simulation (2009) (59)
Data flow analysis of concurrent systems that use the rendezvous model of synchronization (1991) (56)
Representing Process Variation with a Process Family (2007) (54)
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process (1989) (53)
An empirical comparison of static concurrency analysis techniques (1996) (49)
Analytic webs support the synthesis of ecological data sets. (2006) (49)
Automatic Fault Tree Derivation from Little-JIL Process Definitions (2006) (47)
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (2006) (46)
Insider Threat Identification by Process Analysis (2014) (44)
Verifying properties of process definitions (2000) (44)
Ensuring reliable datasets for environmental models and forecasts (2007) (42)
Rigorously Defining and Analyzing Medical Processes: An Experience Report (2008) (41)
TEAM: a support environment for testing, evaluation, and analysis (1989) (37)
Experience in using a process language to define scientific workflow and generate dataset provenance (2008) (37)
Arcadia, a software development environment research project (1985) (36)
Ada-Based support for programming-in-the-Large (1985) (36)
The implications of program dependencies for software testing, debugging, and maintenance (1989) (35)
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview (2010) (35)
A flexible architecture for building data flow analyzers (1995) (32)
Using software engineering technology to improve the quality of medical processes (2008) (32)
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion (2005) (31)
The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification (2001) (31)
An information flow model of fault detection (1993) (31)
A Compact Petri Net Representation and Its Implications for Analysis (1996) (30)
On effective testing of health care simulation software (2011) (30)
A Compact Petri Net Representation for Concurrent Programs (1995) (30)
Specifying and verifying requirements for election processes (2008) (29)
Verification of communication protocols using data flow analysis (1996) (28)
Verification of concurrent software with FLAVERS (1997) (28)
Formally Defining Medical Processes (2008) (27)
Continuous Self-Evaluation for the Self-Improvement of Software (2000) (26)
Data flow analysis for verifying correctness properties of concurrent programs (1995) (26)
Modeling and Analyzing Faults to Improve Election Process Robustness (2010) (26)
Definition and Analysis of Election Processes (2006) (25)
Heuristic-guided counterexample search in FLAVERS (2004) (25)
Consistency management for complex applications (1998) (24)
Smart checklists for human-intensive medical systems (2012) (24)
An Event-Based Software Integration Framework (1995) (22)
Classifying properties: an alternative to the safety-liveness classification (2000) (21)
A proposed testing and analysis research initiative (1992) (21)
Nesting in Ada programs is for the birds (1980) (21)
Nesting in Ada programs is for the birds (1980) (21)
A Model of Visibility Control (1988) (21)
The significance of program dependences for software testing, debugging, and maintenance (1989) (21)
A benchmark for evaluating software engineering techniques for improving medical processes (2010) (20)
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance (2010) (19)
Test data generation and symbolic execution of programs as an aid to program validation. (1976) (19)
An architecture for flexible, evolvable process-driven user-guidance environments (2001) (19)
Improving processes using static analysis techniques (2011) (18)
Flow Analysis for Verifying Specifications of Concurrent and Distributed Software (1999) (18)
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them (2012) (18)
Process Technology to Facilitate the Conduct of Science (2005) (16)
Extending and Limiting PGraphite-style Persistence (1990) (16)
Symbolic evaluation -- an aid to testing and verification (1984) (16)
Supporting human-intensive systems (2010) (15)
An adaptable generation approach to agenda management (1998) (15)
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care (2018) (15)
Using partial order techniques to improve performance of data flow analysis based verification (1999) (14)
Next Generation Software Environments: Principles, Problems, and Research Directions (1987) (14)
Architectural Building Blocks for Plug-and-Play System Design (2006) (13)
A process-driven tool to support online dispute resolution (2006) (13)
Using process elicitation and validation to understand and improve chemotherapy ordering and delivery. (2012) (13)
Experimental Design for Comparing Static Concurrency Analysis (1996) (12)
Provenance and Quality Control in Sensor Networks (2011) (12)
Interface control and incremental development in the PIC environment (1985) (12)
Improving the accuracy of Petri net-based analysis of concurrent programs (1996) (12)
Complex medical processes as context for embedded systems (2006) (12)
Testing techniques based on symbolic evaluation (1986) (12)
The application of error-sensitive testing strategies to debugging (1983) (11)
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (2010) (11)
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance (2018) (11)
Smart Checklists to Improve Healthcare Outcomes (2016) (11)
The application of error-sensitive testing strategies to debugging (1983) (10)
Engineering Medical Processes to Improve Their Safety (2007) (10)
From Natural Language Requirements to Rigorous Property Specifications (2003) (9)
Efficient composite data flow analysis applied to concurrent programs (1998) (9)
Designing property specifications to improve the safety of the blood transfusion process. (2008) (9)
Final Technical Report SERC-2009-TR004 Evaluation of Systems Engineering Methods, Processes and Tools on Department of Defense and Intelligence Community Programs (2009) (9)
AN ANALYTIC WEB TO SUPPORT THE ANALYSIS AND SYNTHESIS OF ECOLOGICAL DATA (2004) (8)
A comparative evaluation of object definition techniques for large prototype systems (1989) (8)
Process-based derivation of requirements for medical devices (2010) (7)
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures (2018) (7)
Cognitive support during high-consequence episodes of care in cardiovascular surgery (2017) (7)
The impact project (panel session): determining the impact of software engineering research upon practice (2000) (7)
Proceedings of the 1997 symposium on Software reusability (1997) (7)
Heuristic-based model refinement for FLAVERS (2004) (6)
Process Driven Guidance for Complex Surgical Procedures (2018) (6)
Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems (2000) (6)
Veri � cation of Communication Protocols Using Data Flow Analysis � (1996) (6)
Using Process Definitions to Facilitate the Specification of Requirements (2006) (6)
The Grad Cohort Workshop: Evaluating an Intervention to Retain Women Graduate Students in Computing (2017) (5)
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes (2017) (5)
The Implications of Program Dependences for Software Testing, Debugging, (1989) (5)
The impact project: determining the impact of software engineering research upon practice (panel session) (2000) (5)
Data Flow Analysis Frameworks for Concurrent Programs (1995) (5)
Online Deviation Detection for Medical Processes (2014) (5)
Testing: Achievements and Frustrations (1978) (5)
Considerations for online deviation detection in medical processes (2013) (5)
Architecting Dynamic Systems Using Containment Units (2001) (5)
Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review. (2017) (5)
Considering the Exceptional : Incorporating Exceptions into Property Specifications (2008) (4)
Property Inference from Program Executions ∗ (2006) (4)
Re-examining the requirements for verification of patient identifiers during medication administration: No wonder it is error-prone (2013) (4)
Modeling Faults to Improve Election Process Robustness (2010) (4)
Plug-and-Play Architectural Design and Verification (2008) (3)
Dispute prevention and dispute resolution in networked health information technology (2009) (3)
Managing space for finite-state verification (2006) (3)
Studying rigorously defined health care processes using a formal process modeling language, clinical simulation, observation, and eye tracking (2009) (3)
Feedback-directed development of complex software systems (1984) (3)
Object Management Support for Software Development Environments (1987) (3)
The Very Large (2020) (3)
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report (2009) (3)
Process-Model-Driven Guidance to Reduce Surgical Procedure Errors: An Expert Opinion. (2019) (3)
Using process definitions to drive user interactions with digital government systems (2007) (3)
Dissecting Cardiac Surgery (2019) (3)
Process Modelling of Aortic Cannulation in Cardiac Surgery : Toward a Smart Checklist to Mitigate the Risk of Stroke (2014) (3)
FLAVER: A Finite State Verification Technique for Software Systems TITLE2: (2001) (3)
Task Interaction Graph: An Intermediate Representation for Concurrency (1988) (3)
Engineering Medical Processes to Improve Their Safety An Experience Report (2007) (3)
Three techniques supporting the developing of large prototype systems (1988) (3)
Dynamic Inverted Indexesfor aDistributed Full-Text Retrieval (1995) (3)
Comparing Implementation Strategies for Composite Data Flow Analysis Problems (1997) (2)
Applying Software Engineering Technology to Support the Clear and Precise Specification of Scientific Processes (2)
Computational Predictors in Online Social Deliberations (2012) (2)
A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'" (1984) (2)
Compile-Time Analysis of Data List-Format List Correspondences (2015) (2)
Software environment research (1981) (2)
Improving Diversity in Computing Research: An Overview of CRA-W Activities (2018) (2)
Modal abstraction view of requirements for medical devices used in healthcare processes (2013) (2)
act Petri Net Represe lications for Ana (1996) (2)
Little-JIL (2000) (2)
A Framework for Event-Based Software Integration TITLE2: (1996) (2)
How do we improve software quality and how do we show that it matters? (1996) (2)
Supporting negotiation and dispute resolution with computing and communication technologies (2010) (2)
Experimental Design for Comparing Static Concurrency Analysis Techniques (2004) (2)
Automating and evaluating assume-guarantee reasoning (2007) (2)
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010, Cape Town, South Africa, May 3-4, 2010 (2010) (1)
FLAVERS (2000) (1)
Chemotherapy ordering and delivery: Rigorously defining and analyzing a complex process employing software engineering techniques (2008) (1)
STORM 2 : Process-Guided Online Dispute Resolution (2010) (1)
Verifying Properties of Process Definitions TITLE2 (1999) (1)
Frameworks for Reasoning about Agent Based Systems (2000) (1)
Insider Threat Identiﬁcation by Process Analysis (2014) (1)
A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes (2010) (1)
A System to Generate Test Data and Symbolically Programs ; CU-CS-060-75 (1975) (1)
Toward Support for Environment Prototyping (1987) (1)
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies (2020) (1)
Generating Natural-language Process Descriptions from Formal Process Definitions (2011) (1)
Verification support for plug-and-play architectural design (2006) (1)
Computing: report leaps geographical barriers but stumbles over gender (2006) (1)
A Data Base System Designed for Flexibility and Usability from FORTRAN ; CU-CS-072-75 (1975) (1)
Data Provenance and Reliability in Sensor Networks (2007) (1)
Medical Process Modeling: a Case Study Modeling Adult Outpatient Chemotherapy Using LittleJil (2006) (1)
Applying Sttic Analysis to Software Architectures TITLE2 (1997) (1)
A Comprehensive Framework for Using Iterative Analysis to Improve Human-Intensive Process Security: An Election Example (2017) (1)
Forecast for reproducible data: partly cloudy. (2009) (1)
A Compact Petri Net Representation for Ada Tasking Programs (1994) (1)
Directions for U . S . Research and Development Efforts on Software Testing and Analysis (2004) (1)
Object management support for the construction of complex applications (1996) (1)
Session details: Code analysis (2007) (0)
An Adaptable Generation Approach to Agenda Management TITLE2 (1997) (0)
New functionality for programming languages (1996) (0)
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm (2011) (0)
Impact of barcode design on the medication administration process (2014) (0)
Web-based Smart Checklists for Guiding Performers of Safety-Critical Human-Intensive Processes (2017) (0)
Deviation Detection for Medical Processes (2016) (0)
Improving the Safety of Blood Transfusions Using Formal Process Definitions (2011) (0)
The Arcadia Environment Architecture (1987) (0)
Arcadia: A Software Development Environment Research Projec!_ (2014) (0)
Support for Advanced Software Engineering Environment (2002) (0)
Ada language considerations for concurrency analysis (1989) (0)
SICSOFT (Paper Session) (1976) (0)
Data flow analysis for verification of application-specific properties of concurrent software (1999) (0)
Insider Detection by Process Analysis (2014) (0)
A Coding Framework for Usability Evaluation of Digital Health Technologies (2022) (0)
Facilitating process prototyping by controlling the impact of change (1988) (0)
Verlticatlon of Concurrent Software with FLAVERS (1997) (0)
Next Generation Software Environment: Principles, Problems, and Research (1987) (0)
Gaining Confidence in Distributed Systems TITLE2 (1997) (0)
Lifecycle Environments : A Retrospective View of the Contributions of Leon J . Osterweil (2011) (0)
Agenda management systems: supporting communication of heterogeneous distributed agents (2000) (0)
Using Process Definition and Analysis Techniques to Reduce Errors and Improve Efficiency in the Delivery of Healthcare (2013) (0)
Plug-and-Play Architectural Design and Design-time Verification (2008) (0)
Notice : This Material may be protected by Copyright law ( Title 17 U . S . C . ) Next Generation Software Environments : Principles , Problems , and Research Directions (2014) (0)
Improving Process Robustness by Identifying Vulnerabilities using Fault Tree Analysis (2015) (0)
Development of a Program Testing System. (1981) (0)
FLAVERS : A finite state verification approach applicable to software systems (2008) (0)
A FORTRAN System for Flexible Creation and Accessing of Data Bases ; CU-CS-052-74 (1974) (0)
AdaPIC Toolse: Supporting Interface (1986) (0)
Improving Architectural Description Languages to Support Analysis Better (2004) (0)
Software environment research: the next five years (1981) (0)
Ada Symbolic Testing Techniques. (1986) (0)
Using process modeling and analysis techniques to reduce errors in healthcare (2013) (0)
Report from the Panel on Software Quality: Strategic Directions, 14-15 June 1996 (2007) (0)
Getting the Details Right (2008) (0)
Finite state verification: An emerging technology for validating software systems (abstract only) (2000) (0)
Supporting Communication of Heterogeneous Distributed Agents with Agenda Management Systems TITLE2 (2000) (0)
Understanding and improving chemotherapy ordering and delivery using process elicitation and validation. (2012) (0)
Generating Natural-language Process Descriptions from Formal Process Models (2012) (0)
2nd International Workshop on Software Engineering in Health Care (SEHC 2010) (2010) (0)
Finite state verification (abstract only): An emerging technology for validating software systems (2000) (0)
Rience with Process Modeling in the Marvel Software Development Environment (2007) (0)

This paper list is powered by the following services:

Other Resources About Lori A. Clarke

en.wikipedia.org

What Schools Are Affiliated With Lori A. Clarke?

Lori A. Clarke is affiliated with the following schools: