Kathi Fisler

	2012
39		Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi: Features and object capabilities: reconciling two visions of modularity. AOSD 2012: 25-34
38		Kathi Fisler, Stephen Bloch: Program by design: from animations to data structures (abstract only). SIGCSE 2012: 661
	2011
37		Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi: Do values grow on trees?: expression integrity in functional programming. ICER 2011: 39-44
36		Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler: WeScheme: the browser is your programming environment. ITiCSE 2011: 163-167
35		Craig Jordan, Matt Knapp, Dan Mitchell, Mark Claypool, Kathi Fisler: CounterMeasures: A game for teaching computer security. NETGAMES 2011: 1-6
34		Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi: Measuring the effectiveness of error messages designed for novice programmers. SIGCSE 2011: 499-504
	2010
33		Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty: Embracing policy engineering. FoSER 2010: 109-110
32		Kathi Fisler, Shriram Krishnamurthi: A model of triangulating environments for policy authoring. SACMAT 2010: 3-12
31		John Clements, Kathi Fisler: "Little language" project modules. J. Funct. Program. 20(1): 3-18 (2010)
	2009
30		Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Towards an Operational Semantics for Alloy. FM 2009: 483-498
29		Kathi Fisler, Shriram Krishnamurthi: Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS 2009
	2008
28		Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
27		Kathi Fisler: Implementing domain-specific languages as the foundation of an honors intro CS course. SIGPLAN Notices 43(11): 66-70 (2008)
	2007
26		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
25		Kathi Fisler: Two-Dimensional Regular Expressions for Compositional Bus Protocols. FMCAD 2007: 154-157
24		Shriram Krishnamurthi, Kathi Fisler: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
	2006
23		Gary 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
22		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
21		Kathi Fisler: Toward diagrammability and efficiency in event-sequence languages. STTT 8(4-5): 431-447 (2006)
	2005
20		Hana Chockler, Kathi Fisler: Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190
19		Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz: Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205
18		Kathi Fisler, Shriram Krishnamurthi: Decomposing Verification Around End-User Features. VSTTE 2005: 74-81
17		Harry 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
16		Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck: Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
15		Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg: Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
	2003
14		Kathi Fisler: Towards Diagrammability and Efficiency in Event Sequence Languages. CHARME 2003: 185-199
	2002
13		Harry C. Li, Shriram Krishnamurthi, Kathi Fisler: Interfaces for Modular Feature Verification. ASE 2002: 195-204
12		Harry C. Li, Shriram Krishnamurthi, Kathi Fisler: Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98
11		Harry 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
9		Kathi Fisler, Shriram Krishnamurthi: Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE 2001: 152-163
8		Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
	1999
7		Kathi 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
5		Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
4		Kathi 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

1	Jean-Raymond Abrial	[23]
2	Don S. Batory	[23]
3	Stephen Bloch	[38]
4	Colin Blundell	[16]
5	Michael J. Butler	[23]
6	Hana Chockler	[20]
7	Mark Claypool	[35]
8	John Clements	[31]
9	Alessandro Coglio	[23]
10	Daniel J. Dougherty	[22] [26] [28] [30] [33]
11	Ranan Fraer	[8]
12	Theophilos Giannakopoulos	[30]
13	Claude Girault	[4]
14	Michael Greenberg	[15]
15	Eric C. R. Hehner	[23]
16	Pascal Van Hentenryck	[16]
17	Cliff B. Jones (Clifford B. Jones)	[23]
18	Simon L. Peyton Jones	[23]
19	Craig Jordan	[35]
20	Gila Kamhi	[8]
21	Matt Knapp	[35]
22	Shriram Krishnamurthi	[9] [11] [12] [13] [15] [16] [17] [18] [19] [22] [24] [26] [28] [29] [30] [32] [33] [34] [36] [37] [39]
23	Robert P. Kurshan	[2]
24	Gary T. Leavens	[23]
25	Harry C. Li	[11] [12] [13] [17]
26	Guillaume Marceau	[34] [37]
27	Leo A. Meyerovich	[19]
28	Dale Miller	[23]
29	Dan Mitchell	[35]
30	Salman Saghafi	[39]
31	Emmanuel Schanzer	[36]
32	Murali Sitaraman	[23]
33	Douglas R. Smith	[23]
34	Aaron Stump	[23]
35	Michael Carl Tschantz	[19]
36	Moshe Y. Vardi	[5] [7] [8] [10]
37	Zijiang Yang	[8]
38	Daniel Yoo	[28]
39	Danny Yoo	[36]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page