dblp.uni-trier.dewww.uni-trier.de

Lori A. Clarke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
81EENorman 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
2008
80EEBorislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil: Specifying and verifying requirements for election processes. DG.O 2008: 63-72
79EEBin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman: Analyzing medical processes. ICSE 2008: 623-632
78EELori A. Clarke, George S. Avrunin, Leon J. Osterweil: Using software engineering technology to improve the quality of medical processes. ICSE Companion 2008: 889-898
77EELeon 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
76EEJamieson 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)
75EEStephen 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
74EELori 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
73EEBorislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil: Representing Process Variation with a Process Family. ICSP 2007: 109-120
72EEStefan 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
71EELori A. Clarke: Getting the Details Right. Monterey Workshop 2007: 10-12
70EELeon 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
69EEShangzhu Wang, George S. Avrunin, Lori A. Clarke: Plug-and-Play Architectural Design and Verification. WADS 2007: 273-297
68EEEmery 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. Ecological Informatics 2(3): 237-247 (2007)
2006
67EEShangzhu Wang, George S. Avrunin, Lori A. Clarke: Architectural Building Blocks for Plug-and-Play System Design. CBSE 2006: 98-113
66EELori 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
65EEJianbin Tan, George S. Avrunin, Lori A. Clarke: Managing space for finite-state verification. ICSE 2006: 152-161
64EEStephen 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
63EEJamieson 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
62EEShangzhu Wang, George S. Avrunin, Lori A. Clarke: Verification support for plug-and-play architectural design. ROSATEA 2006: 49-50
61EERachel L. Cobleigh, George S. Avrunin, Lori A. Clarke: User guidance for creating precise and accessible property specifications. SIGSOFT FSE 2006: 208-218
60EEBin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim 2006: 150-158
59EEMohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil: Definition and Analysis of Election Processes. SPW/ProSim 2006: 178-185
58EELori 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
57EELori 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
56EELeon 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
55EEJianbin Tan, George S. Avrunin, Lori A. Clarke: Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644
54EEJianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210
53EEMatthew 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
52EELee 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
51EERachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21
50EEJamieson 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
49EETimothy 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
47EELeon J. Osterweil, Lori A. Clarke: Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71
46EELori A. Clarke: Finite state verification: An emerging technology for validating software systems (abstract only). ISSTA 2000: 146
45EEJamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: Verifying properties of process definitions. ISSTA 2000: 96-101
44EELeon J. Osterweil, Lori A. Clarke: Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS 2000: 27-39
43EELeon 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
42EEGleb Naumovich, Lori A. Clarke: Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE 2000: 159-168
1999
41EEGleb Naumovich, George S. Avrunin, Lori A. Clarke: An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. ESEC / SIGSOFT FSE 1999: 338-354
40EEGleb Naumovich, George S. Avrunin, Lori A. Clarke: Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410
39EEGleb 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
36EEGleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58
1997
35EEGleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93
34EEGleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595
1996
33EEMatthew B. Dwyer, Lori A. Clarke: A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564
32EEA. T. Chamillard, Lori A. Clarke: Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. ISSTA 1996: 24-38
31EEGleb 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)
28EEDaniel 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)
27EEMatthew 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
26EEMatthew B. Dwyer, Lori A. Clarke, Kari A. Nies: A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157
1994
25EEMatthew B. Dwyer, Lori A. Clarke: Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75
1993
24EEMargaret C. Thompson, Debra J. Richardson, Lori A. Clarke: An Information Flow Model of Fault Detection. ISSTA 1993: 182-192
23EEPeri L. Tarr, Lori A. Clarke: PLEIADES: An Object Management System for Software Engineering Environments. SIGSOFT FSE 1993: 56-70
1991
22EEDouglas 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
21EEPeri L. Tarr, Jack C. Wileden, Lori A. Clarke: Extending and Limiting PGraphite-style Persistence. POS 1990: 74-86
20EEJack 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)
19EEAndy 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
17EEAndy Podgurski, Lori A. Clarke: The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. Symposium on Testing, Analysis, and Verification 1989: 168-178
16EELori 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)
15EEAlexander 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
11EEAlexander L. Wolf, Lori A. Clarke, Jack C. Wileden: A Model of Visibility Control. IEEE Trans. Software Eng. 14(4): 512-520 (1988)
1987
10EELori 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)
6EELori 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)

