dblp.uni-trier.dewww.uni-trier.de

Kathi Fisler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
28EEShriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
27EEKathi Fisler: Implementing domain-specific languages as the foundation of an honors intro CS course. SIGPLAN Notices 43(11): 66-70 (2008)
2007
26EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
25EEKathi Fisler: Two-Dimensional Regular Expressions for Compositional Bus Protocols. FMCAD 2007: 154-157
24EEShriram Krishnamurthi, Kathi Fisler: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
2006
23EEGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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. GPCE 2006: 221-236
22EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
21EEKathi Fisler: Toward diagrammability and efficiency in event-sequence languages. STTT 8(4-5): 431-447 (2006)
2005
20EEHana Chockler, Kathi Fisler: Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190
19EEKathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz: Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205
18EEKathi Fisler, Shriram Krishnamurthi: Decomposing Verification Around End-User Features. VSTTE 2005: 74-81
17EEHarry C. Li, Shriram Krishnamurthi, Kathi Fisler: Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12(3): 349-382 (2005)
2004
16EEColin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
15EEShriram Krishnamurthi, Kathi Fisler, Michael Greenberg: Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
2003
14EEKathi Fisler: Towards Diagrammability and Efficiency in Event Sequence Languages. CHARME 2003: 185-199
2002
13EEHarry C. Li, Shriram Krishnamurthi, Kathi Fisler: Interfaces for Modular Feature Verification. ASE 2002: 195-204
12EEHarry C. Li, Shriram Krishnamurthi, Kathi Fisler: Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98
11EEHarry C. Li, Kathi Fisler, Shriram Krishnamurthi: The Influence of Software Module Systems on Modular Verification. SPIN 2002: 60-78
10 Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21(1): 39-78 (2002)
2001
9EEKathi Fisler, Shriram Krishnamurthi: Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE 2001: 152-163
8EEKathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
1999
7EEKathi Fisler, Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999: 338-341
6 Kathi Fisler: Timing Diagrams: Formalization and Algorithmic Verification. Journal of Logic, Language and Information 8(3): 323-361 (1999)
1998
5EEKathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
4EEKathi Fisler, Claude Girault: Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ICATPN 1998: 84-103
1997
3 Kathi Fisler: Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. CAV 1997: 155-166
2 Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247
1994
1 Kathi Fisler: Extending Formal Reasoning with Support for Hardware Diagrams. TPCD 1994: 298-303

Coauthor Index

1Jean-Raymond Abrial [23]
2Don S. Batory [23]
3Colin Blundell [16]
4Michael J. Butler [23]
5Hana Chockler [20]
6Alessandro Coglio [23]
7Daniel J. Dougherty [22] [26] [28]
8Ranan Fraer [8]
9Claude Girault [4]
10Michael Greenberg [15]
11Eric C. R. Hehner [23]
12Pascal Van Hentenryck [16]
13Cliff B. Jones [23]
14Simon L. Peyton Jones [23]
15Gila Kamhi [8]
16Shriram Krishnamurthi [9] [11] [12] [13] [15] [16] [17] [18] [19] [22] [24] [26] [28]
17Robert P. Kurshan [2]
18Gary T. Leavens [23]
19Harry C. Li [11] [12] [13] [17]
20Leo A. Meyerovich [19]
21Dale Miller [23]
22Murali Sitaraman [23]
23Douglas R. Smith [23]
24Aaron Stump [23]
25Michael Carl Tschantz [19]
26Moshe Y. Vardi [5] [7] [8] [10]
27Zijiang Yang [8]
28Daniel Yoo [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)