Laura K. Dillon

According to our database1, Laura K. Dillon
  • authored at least 65 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Computer literacy through dance: the dancing computer project.
Int. J. Pervasive Computing and Communications, 2017

Increasing Diversity in the Face of Enrollment Increases.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016
Dancing Computer: Computer Literacy though Dance.
Proceedings of the 14th International Conference on Advances in Mobile Computing and Multi Media, 2016

2015
SEES Summary: Software Engineering Educators Symposium 2014.
ACM SIGSOFT Software Engineering Notes, 2015

2014
Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

2011
Scalable analysis of conceptual data models.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Contract-based synchronization of IP telecommunication services: a case study.
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.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Groundwork for the Development of Testing Plans for Concurrent Software.
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.
Information Visualization, 2009

Automated Test Input Generation for Software That Consumes ORM Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Prototyping synchronization policies for existing programs.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A thread synchronization model for SIP servlet containers.
Proceedings of the Principles, 2009

The inference validity problem in legal discovery.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.
Proceedings of the Principles, 2008

A study of student strategies for the corrective maintenance of concurrent software.
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.
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.
International Journal of Software Engineering and Knowledge Engineering, 2007

2006
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems.
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.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Guest Editors' Introduction: 2003 International Conference on Software Engineering.
IEEE Trans. Software Eng., 2004

2003
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.
IEEE Trans. Software Eng., 2003

2002
Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Systems Online, 2002

2001
Generation of visitor components that implement program transformations.
SSR, 2001

A Component-Based Approach to Building Formal Analysis Tools.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Leightweight Analysis of Operational Specifications Using Inference Graphs.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Automated support for testing and debugging of real-time programs using oracles.
ACM SIGSOFT Software Engineering Notes, 2000

1999
Analysis of a Scheduler for a CAD Framework.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng., 1998

1997
A Graphical Environment for the Design of Concurrent Real-Time Systems.
ACM Trans. Softw. Eng. Methodol., 1997

Task Dependence and Termination in Ada.
ACM Trans. Softw. Eng. Methodol., 1997

Analyzing Partially-Implemented Real-Time Systems.
Proceedings of the Pulling Together, 1997

Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources.
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.
Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.
Journal of Applied Non-Classical Logics, 1996

Generating Oracles from Your Favorite Temporal Logic Specifications.
Proceedings of the SIGSOFT '96, 1996

The Real-Time Graphical Interval Logic Toolset.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Axiomatizations of Interval Logics.
Fundam. Inform., 1995

1994
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput., 1994

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
IEEE Trans. Software Eng., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol., 1994

Oracles for Checking Temporal Properties of Concurrent Systems.
Proceedings of the SIGSOFT '94, 1994

A System for Automated Deduction in Graphical Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
A Visual Model for Ada Tasking.
ACM Trans. Softw. Eng. Methodol., 1993

Visual Tools for Temporal Reasoning.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, December 1993, 1993

A Real-Time Interval Logic and Its Decision Procedure.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Inform., 1992

Graphical Specifications for Concurrent Software Systems.
Proceedings of the 14th International Conference on Software Engineering, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
IEEE Trans. Software Eng., 1991

An isolation approach to symbolic execution-based verification of Ada tasking programs.
Journal of Systems and Software, 1991

Experiments with an Improved Constrained Expression Toolset.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990
Verifying General Safety Properties of Ada Tasking Programs.
IEEE Trans. Software Eng., 1990

Using Symbolic Execution for Verification of Ada Tasking Programs.
ACM Trans. Program. Lang. Syst., 1990

1989
Experiments in Automated Analysis of Concurrent Software Systems.
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.
ACM Trans. Program. Lang. Syst., 1988

1986
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.
IEEE Trans. Software Eng., 1986


  Loading...