Laura K. Dillon

	2011
57		Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Contract-based synchronization of IP telecommunication services: a case study. COMSWARE 2011: 5
56		Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt: Scalable analysis of conceptual data models. ISSTA 2011: 56-66
	2010
55		Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon: Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams. VL/HCC 2010: 33-40
	2009
54		Gregg Rothermel, Laura K. Dillon: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009 ACM 2009
53		Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Prototyping synchronization policies for existing programs. ICPC 2009: 289-290
52		R. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer: The inference validity problem in legal discovery. ICSE Companion 2009: 303-306
51		Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt: A thread synchronization model for SIP servlet containers. IPTComm 2009: 7
50		Matthew J. McGill, R. E. Kurt Stirewalt, Laura K. Dillon: Automated Test Input Generation for Software That Consumes ORM Models. OTM Workshops 2009: 704-713
49		Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming: Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions. Information Visualization 8(2): 120-136 (2009)
	2008
48		Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Shaohua Xie: Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software. ICPC 2008: 23-32
47		Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon: A study of student strategies for the corrective maintenance of concurrent software. ICSE 2008: 759-768
46		Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216
45		Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming: Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments. SOFTVIS 2008: 9-18
	2007
44		Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon: A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. International Journal of Software Engineering and Knowledge Engineering 17(2): 207-230 (2007)
	2006
43		Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon: A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. SEKE 2006: 120-125
42		R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281
	2005
41		Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon: A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE 2005: 251-266
40		R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon: Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW 2005: 201-210
	2004
39		Laura K. Dillon, Walter F. Tichy: Guest Editors' Introduction: 2003 International Conference on Software Engineering. IEEE Trans. Software Eng. 30(6): 353-354 (2004)
	2003
38		Laura K. Dillon, Kurt Stirewalt: Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. IEEE Trans. Software Eng. 29(2): 133-150 (2003)
	2002
37		Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni: Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Systems Online 3(10): (2002)
	2001
36		Kurt Stirewalt, Laura K. Dillon: A Component-Based Approach to Building Formal Analysis Tools. ICSE 2001: 167-176
35		Laura K. Dillon, Kurt Stirewalt: Leightweight Analysis of Operational Specifications Using Inference Graphs. ICSE 2001: 57-67
34		Kurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94
	1999
33		David S. Keyes, Laura K. Dillon, Moon-Jung Chung: Analysis of a Scheduler for a CAD Framework. ICSE 1999: 152-161
	1998
32		George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998)
	1997
31		Ron Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon: Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources. CIKM 1997: 348-355
30		George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238
29		Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon: A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997)
28		Laura K. Dillon: Task Dependence and Termination in Ada. ACM Trans. Softw. Eng. Methodol. 6(1): 80-110 (1997)
	1996
27		Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449
26		Laura K. Dillon, Y. S. Ramakrishna: Generating Oracles from Your Favorite Temporal Logic Specifications. SIGSOFT FSE 1996: 106-117
25		Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: Automated Deduction in a Graphical Temporal Logic. Journal of Applied Non-Classical Logics 6(1): (1996)
24		Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996)
23		Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996)
	1995
22		G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. Fundam. Inform. 24(4): 313-331 (1995)
	1994
21		G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209
20		P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542
19		Laura K. Dillon, Qing Yu: Oracles for Checking Temporal Properties of Concurrent Systems. SIGSOFT FSE 1994: 140-153
18		Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994)
17		George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden: Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng. 20(9): 708-719 (1994)
16		Laura K. Dillon, G. Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna: Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994)
	1993
15		G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith: A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153
14		Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192
13		G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159
12		Laura K. Dillon: A Visual Model for Ada Tasking. ACM Trans. Softw. Eng. Methodol. 2(4): 311-345 (1993)
	1992
11		Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67
10		Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224
9		Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty: An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Inform. 17(3): 271-282 (1992)
	1991
8		George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden: Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification 1991: 178-187
7		George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden: Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17(11): 1204-1222 (1991)
6		Laura K. Dillon: An isolation approach to symbolic execution-based verification of Ada tasking programs. Journal of Systems and Software 14(3): 183-198 (1991)
	1990
5		Laura K. Dillon: Using Symbolic Execution for Verification of Ada Tasking Programs. ACM Trans. Program. Lang. Syst. 12(4): 643-669 (1990)
4		Laura K. Dillon: Verifying General Safety Properties of Ada Tasking Programs. IEEE Trans. Software Eng. 16(1): 51-63 (1990)
	1989
3		George S. Avrunin, Jack C. Wileden, Laura K. Dillon: Experiments in Automated Analysis of Concurrent Software Systems. Symposium on Testing, Analysis, and Verification 1989: 124-130
	1988
2		Laura K. Dillon, George S. Avrunin, Jack C. Wileden: Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. ACM Trans. Program. Lang. Syst. 10(3): 374-402 (1988)
	1986
1		George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle: Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Trans. Software Eng. 12(2): 278-292 (1986)

Coauthor Index

1	Amr El Abbadi	[31]
2	Divyakant Agrawal	[31]
3	George S. Avrunin	[1] [2] [3] [7] [8] [17] [30] [32]
4	Reimer Behrends	[40] [41] [42]
5	Ugo A. Buy	[7] [8]
6	Betty H. C. Cheng	[37]
7	Eric Cheung	[51]
8	Moon-Jung Chung	[33]
9	James C. Corbett	[7] [8] [17] [30] [32]
10	Ron Dolin	[31]
11	Scott D. Fleming	[45] [47] [48] [49] [55]
12	Yi Huang	[46] [51] [53] [57]
13	David S. Keyes	[33]
14	Eileen Kraemer	[45] [47] [48] [49] [52] [55]
15	Sandeep S. Kulkarni	[37]
16	G. Kutty	[9] [10] [11] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [27] [29]
17	Matthew J. McGill	[50] [56]
18	Philip K. McKinley	[37]
19	P. M. Melliar-Smith (P. Michael Melliar-Smith)	[9] [10] [11] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [27] [29]
20	Louise E. Moser	[9] [10] [11] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [27] [29]
21	Y. S. Ramakrishna	[9] [10] [11] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [26] [27] [29]
22	William E. Riddle	[1]
23	Gregg Rothermel	[54]
24	Beata Sarna-Starosta	[43] [44]
25	R. E. Kurt Stirewalt (Kurt Stirewalt)	[34] [35] [36] [37] [38] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [55] [56] [57]
26	Walter F. Tichy	[39]
27	Jack C. Wileden	[1] [2] [3] [7] [8] [17]
28	Shaohua Xie	[45] [47] [48] [49]
29	Qing Yu	[19]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page