Lori A. Clarke

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 10

Top Venues

AMIA

CogSIMA

SEHC@ICSE

SEHS@ICSE

Publications

Mahdi Ebnali, Lauren R. Kennedy-Metz, Heather M. Conboy, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, Christian Miccile, Maria Arshanskiy, Annette Phillips, Marco A. Zenati, Roger D. Dias
A Coding Framework for Usability Evaluation of Digital Health Technologies. HCI (1) (2022)
Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. CogSIMA (2020)
Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, David Arney, Julian M. Goldman, Giuseppe Riccardi, George S. Avrunin, Steven J. Yule, Marco A. Zenati
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. OR 2.0/CARE/CLIP/ISIC@MICCAI (2018)
George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati
Process Driven Guidance for Complex Surgical Procedures. AMIA (2018)
Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, David Arney, Julian M. Goldman, Giuseppe Riccardi, Steven J. Yule, Marco A. Zenati
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. CogSIMA (2018)
George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. SEHS@ICSE (2018)
Lori A. Clarke, Lori L. Pollock, Jane Stout, Carla Ellis, Tracy Camp, Betsy Bizot, Kathryn S. McKinley
Improving Diversity in Computing Research: An Overview of CRA-W Activities. GE@ICSE (2018)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov
Cognitive support during high-consequence episodes of care in cardiovascular surgery. CogSIMA (2017)
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. 20 (2) (2017)
Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Smart checklists to improve healthcare outcomes. SEHS@ICSE (2016)
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
Online Deviation Detection for Medical Processes. AMIA (2014)
Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Henneman
Impact of barcode design on the medication administration process. AMIA (2014)
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops (2014)
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
Considerations for online deviation detection in medical processes. SEHC@ICSE (2013)
Lori A. Clarke
Using process modeling and analysis techniques to reduce errors in healthcare. FMCAD (2013)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
Modal abstraction view of requirements for medical devices used in healthcare processes. SEHC@ICSE (2013)
Beverly Park Woolf, Thomas J. Murray, Xiaoxi Xu, Leon J. Osterweil, Lori A. Clarke, Leah Wing, Ethan Katsh
Computational Predictors in Online Social Deliberations. ICWSM (2012)
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch
Smart checklists for human-intensive medical systems. DSN Workshops (2012)
Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. EVT/WOTE (2012)
Lori A. Clarke
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm. Int. J. Softw. Informatics 5 (3) (2011)
Christian Murphy, Mohammad S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
On effective testing of health care simulation software. SEHC@ICSE (2011)
Leon J. Osterweil, Lori A. Clarke
Supporting negotiation and dispute resolution with computing and communication technologies. FoSER (2010)
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman
A benchmark for evaluating software engineering techniques for improving medical processes. SEHC@ICSE (2010)
Lori A. Clarke, Jens H. Weber-Jahnke
2nd International Workshop on Software Engineering in Health Care (SEHC 2010). ICSE (2) (2010)
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. SEKE (2010)
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
Process-based derivation of requirements for medical devices. IHI (2010)
Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
Modeling and Analyzing Faults to Improve Election Process Robustness. EVT/WOTE (2010)
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. IHI (2010)
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. IEEE Trans Autom. Sci. Eng. 7 (1) (2010)
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin
Supporting human-intensive systems. FoSER (2010)
Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman
Simulating patient flow through an Emergency Department using process-driven discrete event simulation. SEHC@ICSE (2009)
Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey
Dispute prevention and dispute resolution in networked health information technology. D.GO (2009)
Leon J. Osterweil, Lori A. Clarke, George S. Avrunin
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. Business Process Management Workshops (2009)
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil
Specifying and verifying requirements for election processes. DG.O (2008)
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
Analyzing medical processes. ICSE (2008)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil
Using software engineering technology to improve the quality of medical processes. ICSE Companion (2008)
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley
Experience in using a process language to define scientific workflow and generate dataset provenance. SIGSOFT FSE (2008)
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise
Using process definitions to drive user interactions with digital government systems. DG.O (2007)
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil
Representing Process Variation with a Process Family. ICSP (2007)
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens
Rigorously Defining and Analyzing Medical Processes: An Experience Report. MoDELS (Workshops) (2007)
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman
Engineering Medical Processes to Improve Their Safety. Situational Method Engineering (2007)
Lori A. Clarke
Getting the Details Right. Monterey Workshop (2007)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Plug-and-Play Architectural Design and Verification. WADS (2007)
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster
Ensuring reliable datasets for environmental models and forecasts. Ecol. Informatics 2 (3) (2007)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA (2006)
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim (2006)
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
User guidance for creating precise and accessible property specifications. SIGSOFT FSE (2006)
Lori A. Clarke, David S. Rosenblum
A historical perspective on runtime assertion checking in software development. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil
Complex medical processes as context for embedded systems. SIGBED Rev. 3 (4) (2006)
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. ISSTA (2006)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Verification support for plug-and-play architectural design. ROSATEA (2006)
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey
A process-driven tool to support online dispute resolution. DG.O (2006)
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
Architectural Building Blocks for Plug-and-Play System Design. CBSE (2006)
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil
Definition and Analysis of Election Processes. SPW/ProSim (2006)
Jianbin Tan, George S. Avrunin, Lori A. Clarke
Managing space for finite-state verification. ICSE (2006)
Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster
Process Technology to Facilitate the Conduct of Science. ISPW (2005)
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. ISPW (2005)
Jianbin Tan, George S. Avrunin, Lori A. Clarke
Heuristic-Based Model Refinement for FLAVERS. ICSE (2004)
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE (2004)
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13 (4) (2004)
Lee Osterwil, Norman K. Sondheimer, Anthony Butterfield, Lori A. Clarke, Robert Marx, Matthew P. Billmers, Joel Sieh, Bruce Southard, David Su
Trust Resource Management in Digital Government Through Process Modeling. DG.O (2003)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
FLAVERS: A finite state verification technique for software systems. IBM Syst. J. 41 (1) (2002)
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
PROPEL: an approach supporting property elucidation. ICSE (2002)
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
An architecture for flexible, evolvable process-driven user-guidance environments. ESEC / SIGSOFT FSE (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. ICSE (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
Verifying properties of process definitions. ISSTA (2000)
Lori A. Clarke
Finite state verification: An emerging technology for validating software systems (abstract only). ISSTA (2000)
Leon J. Osterweil, Lori A. Clarke
Little-JIL. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Leon J. Osterweil, Lori A. Clarke
Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems (2000)
Gleb Naumovich, Lori A. Clarke
Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE (2000)
Leon J. Osterweil, Lori A. Clarke
FLAVERS. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE (2000)
Leon J. Osterweil, Lori A. Clarke
Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS (2000)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using partial order techniques to improve performance of data flow analysis based verification. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE (1999)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE (1999)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Information for Concurrent Java Programs. ESEC / SIGSOFT FSE (1999)
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
An Adaptable Generation Approach to Agenda Management. ICSE (1998)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE (1998)
Peri L. Tarr, Lori A. Clarke
Consistency Management for Complex Applications. ICSE (1998)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
Verification of Concurrent Software with FLAVERS. ICSE (1997)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE (1997)
Lori A. Clarke, Peri L. Tarr
New Functionality for Programming Languages. ACM Comput. Surv. 28 (4es) (1996)
Matthew B. Dwyer, Lori A. Clarke
A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. 22 (11) (1996)
Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise
A Framework for Event-Based Software Integration. ACM Trans. Softw. Eng. Methodol. 5 (4) (1996)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE (1996)
Lori A. Clarke
How Do We Improve Software Quality and How Do We Show that it Matters? ACM Comput. Surv. 28 (4es) (1996)
Matthew B. Dwyer, Lori A. Clarke
A Flexible Architecture for Building Data Flow Analyzers. ICSE (1996)
A. T. Chamillard, Lori A. Clarke
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. ISSTA (1996)
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
A Compact Petri Net Representation for Concurrent Programs. ICSE (1995)
Matthew B. Dwyer, Lori A. Clarke
Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE (1994)
Peri L. Tarr, Lori A. Clarke
PLEIADES: An Object Management System for Software Engineering Environments. SIGSOFT FSE (1993)
Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke
An Information Flow Model of Fault Detection. ISSTA (1993)
Lori A. Clarke
Letter from the Incoming Chairman. ACM SIGSOFT Softw. Eng. Notes 18 (3) (1993)
Leon J. Osterweil, Lori A. Clarke
A Proposed Testing and Analysis Research Initiative. IEEE Softw. 9 (5) (1992)
Douglas L. Long, Lori A. Clarke
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. Symposium on Testing, Analysis, and Verification (1991)
Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
A Comparative Evaluation of Object Definition Techniques. ACM Trans. Program. Lang. Syst. 12 (4) (1990)
Peri L. Tarr, Jack C. Wileden, Lori A. Clarke
Extending and Limiting PGraphite-style Persistence. POS (1990)

Lori A. Clarke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lori A. Clarke