Lori A. Clarke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
14
Active years
1978–2022
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | HCI | A Coding Framework for Usability Evaluation of Digital Health Technologies. | 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 |
| 2020 | CogSIMA | Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. | Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati |
| 2018 | AMIA | Process Driven Guidance for Complex Surgical Procedures. | George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati |
| 2018 | CogSIMA | Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. | 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 |
| 2018 | ICSE | Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. | George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati |
| 2018 | ICSE | Improving Diversity in Computing Research: An Overview of CRA-W Activities. | Lori A. Clarke, Lori L. Pollock, Jane Stout, Carla Ellis, Tracy Camp, Betsy Bizot, Kathryn S. McKinley |
| 2018 | MICCAI | Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. | 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 |
| 2017 | CogSIMA | Cognitive support during high-consequence episodes of care in cardiovascular surgery. | Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov |
| 2016 | ICSE | Smart checklists to improve healthcare outcomes. | Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
| 2014 | AMIA | Online Deviation Detection for Medical Processes. | Stefan C. Christov, George S. Avrunin, Lori A. Clarke |
| 2014 | AMIA | Impact of barcode design on the medication administration process. | Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Henneman |
| 2014 | SP | 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 |
| 2013 | FMCAD | Using process modeling and analysis techniques to reduce errors in healthcare. | Lori A. Clarke |
| 2013 | ICSE | Considerations for online deviation detection in medical processes. | Stefan C. Christov, George S. Avrunin, Lori A. Clarke |
| 2013 | ICSE | Modal abstraction view of requirements for medical devices used in healthcare processes. | Heather M. Conboy, George S. Avrunin, Lori A. Clarke |
| 2012 | DSN | Smart checklists for human-intensive medical systems. | George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch |
| 2012 | ICWSM | Computational Predictors in Online Social Deliberations. | Beverly Park Woolf, Thomas J. Murray, Xiaoxi Xu, Leon J. Osterweil, Lori A. Clarke, Leah Wing, Ethan Katsh |
| 2011 | ICSE | On effective testing of health care simulation software. | Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil |
| 2010 | ICSE | A benchmark for evaluating software engineering techniques for improving medical processes. | Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman |
| 2010 | ICSE | 2nd International Workshop on Software Engineering in Health Care (SEHC 2010). | Lori A. Clarke, Jens H. Weber-Jahnke |
| 2010 | SEKE | 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 |
| 2009 | BPM | An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. | Leon J. Osterweil, Lori A. Clarke, George S. Avrunin |
| 2009 | ICSE | Simulating patient flow through an Emergency Department using process-driven discrete event simulation. | M. S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman |
| 2008 | ICSE | Analyzing medical processes. | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman |
| 2008 | ICSE | Using software engineering technology to improve the quality of medical processes. | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil |
| 2007 | ICSE | Plug-and-Play Architectural Design and Verification. | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2007 | MODELS | Rigorously Defining and Analyzing Medical Processes: An Experience Report. | Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens |
| 2006 | ICSE | Managing space for finite-state verification. | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Using model checking with symbolic execution to verify parallel numerical programs. | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
| 2006 | ISSTA | Verification support for plug-and-play architectural design. | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
| 2004 | ICSE | Heuristic-Based Model Refinement for FLAVERS. | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
| 2002 | ICSE | PROPEL: an approach supporting property elucidation. | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
| 2001 | ICSE | 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 |
| 2000 | ISSTA | Finite state verification: An emerging technology for validating software systems (abstract only). | Lori A. Clarke |
| 2000 | ISSTA | Verifying properties of process definitions. | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
| 1999 | ICSE | Data Flow Analysis for Checking Properties of Concurrent Java Programs. | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
| 1998 | ICSE | An Adaptable Generation Approach to Agenda Management. | Eric K. McCall, Lori A. Clarke, Leon J. Osterweil |
| 1998 | ICSE | Consistency Management for Complex Applications. | Peri L. Tarr, Lori A. Clarke |
| 1997 | ICSE | Verification of Concurrent Software with FLAVERS. | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer |
| 1996 | ICSE | A Flexible Architecture for Building Data Flow Analyzers. | Matthew B. Dwyer, Lori A. Clarke |
| 1996 | ISSTA | Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. | A. T. Chamillard, Lori A. Clarke |
| 1995 | ICSE | A Compact Petri Net Representation for Concurrent Programs. | Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies |
| 1993 | ISSTA | An Information Flow Model of Fault Detection. | Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke |
| 1991 | ISSTA | Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. | Douglas L. Long, Lori A. Clarke |
| 1989 | ICSE | Task Interaction Graphs for Concurrency Analysis. | Douglas L. Long, Lori A. Clarke |
| 1989 | ISSTA | The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. | Andy Podgurski, Lori A. Clarke |
| 1985 | ICSE | A Comparison of Data Flow Path Selection Criteria. | Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil |
| 1985 | ICSE | Interface Control and Incremental Development in the PIC Environment. | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
| 1981 | ICSE | A Partition Analysis Method to Increase Program Reliability. | Debra J. Richardson, Lori A. Clarke |
| 1978 | COMPSAC | Testing: Achievements and Frustrations. | Lori A. Clarke |