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.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2017

Increasing Diversity in the Face of Enrollment Increases.

[BibT_eX]

[DOI]

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

2016

Dancing Computer: Computer Literacy though Dance.

[BibT_eX]

[DOI]

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

2015

SEES Summary: Software Engineering Educators Symposium 2014.

[BibT_eX]

[DOI]

Chang Xu

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

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

[BibT_eX]

[DOI]

Matthew Nizol

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

2011

Scalable analysis of conceptual data models.

[BibT_eX]

[DOI]

Matthew J. McGill

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

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

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Principles, 2011

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Groundwork for the Development of Testing Plans for Concurrent Software.

[BibT_eX]

[DOI]

Eileen T. Kraemer

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.

[BibT_eX]

[DOI]

Inf. Vis., 2009

Automated Test Input Generation for Software That Consumes ORM Models.

[BibT_eX]

[DOI]

Matthew J. McGill

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

Prototyping synchronization policies for existing programs.

[BibT_eX]

[DOI]

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

A thread synchronization model for SIP servlet containers.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2009

The inference validity problem in legal discovery.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

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

[BibT_eX]

[DOI]

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

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2008

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Beata Sarna-Starosta

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

Contracts and Middleware for Safe SOA Applications.

[BibT_eX]

[DOI]

Beata Sarna-Starosta

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

2006

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Reimer Behrends

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.

[BibT_eX]

[DOI]

Reimer Behrends

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

2004

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

[BibT_eX]

[DOI]

Walter F. Tichy

IEEE Trans. Software Eng., 2004

2003

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

2002

Education: Interactive Distributed Applications and the Computer Science Curriculum.

[BibT_eX]

IEEE Distributed Syst. Online, 2002

2001

Generation of visitor components that implement program transformations.

[BibT_eX]

[DOI]

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

A Component-Based Approach to Building Formal Analysis Tools.

[BibT_eX]

[DOI]

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

Leightweight Analysis of Operational Specifications Using Inference Graphs.

[BibT_eX]

[DOI]

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

2000

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Analysis of a Scheduler for a CAD Framework.

[BibT_eX]

[DOI]

David S. Keyes

Moon-Jung Chung

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Analyzing Partially-Implemented Real-Time Systems.

[BibT_eX]

[DOI]

George S. Avrunin

James C. Corbett

IEEE Trans. Software Eng., 1998

1997

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Task Dependence and Termination in Ada.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1996

Generating Oracles from Your Favorite Temporal Logic Specifications.

[BibT_eX]

[DOI]

Y. S. Ramakrishna

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

The Real-Time Graphical Interval Logic Toolset.

[BibT_eX]

[DOI]

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

1995

Axiomatizations of Interval Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

1994

Visual Specifications for Temporal Reasoning.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1994

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

Oracles for Checking Temporal Properties of Concurrent Systems.

[BibT_eX]

[DOI]

Qing Yu

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

A System for Automated Deduction in Graphical Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

1993

A Visual Model for Ada Tasking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Visual Tools for Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.

[BibT_eX]

[DOI]

Y. S. Ramakrishna

P. Michael Melliar-Smith

Louise E. Moser

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.

[BibT_eX]

[DOI]

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

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

[BibT_eX]

[DOI]

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

1992

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

[BibT_eX]

Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.

[BibT_eX]

[DOI]

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

An Automata-Theoretic Decision Procedure for Future Interval Logic.

[BibT_eX]

[DOI]

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

1991

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

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

[BibT_eX]

[DOI]

J. Syst. Softw., 1991

Experiments with an Improved Constrained Expression Toolset.

[BibT_eX]

[DOI]

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

1990

Verifying General Safety Properties of Ada Tasking Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Using Symbolic Execution for Verification of Ada Tasking Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

1989

Experiments in Automated Analysis of Concurrent Software Systems.

[BibT_eX]

[DOI]

George S. Avrunin

Jack C. Wileden

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.

[BibT_eX]

[DOI]