Lori A. Clarke

	2011
92		Lori A. Clarke: Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm. Int. J. Software and Informatics 5(3): 475-485 (2011)
	2010
91		Leon J. Osterweil, Lori A. Clarke: Supporting negotiation and dispute resolution with computing and communication technologies. FoSER 2010: 269-272
90		Lori A. Clarke, Leon J. Osterweil, George S. Avrunin: Supporting human-intensive systems. FoSER 2010: 87-92
89		Lori A. Clarke, Jens H. Weber-Jahnke: 2nd International Workshop on Software Engineering in Health Care (SEHC 2010). ICSE (2) 2010: 453-454
88		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
87		Heather M. Conboy, George S. Avrunin, Lori A. Clarke: Process-based derivation of requirements for medical devices. IHI 2010: 656-665
86		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
85		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 T. Automation Science and Engineering 7(1): 189-195 (2010)
	2009
84		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
83		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
	2008
82		Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil: Specifying and verifying requirements for election processes. DG.O 2008: 63-72
81		Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman: Analyzing medical processes. ICSE 2008: 623-632
80		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
79		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
78		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)
77		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
76		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
75		Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil: Representing Process Variation with a Process Family. ICSP 2007: 109-120
74		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
73		Lori A. Clarke: Getting the Details Right. Monterey Workshop 2007: 10-12
72		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
71		Shangzhu Wang, George S. Avrunin, Lori A. Clarke: Plug-and-Play Architectural Design and Verification. WADS 2007: 273-297
70		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. Ecological Informatics 2(3): 237-247 (2007)
	2006
69		Shangzhu Wang, George S. Avrunin, Lori A. Clarke: Architectural Building Blocks for Plug-and-Play System Design. CBSE 2006: 98-113
68		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
67		Jianbin Tan, George S. Avrunin, Lori A. Clarke: Managing space for finite-state verification. ICSE 2006: 152-161
66		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
65		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
64		Shangzhu Wang, George S. Avrunin, Lori A. Clarke: Verification support for plug-and-play architectural design. ROSATEA 2006: 49-50
63		Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke: User guidance for creating precise and accessible property specifications. SIGSOFT FSE 2006: 208-218
62		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
61		Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil: Definition and Analysis of Election Processes. SPW/ProSim 2006: 178-185
60		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
59		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
58		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
57		Jianbin Tan, George S. Avrunin, Lori A. Clarke: Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644
56		Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210
55		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
54		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
53		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
52		Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21
51		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
50		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
49		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
48		Leon J. Osterweil, Lori A. Clarke: Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71
47		Lori A. Clarke: Finite state verification: An emerging technology for validating software systems (abstract only). ISSTA 2000: 146
46		Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: Verifying properties of process definitions. ISSTA 2000: 96-101
45		Leon J. Osterweil, Lori A. Clarke: Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS 2000: 27-39
44		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
43		Gleb Naumovich, Lori A. Clarke: Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE 2000: 159-168
	1999
42		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
41		Gleb Naumovich, George S. Avrunin, Lori A. Clarke: Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410
40		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
39		Peri L. Tarr, Lori A. Clarke: Consistency Management for Complex Applications. ICSE 1998: 230-239
38		Eric K. McCall, Lori A. Clarke, Leon J. Osterweil: An Adaptable Generation Approach to Agenda Management. ICSE 1998: 282-291
37		Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58
	1997
36		Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93
35		Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595
	1996
34		Matthew B. Dwyer, Lori A. Clarke: A Flexible Architecture for Building Data Flow Analyzers. ICSE 1996: 554-564
33		A. T. Chamillard, Lori A. Clarke: Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. ISSTA 1996: 24-38
32		Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105
31		Lori A. Clarke, Peri L. Tarr: New Functionality for Programming Languages. ACM Comput. Surv. 28(4es): 193 (1996)
30		Lori A. Clarke: How Do We Improve Software Quality and How Do We Show that it Matters? ACM Comput. Surv. 28(4es): 203 (1996)
29		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)
28		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
27		Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies: A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157
	1994
26		Matthew B. Dwyer, Lori A. Clarke: Data Flow Analysis for Verifying Properties of Concurrent Programs. SIGSOFT FSE 1994: 62-75
	1993
25		Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke: An Information Flow Model of Fault Detection. ISSTA 1993: 182-192
24		Peri L. Tarr, Lori A. Clarke: PLEIADES: An Object Management System for Software Engineering Environments. SIGSOFT FSE 1993: 56-70
	1992
23		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
	1991
22		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		Peri L. Tarr, Jack C. Wileden, Lori A. Clarke: Extending and Limiting PGraphite-style Persistence. POS 1990: 74-86
20		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		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		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		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		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		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		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		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)

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page