Coauthor Index

1Paul W. Abrahams [2]
2George S. Avrunin [35] [40] [41] [51] [54] [55] [57] [60] [61] [62] [63] [64] [65] [67] [69] [70] [72] [75] [76] [78] [79]
3Daniel J. Barrett [28]
4Frank C. Belz [13]
5Matthew P. Billmers [49] [52]
6Emery R. Boose [56] [68] [77]
7David Brown [72]
8Anthony Butterfield [52]
9Lucinda Cassells [72]
10A. T. Chamillard [32]
11Bin Chen [57] [59] [60] [70] [72] [79]
12Yao Chen [57]
13Stefan Christov [72]
14Jamieson M. Cobleigh [39] [45] [48] [50] [53] [63] [76]
15Rachel L. Cobleigh [57] [61] [70]
16Matthew B. Dwyer [25] [26] [27] [33] [34] [53]
17Aaron M. Ellison [56] [68] [77]
18Amr Elssamadisy [59]
19Michael Evangelist [43]
20David R. Foster [56] [68]
21Kim Frederick [57]
22Alan Gaitenby [66] [74]
23Daniel Gyllstrom [66]
24Julian L. Hadley [56] [68] [77]
25Johnette Hassell [4]
26Elizabeth A. Henneman [57] [70] [79]
27Philip L. Henneman [70] [79]
28Ethan Katsh [66] [74] [81]
29Jeff Kramer [43]
30Stefan Leue [54]
31Douglas L. Long [18] [22]
32Robert Marx [52]
33Matthew Marzilli [66] [74] [80]
34Eric K. McCall [37]
35Wilson Mertens [72]
36Anastasia Mironova [64] [75]
37Gleb Naumovich [31] [34] [35] [36] [39] [40] [41] [42] [53]
38Kari A. Nies [26]
39Leon J. Osterweil [13] [31] [34] [35] [36] [37] [43] [44] [45] [47] [48] [49] [50] [51] [56] [57] [59] [60] [66] [68] [70] [72] [73] [74] [77] [78] [79] [80] [81]
40Lee Osterwil [52]
41Andy Podgurski [9] [16] [17] [19]
42Rodion M. Podorozhny [68] [77]
43Daniel Rainey [66] [74] [81]
44Mohammad S. Raunak [59]
45Debra J. Richardson [3] [4] [6] [7] [9] [12] [16] [24]
46H. Dieter Rombach [43]
47David S. Rosenblum [58]
48Richard W. Selby [13]
49Stephen F. Siegel [64] [75]
50Joel Sieh [52]
51Borislava I. Simidchieva [73] [74] [80]
52Timothy J. Sliski [49]
53Rachel L. Smith [51]
54Norman K. Sondheimer [52] [66] [74] [81]
55Bruce Southard [52]
56David Su [52]
57Jianbin Tan [54] [55] [65]
58Peri L. Tarr [21] [23] [28] [30] [38]
59Richard N. Taylor [13]
60Margaret C. Thompson [24]
61Shangzhu Wang [62] [67] [69]
62Jack C. Wileden [5] [8] [10] [11] [13] [14] [15] [20] [21]
63Leah Wing [66] [74]
64Alexander E. Wise [28] [56] [66] [68] [74] [77]
65Alexander L. Wolf [8] [10] [11] [13] [14] [15] [20] [43]
66Michal Young [13]
67Steven J. Zeil [9] [12] [16]
68Shlomo Zilberstein [54]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)