


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


default search action
Lori 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
- [j31]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
- [j30]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, 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: 40-47 - 2010
- [j29]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]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: 73-83 - 2008
- [j28]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) - [j27]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
- [j26]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
- [j25]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) - [j24]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
- [j23]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
- [j22]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
- [j21]Leon J. Osterweil, Lori A. Clarke:
FLAVERS. ACM SIGSOFT Softw. Eng. Notes 25(1): 101-102 (2000) - [j20]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
- [j19]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
- [j18]Lori A. Clarke, Peri L. Tarr:
New Functionality for Programming Languages. ACM Comput. Surv. 28(4es): 193 (1996) - [j17]Lori A. Clarke:
How Do We Improve Software Quality and How Do We Show that it Matters? ACM Comput. Surv. 28(4es): 203 (1996) - [j16]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) - [j15]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
- [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]