The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kathi Fisler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kathi Fisler, Claude Girault
    Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:84-103 [Conf]
  2. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
    Specifying and Reasoning About Dynamic Access-Control Policies. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:632-646 [Conf]
  3. Kathi Fisler
    Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:155-166 [Conf]
  4. Hana Chockler, Kathi Fisler
    Temporal Modalities for Concisely Capturing Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:176-190 [Conf]
  5. Kathi Fisler
    Towards Diagrammability and Efficiency in Event Sequence Languages. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:185-199 [Conf]
  6. Kathi Fisler, Moshe Y. Vardi
    Bisimulation and Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:338-341 [Conf]
  7. Kathi Fisler, Robert P. Kurshan
    Verifying VHDL Designs with COSPAN. [Citation Graph (0, 0)][DBLP]
    Formal Hardware Verification, 1997, pp:206-247 [Conf]
  8. Kathi Fisler, Moshe Y. Vardi
    Bisimulation Minimization in an Automata-Theoretic Verification Framework. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:115-132 [Conf]
  9. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  10. Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz
    Verification and change-impact analysis of access-control policies. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:196-205 [Conf]
  11. Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
    Parameterized Interfaces for Open System Verification of Product Lines. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:258-267 [Conf]
  12. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
    Interfaces for Modular Feature Verification. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:195-204 [Conf]
  13. Kathi Fisler, Shriram Krishnamurthi
    Modular verification of collaboration-based software designs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:152-163 [Conf]
  14. Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
    Verifying aspect advice modularly. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:137-146 [Conf]
  15. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
    Verifying cross-cutting features as open systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:89-98 [Conf]
  16. Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
    The Influence of Software Module Systems on Modular Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:60-78 [Conf]
  17. Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
    Is There a Best Symbolic Cycle-Detection Algorithm? [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:420-434 [Conf]
  18. Kathi Fisler
    Extending Formal Reasoning with Support for Hardware Diagrams. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:298-303 [Conf]
  19. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
    Modular Verification of Open Features Using Three-Valued Model Checking. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:349-382 [Journal]
  20. Kathi Fisler, Moshe Y. Vardi
    Bisimulation Minimization and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:1, pp:39-78 [Journal]
  21. Kathi Fisler
    Timing Diagrams: Formalization and Algorithmic Verification. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:323-361 [Journal]
  22. Kathi Fisler
    Toward diagrammability and efficiency in event-sequence languages. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:431-447 [Journal]
  23. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
    Obligations and Their Interaction with Programs. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:375-389 [Conf]
  24. Shriram Krishnamurthi, Kathi Fisler
    Foundations of incremental aspect model-checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  25. Towards an Operational Semantics for Alloy. [Citation Graph (, )][DBLP]


  26. Two-Dimensional Regular Expressions for Compositional Bus Protocols. [Citation Graph (, )][DBLP]


  27. A model of triangulating environments for policy authoring. [Citation Graph (, )][DBLP]


  28. Alchemy: transmuting base alloy specifications into implementations. [Citation Graph (, )][DBLP]


  29. Escape from the matrix: lessons from a case-study in access-control requirements. [Citation Graph (, )][DBLP]


  30. Decomposing Verification Around End-User Features. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002