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

Laura K. Dillon 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
49EER. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer: The inference validity problem in legal discovery. ICSE Companion 2009: 303-306
2008
48EEScott 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
47EEScott 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
46EEY. Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216
45EEShaohua 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
44EEBeata 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
42EER. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281
2005
41EEReimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon: A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE 2005: 251-266
40EER. 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
39EELaura K. Dillon, Walter F. Tichy: Guest Editors' Introduction: 2003 International Conference on Software Engineering. IEEE Trans. Software Eng. 30(6): 353-354 (2004)
2003
38EELaura 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
37EEPhilip 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
34EEKurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94
1999
33EEDavid S. Keyes, Laura K. Dillon, Moon-Jung Chung: Analysis of a Scheduler for a CAD Framework. ICSE 1999: 152-161
1998
32EEGeorge S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998)
1997
31EERon Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon: Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources. CIKM 1997: 348-355
30EEGeorge S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238
29EELouise 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)
28EELaura K. Dillon: Task Dependence and Termination in Ada. ACM Trans. Softw. Eng. Methodol. 6(1): 80-110 (1997)
1996
27EELouise 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
26EELaura 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)
24EEY. 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)
23EEY. 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
19EELaura K. Dillon, Qing Yu: Oracles for Checking Temporal Properties of Concurrent Systems. SIGSOFT FSE 1994: 140-153
18EELaura 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)
17EEGeorge 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
15EEG. 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
14EEY. 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
12EELaura K. Dillon: A Visual Model for Ada Tasking. ACM Trans. Softw. Eng. Methodol. 2(4): 311-345 (1993)
1992
11EEY. 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
10EELaura 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
8EEGeorge 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
7EEGeorge 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)
6EELaura 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
5EELaura K. Dillon: Using Symbolic Execution for Verification of Ada Tasking Programs. ACM Trans. Program. Lang. Syst. 12(4): 643-669 (1990)
4EELaura K. Dillon: Verifying General Safety Properties of Ada Tasking Programs. IEEE Trans. Software Eng. 16(1): 51-63 (1990)
1989
3EEGeorge 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
2EELaura 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

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

Colors in the list of coauthors

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