Laura K. Dillon

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