Searching for authors named "Kathi Fisler" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Timing Diagrams: Formalization and Algorithmic Verification
- …Timing Diagrams: Formalization and Algorithmic Verification Kathi Fisler Department of Computer…
- Cited by 8 (4 self) – Add To MetaCart
-
On Tableau Constructions for Timing Diagrams
- …On Tableau Constructions for Timing Diagrams Kathi Fisler Department of Computer Science Rice…
- Cited by 3 (2 self) – Add To MetaCart
-
Exploiting the Potential of Diagrams in Guiding Hardware Reasoning
- …Exploiting the Potential of Diagrams in Guiding Hardware Reasoning Kathi Fisler Department…
- Cited by 4 (0 self) – Add To MetaCart
-
A Canonical Form for Circuit Diagrams
- …A Canonical Form for Circuit Diagrams Kathi Fisler Department of Computer Science Lindley Hall…
- Cited by 1 (1 self) – Add To MetaCart
-
A Logical Formalization of Hardware Design Diagrams
- …A Logical Formalization of Hardware Design Diagrams Kathi Fisler Department of Computer Science…
- Cited by 4 (3 self) – Add To MetaCart
-
Extending Formal Reasoning with Support for Hardware Diagrams
- …Extending Formal Reasoning with Support for Hardware Diagrams Kathi Fisler Department of Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Containment of Regular Languages in Non-Regular Timing Diagram Languages is Decidable
- …Containment of Regular Languages in Non-Regular Timing Diagram Languages is Decidable Kathi Fisler…
- Cited by 6 (0 self) – Add To MetaCart
-
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
- … Protocol Kathi Fisler 1 and Claude Girault 1 2 1 Department of Computer Science, Rice University, 6100…
- Cited by 2 (0 self) – Add To MetaCart
-
Modular Verification of Feature-Oriented Software Models
- …Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Modular Verification of Collaboration-Based Software Designs
- …Modular Verification of Collaboration-Based Software Designs Kathi Fisler Department of Computer…
- Cited by 25 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
