Laura K. Dillon

According to our database, Laura K. Dillon authored at least 66 papers between 1986 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Virtual Outreach: Lessons from a Coding Club's Response to COVID-19.

Andrew McDonald, Laura K. Dillon

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2017

Computer literacy through dance: the dancing computer project.

Charles B. Owen, Laura K. Dillon, Alison Dobbins, Matthew Rhodes, Madeline Levinson, Noah Keppers

Int. J. Pervasive Comput. Commun., 2017

Increasing Diversity in the Face of Enrollment Increases.

Wendy M. DuBow, Ignatios Vakalis, Laura K. Dillon, Helen H. Hu

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

Dancing Computer: Computer Literacy though Dance.

Charles B. Owen, Laura K. Dillon, Alison Dobbins, Noah Keppers, Madeline Levinson, Matthew Rhodes

Proceedings of the 14th International Conference on Advances in Mobile Computing and Multi Media, 2016

2015

SEES Summary: Software Engineering Educators Symposium 2014.

Chang Xu, Laura K. Dillon

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations.

Matthew Nizol, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

2011

Scalable analysis of conceptual data models.

Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Developing interactive multi-user VoIP applications using synchronization contracts with ECharts.

Yi Huang, Laura K. Dillon

Proceedings of the 5th International Conference on Principles, 2011

Contract-based synchronization of IP telecommunication services: a case study.

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the 5th International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2011), 2011

2010

Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams.

Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Groundwork for the Development of Testing Plans for Concurrent Software.

Eileen T. Kraemer, Laura K. Dillon

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions.

Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming

Inf. Vis., 2009

Automated Test Input Generation for Software That Consumes ORM Models.

Matthew J. McGill, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Prototyping synchronization policies for existing programs.

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A thread synchronization model for SIP servlet containers.

Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the Principles, 2009

The inference validity problem in legal discovery.

R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.

Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software.

Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Shaohua Xie

Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt

Proceedings of the Principles, 2008

A study of student strategies for the corrective maintenance of concurrent software.

Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Using formal models to objectively judge quality of multi-threaded programs in empirical studies.

Laura K. Dillon, R. E. Kurt Stirewalt, Eileen T. Kraemer, Shaohua Xie, Scott D. Fleming

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

2007

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon

Int. J. Softw. Eng. Knowl. Eng., 2007

Contracts and Middleware for Safe SOA Applications.

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the International Workshop on Systems Development in SOA Environments, 2007

2006

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages.

R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems.

R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

A Component-Oriented Model for the Design of Safe Multi-threaded Applications.

Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Guest Editors' Introduction: 2003 International Conference on Software Engineering.

Laura K. Dillon, Walter F. Tichy

IEEE Trans. Software Eng., 2004

2003

Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.

Laura K. Dillon, Kurt Stirewalt

IEEE Trans. Software Eng., 2003

2002

Education: Interactive Distributed Applications and the Computer Science Curriculum.

Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni

IEEE Distributed Syst. Online, 2002

2001

Generation of visitor components that implement program transformations.

Kurt Stirewalt, Laura K. Dillon

Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

A Component-Based Approach to Building Formal Analysis Tools.

Kurt Stirewalt, Laura K. Dillon

Proceedings of the 23rd International Conference on Software Engineering, 2001

Leightweight Analysis of Operational Specifications Using Inference Graphs.

Laura K. Dillon, Kurt Stirewalt

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Automated support for testing and debugging of real-time programs using oracles.

Laura K. Dillon

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Analysis of a Scheduler for a CAD Framework.

David S. Keyes, Laura K. Dillon, Moon-Jung Chung

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Analyzing Partially-Implemented Real-Time Systems.

George S. Avrunin, James C. Corbett, Laura K. Dillon

IEEE Trans. Software Eng., 1998

1997

A Graphical Environment for the Design of Concurrent Real-Time Systems.

Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon

ACM Trans. Softw. Eng. Methodol., 1997

Task Dependence and Termination in Ada.

Laura K. Dillon

ACM Trans. Softw. Eng. Methodol., 1997

Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources.

Ron Dolin, Divyakant Agrawal, Amr El Abbadi, Laura K. Dillon

Proceedings of the Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997

1996

Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.

Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.

Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.

Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

J. Appl. Non Class. Logics, 1996

Generating Oracles from Your Favorite Temporal Logic Specifications.

Laura K. Dillon, Y. S. Ramakrishna

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

The Real-Time Graphical Interval Logic Toolset.

Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Axiomatizations of Interval Logics.

George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon

Fundam. Informaticae, 1995

1994

Visual Specifications for Temporal Reasoning.

Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna

J. Vis. Lang. Comput., 1994

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.

George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden

IEEE Trans. Software Eng., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.

Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

ACM Trans. Softw. Eng. Methodol., 1994

Oracles for Checking Temporal Properties of Concurrent Systems.

Laura K. Dillon, Qing Yu

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

A System for Automated Deduction in Graphical Interval Logic.

P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.

George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna

Proceedings of the Temporal Logic, First International Conference, 1994

1993

A Visual Model for Ada Tasking.

Laura K. Dillon

ACM Trans. Softw. Eng. Methodol., 1993

Visual Tools for Temporal Reasoning.

George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.

Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

A Real-Time Interval Logic and Its Decision Procedure.

Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

An automata-theoretic decision procedure for propositional temporal logic with since and until.

Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty

Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.

Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

Proceedings of the 14th International Conference on Software Engineering, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.

Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden

IEEE Trans. Software Eng., 1991

An isolation approach to symbolic execution-based verification of Ada tasking programs.

Laura K. Dillon

J. Syst. Softw., 1991

Experiments with an Improved Constrained Expression Toolset.

George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Verifying General Safety Properties of Ada Tasking Programs.

Laura K. Dillon

IEEE Trans. Software Eng., 1990

Using Symbolic Execution for Verification of Ada Tasking Programs.

Laura K. Dillon

ACM Trans. Program. Lang. Syst., 1990

1989

Experiments in Automated Analysis of Concurrent Software Systems.

George S. Avrunin, Jack C. Wileden, Laura K. Dillon

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems.

Laura K. Dillon, George S. Avrunin, Jack C. Wileden

ACM Trans. Program. Lang. Syst., 1988

1986

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.

George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle

IEEE Trans. Software Eng., 1986