| 2008 |
|---|
| 79 | EE | Borislava I. Simidchieva,
Matthew Marzilli,
Lori A. Clarke,
Leon J. Osterweil:
Specifying and verifying requirements for election processes.
DG.O 2008: 63-72 |
| 78 | EE | Bin Chen,
George S. Avrunin,
Elizabeth A. Henneman,
Lori A. Clarke,
Leon J. Osterweil,
Philip L. Henneman:
Analyzing medical processes.
ICSE 2008: 623-632 |
| 77 | EE | 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 |
| 76 | EE | Leon J. Osterweil,
Lori A. Clarke,
Aaron M. Ellison,
Rodion M. Podorozhny,
Alexander E. Wise,
Emery Boose,
Julian L. Hadley:
Experience in using a process language to define scientific workflow and generate dataset provenance.
SIGSOFT FSE 2008: 319-329 |
| 75 | EE | 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) |
| 74 | EE | 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) |
| 2007 |
|---|
| 73 | EE | 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 |
| 72 | EE | Borislava I. Simidchieva,
Lori A. Clarke,
Leon J. Osterweil:
Representing Process Variation with a Process Family.
ICSP 2007: 109-120 |
| 71 | EE | 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 |
| 70 | EE | Lori A. Clarke:
Getting the Details Right.
Monterey Workshop 2007: 10-12 |
| 69 | EE | 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 |
| 68 | EE | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Plug-and-Play Architectural Design and Verification.
WADS 2007: 273-297 |
| 2006 |
|---|
| 67 | EE | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Architectural Building Blocks for Plug-and-Play System Design.
CBSE 2006: 98-113 |
| 66 | EE | 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 |
| 65 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Managing space for finite-state verification.
ICSE 2006: 152-161 |
| 64 | EE | 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 |
| 63 | EE | 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 |
| 62 | EE | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Verification support for plug-and-play architectural design.
ROSATEA 2006: 49-50 |
| 61 | EE | Rachel L. Cobleigh,
George S. Avrunin,
Lori A. Clarke:
User guidance for creating precise and accessible property specifications.
SIGSOFT FSE 2006: 208-218 |
| 60 | EE | 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 |
| 59 | EE | Mohammad S. Raunak,
Bin Chen,
Amr Elssamadisy,
Lori A. Clarke,
Leon J. Osterweil:
Definition and Analysis of Election Processes.
SPW/ProSim 2006: 178-185 |
| 58 | EE | Lori A. Clarke,
David S. Rosenblum:
A historical perspective on runtime assertion checking in software development.
ACM SIGSOFT Software Engineering Notes 31(3): 25-37 (2006) |
| 2005 |
|---|
| 57 | EE | 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 |
| 56 | EE | Leon J. Osterweil,
Alexander E. Wise,
Lori A. Clarke,
Aaron M. Ellison,
Julian L. Hadley,
Emery Boose,
David R. Foster:
Process Technology to Facilitate the Conduct of Science.
ISPW 2005: 403-415 |
| 2004 |
|---|
| 55 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS.
ICSE 2004: 635-644 |
| 54 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke,
Shlomo Zilberstein,
Stefan Leue:
Heuristic-guided counterexample search in FLAVERS.
SIGSOFT FSE 2004: 201-210 |
| 53 | EE | 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) |
| 2003 |
|---|
| 52 | EE | 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 |
| 2002 |
|---|
| 51 | EE | Rachel L. Smith,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
PROPEL: an approach supporting property elucidation.
ICSE 2002: 11-21 |
| 50 | EE | Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil:
FLAVERS: A finite state verification technique for software systems.
IBM Systems Journal 41(1): 140- (2002) |
| 2001 |
|---|
| 49 | EE | 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 |
| 48 | | 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 |
| 2000 |
|---|
| 47 | EE | Leon J. Osterweil,
Lori A. Clarke:
Frameworks for Reasoning about Agent Based Systems.
Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71 |
| 46 | EE | Lori A. Clarke:
Finite state verification: An emerging technology for validating software systems (abstract only).
ISSTA 2000: 146 |
| 45 | EE | Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil:
Verifying properties of process definitions.
ISSTA 2000: 96-101 |
| 44 | EE | Leon J. Osterweil,
Lori A. Clarke:
Continuous Self-Evaluation for the Self-Improvement of Software.
IWSAS 2000: 27-39 |
| 43 | EE | 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 |
| 42 | EE | Gleb Naumovich,
Lori A. Clarke:
Classifying properties: an alternative to the safety-liveness classification.
SIGSOFT FSE 2000: 159-168 |
| 1999 |
|---|
| 41 | EE | 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 |
| 40 | EE | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs.
ICSE 1999: 399-410 |
| 39 | EE | 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 |
|---|
| 38 | | Peri L. Tarr,
Lori A. Clarke:
Consistency Management for Complex Applications.
ICSE 1998: 230-239 |
| 37 | | Eric K. McCall,
Lori A. Clarke,
Leon J. Osterweil:
An Adaptable Generation Approach to Agenda Management.
ICSE 1998: 282-291 |
| 36 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil:
Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
PASTE 1998: 51-58 |
| 1997 |
|---|
| 35 | EE | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
Applying Static Analysis to Software Architectures.
ESEC / SIGSOFT FSE 1997: 77-93 |
| 34 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil,
Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS.
ICSE 1997: 594-595 |
| 1996 |
|---|
| 33 | EE | Matthew B. Dwyer,
Lori A. Clarke:
A Flexible Architecture for Building Data Flow Analyzers.
ICSE 1996: 554-564 |
| 32 | EE | A. T. Chamillard,
Lori A. Clarke:
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.
ISSTA 1996: 24-38 |
| 31 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis.
SIGSOFT FSE 1996: 93-105 |
| 30 | | Lori A. Clarke,
Peri L. Tarr:
New Functionality for Programming Languages.
ACM Comput. Surv. 28(4es): 193 (1996) |
| 29 | | Lori A. Clarke:
How Do We Improve Software Quality and How Do We Show that it Matters?
ACM Comput. Surv. 28(4es): 203 (1996) |
| 28 | EE | 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) |
| 27 | EE | 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) |
| 1995 |
|---|
| 26 | EE | Matthew B. Dwyer,
Lori A. Clarke,
Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs.
ICSE 1995: 147-157 |
| 1994 |
|---|
| 25 | EE | Matthew B. Dwyer,
Lori A. Clarke:
Data Flow Analysis for Verifying Properties of Concurrent Programs.
SIGSOFT FSE 1994: 62-75 |
| 1993 |
|---|
| 24 | EE | Margaret C. Thompson,
Debra J. Richardson,
Lori A. Clarke:
An Information Flow Model of Fault Detection.
ISSTA 1993: 182-192 |
| 23 | EE | Peri L. Tarr,
Lori A. Clarke:
PLEIADES: An Object Management System for Software Engineering Environments.
SIGSOFT FSE 1993: 56-70 |
| 1991 |
|---|
| 22 | EE | 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 |
|---|
| 21 | EE | Peri L. Tarr,
Jack C. Wileden,
Lori A. Clarke:
Extending and Limiting PGraphite-style Persistence.
POS 1990: 74-86 |
| 20 | EE | 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) |
| 19 | EE | 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) |
| 1989 |
|---|
| 18 | | Douglas L. Long,
Lori A. Clarke:
Task Interaction Graphs for Concurrency Analysis.
ICSE 1989: 44-52 |
| 17 | EE | 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 |
| 16 | EE | 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) |
| 15 | EE | 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) |
| 1988 |
|---|
| 14 | | Jack C. Wileden,
Lori A. Clarke,
Alexander L. Wolf:
Facilitating process prototyping by controlling the impact of change.
ISPW 1988: 163-166 |
| 13 | | 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 |
| 12 | | 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 |
| 11 | EE | Alexander L. Wolf,
Lori A. Clarke,
Jack C. Wileden:
A Model of Visibility Control.
IEEE Trans. Software Eng. 14(4): 512-520 (1988) |
| 1987 |
|---|
| 10 | EE | Lori A. Clarke,
Jack C. Wileden,
Alexander L. Wolf:
Object Management Support for Software Development Environments.
POS 1987: 363-381 |
| 1985 |
|---|
| 9 | | Lori A. Clarke,
Andy Podgurski,
Debra J. Richardson,
Steven J. Zeil:
A Comparison of Data Flow Path Selection Criteria.
ICSE 1985: 244-251 |
| 8 | | Alexander L. Wolf,
Lori A. Clarke,
Jack C. Wileden:
Interface Control and Incremental Development in the PIC Environment.
ICSE 1985: 75-82 |
| 7 | | Debra J. Richardson,
Lori A. Clarke:
Partition Analysis: A Method Combining Testing and Verification.
IEEE Trans. Software Eng. 11(12): 1477-1490 (1985) |
| 6 | EE | Lori A. Clarke,
Debra J. Richardson:
Applications of symbolic evaluation.
Journal of Systems and Software 5(1): 15-35 (1985) |
| 1984 |
|---|
| 5 | | Jack C. Wileden,
Lori A. Clarke:
Feedback-directed development of complex software systems.
ISPW 1984: 89-92 |
| 1982 |
|---|
| 4 | | Lori A. Clarke,
Johnette Hassell,
Debra J. Richardson:
A Close Look at Domain Testing.
IEEE Trans. Software Eng. 8(4): 380-390 (1982) |
| 1981 |
|---|
| 3 | | Debra J. Richardson,
Lori A. Clarke:
A Partition Analysis Method to Increase Program Reliability.
ICSE 1981: 244-253 |
| 1979 |
|---|
| 2 | | Paul W. Abrahams,
Lori A. Clarke:
Compile-Time Analysis of Data List-Format List Correspondences.
IEEE Trans. Software Eng. 5(6): 612-617 (1979) |
| 1976 |
|---|
| 1 | | Lori A. Clarke:
A System to Generate Test Data and Symbolically Execute Programs.
IEEE Trans. Software Eng. 2(3): 215-222 (1976) |
