Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lori A. Clarke

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with George S. Avrunin

> Home > Persons > Lori A. Clarke

Publications

2022
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/EbnaliKCCOAMAPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/EbnaliKCCOAMAPZ22
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: 185-196
2020
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/cogsima/ConboyKACODZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsima/ConboyKACODZ20
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: 205-210
2018
[c94]
- view
  - electronic edition @ amia.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/amia/AvruninCCCOZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amia/AvruninCCCOZ18
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
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/cogsima/DiasCGCOAAGRYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsima/DiasCGCOAAGRYZ18
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: 77-82
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AvruninCCODYGZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AvruninCCODYGZ18
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: 2-9
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/miccai/DiasCGCOAGRAYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/miccai/DiasCGCOAGRAYZ18
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: 62-68
2017
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/OsterweilBCPSAC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/OsterweilBCPSAC17
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): 5:1-5:31 (2017)
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/cogsima/ConboyACOGYZC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsima/ConboyACOGYZC17
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: 1-3
2016
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChristovCFACO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChristovCFACO16
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: 54-57
2014
[c87]
- view
  - electronic edition @ amia.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/amia/ChristovAC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amia/ChristovAC14
Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Online Deviation Detection for Medical Processes. AMIA 2014
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BishopCPSACOP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BishopCPSACOP14
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: 251-264
2013
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ConboyAC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ConboyAC13
Heather M. Conboy, George S. Avrunin, Lori A. Clarke:
Modal abstraction view of requirements for medical devices used in healthcare processes. SEHC@ICSE 2013: 24-27
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChristovAC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChristovAC13
Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Considerations for online deviation detection in medical processes. SEHC@ICSE 2013: 50-56
2012
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/AvruninCOGR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/AvruninCOGR12
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: 1-6
[c79]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/PhanABCO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/PhanABCO12
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
2010
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChristovACOH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChristovACOH10
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: 50-56
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ihi/AvruninCOCCHHCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihi/AvruninCOCCHHCM10
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: 316-325
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ihi/ConboyAC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihi/ConboyAC10
Heather M. Conboy, George S. Avrunin, Lori A. Clarke:
Process-based derivation of requirements for medical devices. IHI 2010: 656-665
[c73]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/WangPACC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/WangPACC10
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: 765-770
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ClarkeOA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ClarkeOA10
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin:
Supporting human-intensive systems. FoSER 2010: 87-92
2009
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/OsterweilCA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/OsterweilCA09
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: 647-653
2008
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CobleighAC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CobleighAC08
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): 7:1-7:52 (2008)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/SiegelMAC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/SiegelMAC08
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): 10:1-10:34 (2008)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenAHCOH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenAHCOH08
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman:
Analyzing medical processes. ICSE 2008: 623-632
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClarkeAO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClarkeAO08
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil:
Using software engineering technology to improve the quality of medical processes. ICSE Companion 2008: 889-898
2007
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangAC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangAC07
Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. WADS 2007: 273-297
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip8-1/OsterweilACCCHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip8-1/OsterweilACCCHH07
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: 267-282
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ChristovCACOBCM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChristovCACOBCM07
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: 118-131
2006
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/AvruninCHO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/AvruninCHO06
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil:
Complex medical processes as context for embedded systems. SIGBED Rev. 3(4): 9-14 (2006)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/WangAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/WangAC06
Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Architectural Building Blocks for Plug-and-Play System Design. CBSE 2006: 98-113
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TanAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TanAC06
Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Managing space for finite-state verification. ICSE 2006: 152-161
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/ChenACO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/ChenACO06
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim 2006: 150-158
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WangAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WangAC06
Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Verification support for plug-and-play architectural design. ROSATEA 2006: 49-50
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CobleighAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CobleighAC06
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: 97-108
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SiegelMAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SiegelMAC06
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA 2006: 157-168
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CobleighAC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CobleighAC06
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke:
User guidance for creating precise and accessible property specifications. SIGSOFT FSE 2006: 208-218
2005
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/ClarkeCACCFHO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/ClarkeCACCFHO05
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: 347-359
2004
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TanAC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TanAC04
Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TanACZL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TanACZL04
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue:
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210
2002
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SmithACO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SmithACO02
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21
1999
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/NaumovichAC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/NaumovichAC99
Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. ESEC / SIGSOFT FSE 1999: 338-354
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NaumovichAC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NaumovichAC99
Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410
1997
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/NaumovichACO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/NaumovichACO98
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.