Laura K. Dillon

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Contract-based synchronization of IP telecommunication services: a case study. COMSWARE 2011: 5

Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt: Scalable analysis of conceptual data models. ISSTA 2011: 56-66

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

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)

R. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer: The inference validity problem in legal discovery. ICSE Companion 2009: 303-306

Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt: A thread synchronization model for SIP servlet containers. IPTComm 2009: 7

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Prototyping synchronization policies for existing programs. ICPC 2009: 289-290

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

Gregg Rothermel, Laura K. Dillon (Eds.): Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009. ACM 2009, isbn 978-1-60558-338-9

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

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216

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

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

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)

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

R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281

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

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

Laura K. Dillon, Walter F. Tichy: Guest Editors' Introduction: 2003 International Conference on Software Engineering. IEEE Trans. Software Eng. 30(6): 353-354 (2004)

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)

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)

Laura K. Dillon, Kurt Stirewalt: Leightweight Analysis of Operational Specifications Using Inference Graphs. ICSE 2001: 57-67

Kurt Stirewalt, Laura K. Dillon: A Component-Based Approach to Building Formal Analysis Tools. ICSE 2001: 167-176

Kurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94

Laura K. Dillon: Automated support for testing and debugging of real-time programs using oracles. ACM SIGSOFT Software Engineering Notes 25(1): 45-46 (2000)

David S. Keyes, Laura K. Dillon, Moon-Jung Chung: Analysis of a Scheduler for a CAD Framework. ICSE 1999: 152-161

George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998)

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)

Laura K. Dillon: Task Dependence and Termination in Ada. ACM Trans. Softw. Eng. Methodol. 6(1): 80-110 (1997)

Ron Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon: Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources. CIKM 1997: 348-355

George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238

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): 29-47 (1996)

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)

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)

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

Laura K. Dillon, Y. S. Ramakrishna: Generating Oracles from Your Favorite Temporal Logic Specifications. SIGSOFT FSE 1996: 106-117

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)

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)

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)

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)

G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209

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

Laura K. Dillon, Qing Yu: Oracles for Checking Temporal Properties of Concurrent Systems. SIGSOFT FSE 1994: 140-153

Laura K. Dillon: A Visual Model for Ada Tasking. ACM Trans. Softw. Eng. Methodol. 2(4): 311-345 (1993)

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

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

G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159

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)

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

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

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)

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)

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

Laura K. Dillon: Using Symbolic Execution for Verification of Ada Tasking Programs. ACM Trans. Program. Lang. Syst. 12(4): 643-669 (1990)

Laura K. Dillon: Verifying General Safety Properties of Ada Tasking Programs. IEEE Trans. Software Eng. 16(1): 51-63 (1990)

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

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)

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)