| 2008 |
|---|
| 48 | EE | 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 | EE | 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 | EE | Y. Huang,
Laura K. Dillon,
R. E. Kurt Stirewalt:
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.
IPTComm 2008: 196-216 |
| 45 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Kurt Stirewalt,
Laura K. Dillon:
Generation of visitor components that implement program transformations.
SSR 2001: 86-94 |
| 1999 |
|---|
| 33 | EE | David S. Keyes,
Laura K. Dillon,
Moon-Jung Chung:
Analysis of a Scheduler for a CAD Framework.
ICSE 1999: 152-161 |
| 1998 |
|---|
| 32 | EE | 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 | EE | 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 | EE | George S. Avrunin,
James C. Corbett,
Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems.
ICSE 1997: 228-238 |
| 29 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Laura K. Dillon,
Qing Yu:
Oracles for Checking Temporal Properties of Concurrent Systems.
SIGSOFT FSE 1994: 140-153 |
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Laura K. Dillon:
Using Symbolic Execution for Verification of Ada Tasking Programs.
ACM Trans. Program. Lang. Syst. 12(4): 643-669 (1990) |
| 4 | EE | Laura K. Dillon:
Verifying General Safety Properties of Ada Tasking Programs.
IEEE Trans. Software Eng. 16(1): 51-63 (1990) |
| 1989 |
|---|
| 3 | EE | 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 | EE | 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) |
