default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLori A. Clarke
Person information
- affiliation: University of Massachusetts Amherst, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c96]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]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
2010 – 2019
- 2018
- [c94]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]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]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 - [c91]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: 41-44 - [c90]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]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]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]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]Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Online Deviation Detection for Medical Processes. AMIA 2014 - [c86]Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Henneman:
Impact of barcode design on the medication administration process. AMIA 2014 - [c85]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
- [c84]Lori A. Clarke:
Using process modeling and analysis techniques to reduce errors in healthcare. FMCAD 2013: 14 - [c83]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]Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Considerations for online deviation detection in medical processes. SEHC@ICSE 2013: 50-56 - 2012
- [c81]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 - [c80]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 - [c79]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 - 2011
- [j31]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): 475-485 (2011) - [c78]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:
On effective testing of health care simulation software. SEHC@ICSE 2011: 40-47 - 2010
- [j30]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): 189-195 (2010) - [c77]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 - [c76]Lori A. Clarke, Jens H. Weber-Jahnke:
2nd International Workshop on Software Engineering in Health Care (SEHC 2010). ICSE (2) 2010: 453-454 - [c75]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]Heather M. Conboy, George S. Avrunin, Lori A. Clarke:
Process-based derivation of requirements for medical devices. IHI 2010: 656-665 - [c73]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]Lori A. Clarke, Leon J. Osterweil, George S. Avrunin:
Supporting human-intensive systems. FoSER 2010: 87-92 - [c71]Leon J. Osterweil, Lori A. Clarke:
Supporting negotiation and dispute resolution with computing and communication technologies. FoSER 2010: 269-272 - [c70]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 - [e4]Lori A. Clarke, Jens H. Weber-Jahnke:
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010, Cape Town, South Africa, May 3-4, 2010. ACM 2010, ISBN 978-1-60558-973-2 [contents]
2000 – 2009
- 2009
- [c69]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 - [c68]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: 240-243 - [c67]M. 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: 73-83 - 2008
- [j29]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]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) - [c66]Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil:
Specifying and verifying requirements for election processes. DG.O 2008: 63-72 - [c65]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]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 - [c63]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: 319-329 - 2007
- [j27]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): 237-247 (2007) - [c62]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: 310-311 - [c61]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. WADS 2007: 273-297 - [c60]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 - [c59]Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil:
Representing Process Variation with a Process Family. ICSP 2007: 109-120 - [c58]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 - [c57]Lori A. Clarke:
Getting the Details Right. Monterey Workshop 2007: 10-12 - 2006
- [j26]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) - [j25]Lori A. Clarke, David S. Rosenblum:
A historical perspective on runtime assertion checking in software development. ACM SIGSOFT Softw. Eng. Notes 31(3): 25-37 (2006) - [c56]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Architectural Building Blocks for Plug-and-Play System Design. CBSE 2006: 98-113 - [c55]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: 356-357 - [c54]Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Managing space for finite-state verification. ICSE 2006: 152-161 - [c53]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 - [c52]Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil:
Definition and Analysis of Election Processes. SPW/ProSim 2006: 178-185 - [c51]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Verification support for plug-and-play architectural design. ROSATEA 2006: 49-50 - [c50]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]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]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]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 - [c46]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: 403-415 - 2004
- [j24]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): 359-430 (2004) - [c45]Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644 - [c44]Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue:
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210 - 2003
- [c43]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 - [e3]Lori A. Clarke, Laurie Dillon, Walter F. Tichy:
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. IEEE Computer Society 2003, ISBN 0-7695-1877-X [contents] - 2002
- [j23]Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
FLAVERS: A finite state verification technique for software systems. IBM Syst. J. 41(1): 140-165 (2002) - [c42]Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21 - 2001
- [c41]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: 37-46 - [c40]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: 33-43 - 2000
- [j22]Leon J. Osterweil, Lori A. Clarke:
FLAVERS. ACM SIGSOFT Softw. Eng. Notes 25(1): 101-102 (2000) - [j21]Leon J. Osterweil, Lori A. Clarke:
Little-JIL. ACM SIGSOFT Softw. Eng. Notes 25(1): 104 (2000) - [c39]Leon J. Osterweil, Lori A. Clarke:
Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71 - [c38]Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
Verifying properties of process definitions. ISSTA 2000: 96-101 - [c37]Lori A. Clarke:
Finite state verification: An emerging technology for validating software systems (abstract only). ISSTA 2000: 146 - [c36]Leon J. Osterweil, Lori A. Clarke:
Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS 2000: 27-39 - [c35]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: 108-109 - [c34]Gleb Naumovich, Lori A. Clarke:
Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE 2000: 159-168
1990 – 1999
- 1999
- [j20]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): 57-65 (1999) - [c33]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]Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410 - [c31]Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh:
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE 1999: 57-65 - 1998
- [c30]Peri L. Tarr, Lori A. Clarke:
Consistency Management for Complex Applications. ICSE 1998: 230-239 - [c29]Eric K. McCall, Lori A. Clarke, Leon J. Osterweil:
An Adaptable Generation Approach to Agenda Management. ICSE 1998: 282-291 - [c28]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58 - 1997
- [c27]Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93 - [c26]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595 - [e2]Lori A. Clarke, Guillermo Arango, Mehdi T. Harandi:
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, SSR 1997, May 17-19, 1997, Boston, MA, USA. ACM 1997, ISBN 0-89791-945-9 [contents] - 1996
- [j19]Lori A. Clarke, Peri L. Tarr:
New Functionality for Programming Languages. ACM Comput. Surv. 28(4es): 193 (1996) - [j18]Lori A. Clarke:
How Do We Improve Software Quality and How Do We Show that it Matters? ACM Comput. Surv. 28(4es): 203 (1996) - [j17]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): 378-421 (1996) - [j16]Matthew B. Dwyer, Lori A. Clarke:
A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng. 22(11): 794-811 (1996) - [c25]Matthew B. Dwyer, Lori A. Clarke:
A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564 - [c24]A. T. Chamillard, Lori A. Clarke:
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. ISSTA 1996: 24-38 - [c23]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105 - 1995
- [c22]Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157 - 1994
- [c21]Matthew B. Dwyer, Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75 - 1993
- [j15]Lori A. Clarke:
Letter from the Incoming Chairman. ACM SIGSOFT Softw. Eng. Notes 18(3): A:1 (1993) - [c20]Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke:
An Information Flow Model of Fault Detection. ISSTA 1993: 182-192 - [c19]Peri L. Tarr, Lori A. Clarke:
PLEIADES: An Object Management System for Software Engineering Environments. SIGSOFT FSE 1993: 56-70 - 1992
- [j14]Leon J. Osterweil, Lori A. Clarke:
A Proposed Testing and Analysis Research Initiative. IEEE Softw. 9(5): 89-96 (1992) - [e1]Tony Montgomery, Lori A. Clarke, Carlo Ghezzi:
Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ACM Press 1992, ISBN 0-89791-504-6 [contents] - 1991
- [c18]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: 21-35 - 1990
- [j13]Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf:
A Comparative Evaluation of Object Definition Techniques. ACM Trans. Program. Lang. Syst. 12(4): 670-699 (1990) - [j12]Andy Podgurski, Lori A. Clarke:
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. IEEE Trans. Software Eng. 16(9): 965-979 (1990) - [c17]Peri L. Tarr, Jack C. Wileden, Lori A. Clarke:
Extending and Limiting PGraphite-style Persistence. POS 1990: 74-86
1980 – 1989
- 1989
- [j11]Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. IEEE Trans. Software Eng. 15(3): 250-263 (1989) - [j10]Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil:
A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Trans. Software Eng. 15(11): 1318-1332 (1989) - [c16]Douglas L. Long, Lori A. Clarke:
Task Interaction Graphs for Concurrency Analysis. ICSE 1989: 44-52 - [c15]Andy Podgurski, Lori A. Clarke:
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. Symposium on Testing, Analysis, and Verification 1989: 168-178 - [c14]Douglas L. Long, Lori A. Clarke, Joseph Fialli:
Ada language considerations for concurrency analysis. WADAS 1989: 75-80 - 1988
- [j9]Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
A Model of Visibility Control. IEEE Trans. Software Eng. 14(4): 512-520 (1988) - [c13]Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf:
Facilitating process prototyping by controlling the impact of change. ISPW 1988: 163-166 - [c12]Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young:
Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) 1988: 1-13 - [c11]Lori A. Clarke, Debra J. Richardson, Steven J. Zeil:
TEAM: A Support Environment for Testing, Evaluation, and Analysis. Software Development Environments (SDE) 1988: 153-162 - 1987
- [c10]Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf:
Object Management Support for Software Development Environments. POS 1987: 363-381 - 1985
- [j8]Lori A. Clarke, Debra J. Richardson:
Applications of symbolic evaluation. J. Syst. Softw. 5(1): 15-35 (1985) - [j7]Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
Ada-Based support for programming-in-the-Large. IEEE Softw. 2(2): 58-71 (1985) - [j6]Debra J. Richardson, Lori A. Clarke:
Partition Analysis: A Method Combining Testing and Verification. IEEE Trans. Software Eng. 11(12): 1477-1490 (1985) - [c9]Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
Interface Control and Incremental Development in the PIC Environment. ICSE 1985: 75-82 - [c8]Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil:
A Comparison of Data Flow Path Selection Criteria. ICSE 1985: 244-251 - 1984
- [j5]Lori A. Clarke, Debra J. Richardson:
A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'". ACM SIGSOFT Softw. Eng. Notes 9(1): 24-28 (1984) - [c7]Jack C. Wileden, Lori A. Clarke:
Feedback-directed development of complex software systems. ISPW 1984: 89-92 - 1983
- [c6]Lori A. Clarke, Debra J. Richardson:
The application of error-sensitive testing strategies to debugging. SIGSOFT 1983: 45-52 - 1982
- [j4]Lori A. Clarke, Johnette Hassell, Debra J. Richardson:
A Close Look at Domain Testing. IEEE Trans. Software Eng. 8(4): 380-390 (1982) - 1981
- [j3]Leon J. Osterweil, Lori A. Clarke, Donald Good, Raymond C. Houghton Jr., Thomas Love, Patricia Santoni, Daniel Teichroew, Anthony I. Wasserman:
Software environment research: the next five years. ACM SIGSOFT Softw. Eng. Notes 6(4): 15-25 (1981) - [c5]Debra J. Richardson, Lori A. Clarke:
A Partition Analysis Method to Increase Program Reliability. ICSE 1981: 244-253 - 1980
- [c4]Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf:
Nesting in Ada programs is for the birds. SIGPLAN 1980: 139-145
1970 – 1979
- 1979
- [j2]Paul W. Abrahams, Lori A. Clarke:
Compile-Time Analysis of Data List-Format List Correspondences. IEEE Trans. Software Eng. 5(6): 612-617 (1979) - 1978
- [c3]Lori A. Clarke:
Testing: Achievements and Frustrations. COMPSAC 1978: 310-314 - 1976
- [j1]Lori A. Clarke:
A System to Generate Test Data and Symbolically Execute Programs. IEEE Trans. Software Eng. 2(3): 215-222 (1976) - [c2]Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley:
SICSOFT (Paper Session). ACM Annual Conference 1976: 478 - [c1]Lori A. Clarke:
A program testing system. ACM Annual Conference 1976: 488-491
Coauthor Index
[c96] [c95] [c94] [c93] [c92] [c90] [j32] [c89] [c88] [c85] [c81] [c80] [c79] [c78] [j30] [c77] [c75] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [j27] [c62] [c60] [c59] [c58] [j26] [c55] [c53] [c52] [c47] [c46] [j23] [c42] [c41] [c40] [j22] [j21] [c39] [c38] [c36] [c35] [c29] [c28] [c27] [c26] [c23] [j14] [c12] [j3] [c2]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
