Fisler, Kathryn - Department of Computer Science, Worcester Polytechnic Institute

Advanced Search

Fisler, Kathryn - Department of Computer Science, Worcester Polytechnic Institute

Towards Diagrammability and Efficiency in Event Sequence Languages
Measuring the Effectiveness of Error Messages Designed for Novice Programmers
Bisimulation Minimization in an AutomataTheoretic Verification Framework \Lambda
Application and Theory of Petri Nets 1998 1 19th Int'l Conference ICATPN'98 LNCS, Springer Verlag Lisboa, Portugal, June 1998
On Tableau Constructions for Timing Diagrams Kathi Fisler
Parameterized Interfaces for Open System Verification of Product Lines Colin Blundell
Timing Diagrams: Formalization and Algorithmic Verification
Exploiting the Potential of Diagrams in Guiding Hardware Reasoning
Specifying and Reasoning about Dynamic Access-Control Policies
Temporal Modalities for Concisely Capturing Timing Hana Chockler1,2
Decomposing Verification Around End-User Features
A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts
Interfaces for Modular Feature Verification Harry C. Li
Modular Verification of Feature-Oriented Software Models
Two-Dimensional Regular Expressions for Compositional Bus Protocols
Modular Verification of Open Features Through Three-Valued Model Checking
Containment of Regular Languages in NonRegular Timing Diagram Languages is
Implementing Extensible Theorem Provers Kathi Fisler, Shriram Krishnamurthi, and Kathryn E. Gray
The Influence of Software Module Systems on Modular Verification
Verifying Cross-Cutting Features as Open Systems Computer Science
Verifying Aspect Advice Modularly Shriram Krishnamurthi
Bisimulation and Model Checking Kathi Fisler and Moshe Y. Vardi \Lambda
A UNIFIED APPROACH TO HARDWARE VERIFICATION THROUGH A HETEROGENEOUS LOGIC OF DESIGN
Verification and Change-Impact Analysis of Access-Control Policies