| Virtual Outreach: Lessons from a Coding Club's Response to COVID-19 | 0 | 0.34 | 2021 |
| Computer Literacy Through Dance: The Dancing Computer Project | 0 | 0.34 | 2017 |
| Increasing Diversity in the Face of Enrollment Increases. | 1 | 0.48 | 2017 |
| Dancing Computer: Computer Literacy though Dance. | 0 | 0.34 | 2016 |
| Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations | 0 | 0.34 | 2014 |
| Scalable analysis of conceptual data models | 9 | 0.59 | 2011 |
| Contract-based synchronization of IP telecommunication services: a case study | 0 | 0.34 | 2011 |
| Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams | 1 | 0.35 | 2010 |
| Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009 | 22 | 2.01 | 2009 |
| The Inference Validity Problem In Legal Discovery | 3 | 0.39 | 2009 |
| Automated Test Input Generation for Software That Consumes ORM Models | 3 | 0.41 | 2009 |
| Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions | 3 | 0.42 | 2009 |
| A thread synchronization model for SIP servlet containers | 1 | 0.36 | 2009 |
| A study of student strategies for the corrective maintenance of concurrent software | 14 | 0.72 | 2008 |
| Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments | 3 | 0.68 | 2008 |
| Using formal models to objectively judge quality of multi-threaded programs in empirical studies | 0 | 0.34 | 2008 |
| Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software | 1 | 0.37 | 2008 |
| A Model-Based Design-For-Verification Approach To Checking For Deadlock In Multi-Threaded Applications | 0 | 0.34 | 2006 |
| Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems | 5 | 0.51 | 2005 |
| A component-oriented model for the design of safe multi-threaded applications | 2 | 0.39 | 2005 |
| Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components | 8 | 0.52 | 2003 |
| Education: Interactive Distributed Applications and the Computer Science Curriculum | 0 | 0.34 | 2002 |
| A component-based approach to building formal analysis tools | 15 | 0.87 | 2001 |
| Generation of visitor components that implement program transformations | 3 | 0.48 | 2001 |
| Lightweight analysis of operational specifications using inference graphs | 4 | 0.44 | 2001 |
| Automated support for testing and debugging of real-time programs using oracles | 0 | 0.34 | 2000 |
| Analysis of a scheduler for a CAD framework | 2 | 0.61 | 1999 |
| Task dependence and termination in Ada | 2 | 0.39 | 1997 |
| Pharos: a scalable distributed architecture for locating heterogeneous information sources | 27 | 8.02 | 1997 |
| Analyzing partially-implemented real-time systems | 15 | 1.08 | 1997 |
| Automated Deduction in a Graphical Temporal Logic | 1 | 0.35 | 1996 |
| Generating oracles from your favorite temporal logic specifications | 47 | 2.58 | 1996 |
| Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic | 12 | 0.82 | 1996 |
| The Real-Time Graphical Interval Logic Toolset | 7 | 0.79 | 1996 |
| Axiomatizations Of Interval Logics | 5 | 0.69 | 1995 |
| Oracles for checking temporal properties of concurrent systems | 48 | 3.82 | 1994 |
| First-Order Future Interval Logic | 3 | 0.70 | 1994 |
| A System for Automated Deduction in Graphical Interval Logic | 0 | 0.34 | 1994 |
| Visual Specifications for Temporal Reasoning | 6 | 0.91 | 1994 |
| A Real-Time Interval Logic and Its Decision Procedure | 13 | 1.25 | 1993 |
| A Graphical Interval Logic Toolset for Verifying Concurrent Systems | 17 | 1.53 | 1993 |
| Really Visual Temporal Reasoning | 10 | 1.21 | 1993 |
| A Visual Model for Ada Tasking | 0 | 0.34 | 1993 |
| Visual tools for temporal reasoning | 10 | 0.65 | 1993 |
| An automata-theoretic decision procedure for propositional temporal logic with since and until | 14 | 1.44 | 1992 |
| An Automata-Theoretic Decision Procedure for Future Interval Logic | 15 | 1.45 | 1992 |
| Experiments with an improved constrained expression toolset | 5 | 0.77 | 1991 |
| Automated Analysis of Concurrent Systems with the Constrained Expression Toolset | 63 | 12.39 | 1991 |
| Using symbolic execution for verification of Ada tasking programs | 23 | 2.69 | 1990 |
| Constrained expressions: toward broad applicability of analysis methods for distributed software systems | 19 | 3.15 | 1988 |
