Laura K. Dillon

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 4

Top Topics

Dependent Variables

Male And Female

Computer Literacy

Varying Degrees

Top Venues

Int. J. Pervasive Comput. Commun.

Publications

Andrew McDonald, Laura K. Dillon
Virtual Outreach: Lessons from a Coding Club's Response to COVID-19. SIGCSE (2021)
Wendy M. DuBow, Ignatios Vakalis, Laura K. Dillon, Helen H. Hu
Increasing Diversity in the Face of Enrollment Increases. SIGCSE (2017)
Charles B. Owen, Laura K. Dillon, Alison Dobbins, Matthew Rhodes, Madeline Levinson, Noah Keppers
Computer literacy through dance: the dancing computer project. Int. J. Pervasive Comput. Commun. 13 (1) (2017)
Charles B. Owen, Laura K. Dillon, Alison Dobbins, Noah Keppers, Madeline Levinson, Matthew Rhodes
Dancing Computer: Computer Literacy though Dance. MoMM (2016)
Chang Xu, Laura K. Dillon
SEES Summary: Software Engineering Educators Symposium 2014. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Matthew Nizol, Laura K. Dillon, R. E. Kurt Stirewalt
Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations. MiSE (2014)
Yi Huang, Laura K. Dillon
Developing interactive multi-user VoIP applications using synchronization contracts with ECharts. IPTComm (2011)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
Contract-based synchronization of IP telecommunication services: a case study. COMSWARE (2011)
Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt
Scalable analysis of conceptual data models. ISSTA (2011)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon
Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams. VL/HCC (2010)
Eileen T. Kraemer, Laura K. Dillon
Groundwork for the Development of Testing Plans for Concurrent Software. Practical Software Testing: Tool Automation and Human Factors (2010)
R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer
The inference validity problem in legal discovery. ICSE Companion (2009)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions. Inf. Vis. 8 (2) (2009)
Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt
A thread synchronization model for SIP servlet containers. IPTComm (2009)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
Prototyping synchronization policies for existing programs. ICPC (2009)
Matthew J. McGill, R. E. Kurt Stirewalt, Laura K. Dillon
Automated Test Input Generation for Software That Consumes ORM Models. OTM Workshops (2009)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm (2008)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Shaohua Xie
Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software. ICPC (2008)
Laura K. Dillon, R. E. Kurt Stirewalt, Eileen T. Kraemer, Shaohua Xie, Scott D. Fleming
Using formal models to objectively judge quality of multi-threaded programs in empirical studies. MiSE (2008)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments. SOFTVIS (2008)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon
A study of student strategies for the corrective maintenance of concurrent software. ICSE (2008)
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
Contracts and Middleware for Safe SOA Applications. SDSOA@ICSE (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. Int. J. Softw. Eng. Knowl. Eng. 17 (2) (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)
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW (2006)
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW (2005)
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon
A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE (2005)
Laura K. Dillon, Walter F. Tichy
Guest Editors' Introduction: 2003 International Conference on Software Engineering. IEEE Trans. Software Eng. 30 (6) (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) (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 Syst. Online 3 (10) (2002)
Laura K. Dillon, Kurt Stirewalt
Leightweight Analysis of Operational Specifications Using Inference Graphs. ICSE (2001)
Kurt Stirewalt, Laura K. Dillon
Generation of visitor components that implement program transformations. SSR (2001)
Kurt Stirewalt, Laura K. Dillon
A Component-Based Approach to Building Formal Analysis Tools. ICSE (2001)
Laura K. Dillon
Automated support for testing and debugging of real-time programs using oracles. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
David S. Keyes, Laura K. Dillon, Moon-Jung Chung
Analysis of a Scheduler for a CAD Framework. ICSE (1999)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24 (8) (1998)
Louise E. Moser, Y. S. Ramakrishna, George 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) (1997)
Laura K. Dillon
Task Dependence and Termination in Ada. ACM Trans. Softw. Eng. Methodol. 6 (1) (1997)
George S. Avrunin, James C. Corbett, Laura K. Dillon
Analyzing Partially-Implemented Real-Time Systems. ICSE (1997)
Ron Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon
Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources. CIKM (1997)
Laura K. Dillon, Y. S. Ramakrishna
Generating Oracles from Your Favorite Temporal Logic Specifications. SIGSOFT FSE (1996)
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166 (1&2) (1996)
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
The Real-Time Graphical Interval Logic Toolset. CAV (1996)
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
Automated Deduction in a Graphical Temporal Logic. J. Appl. Non Class. Logics 6 (1) (1996)
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170 (1-2) (1996)
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon
Axiomatizations of Interval Logics. Fundam. Informaticae 24 (4) (1995)
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) (1994)
Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna
Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5 (1) (1994)
P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
A System for Automated Deduction in Graphical Interval Logic. ICTL (1994)
Laura K. Dillon, Qing Yu
Oracles for Checking Temporal Properties of Concurrent Systems. SIGSOFT FSE (1994)
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
First-Order Future Interval Logic. ICTL (1994)
Laura K. Dillon, George 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) (1994)
George 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)
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
A Real-Time Interval Logic and Its Decision Procedure. FSTTCS (1993)
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
Really visual temporal reasoning. RTSS (1993)
George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Visual Tools for Temporal Reasoning. VL (1993)
Laura K. Dillon
A Visual Model for Ada Tasking. ACM Trans. Softw. Eng. Methodol. 2 (4) (1993)
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS (1992)
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty
An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Informaticae 17 (3) (1992)
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Graphical Specifications for Concurrent Software Systems. ICSE (1992)
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) (1991)
Laura K. Dillon
An isolation approach to symbolic execution-based verification of Ada tasking programs. J. Syst. Softw. 14 (3) (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)
Laura K. Dillon
Verifying General Safety Properties of Ada Tasking Programs. IEEE Trans. Software Eng. 16 (1) (1990)
Laura K. Dillon
Using Symbolic Execution for Verification of Ada Tasking Programs. ACM Trans. Program. Lang. Syst. 12 (4) (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)
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) (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) (1986)