Follow
Kathi Fisler
Kathi Fisler
Professor (Research) of Computer Science, Brown University
Verified email at cs.brown.edu - Homepage
Title
Cited by
Cited by
Year
Verification and change-impact analysis of access-control policies
K Fisler, S Krishnamurthi, LA Meyerovich, MC Tschantz
Proceedings of the 27th international conference on Software engineering …, 2005
6062005
The Margrave tool for firewall analysis
T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi
24th Large Installation System Administration Conference (LISA 10), 2010
1922010
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1802006
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1542004
Measuring the effectiveness of error messages designed for novice programmers
G Marceau, K Fisler, S Krishnamurthi
Proceedings of the 42nd ACM technical symposium on Computer science …, 2011
1292011
Modular verification of collaboration-based software designs
K Fisler, S Krishnamurthi
Proceedings of the 8th European software engineering conference held jointly …, 2001
1202001
Is there a best symbolic cycle-detection algorithm?
K Fisler, R Fraer, G Kamhi, MY Vardi, Z Yang
International Conference on Tools and Algorithms for the Construction and …, 2001
1112001
Verifying cross-cutting features as open systems
H Li, S Krishnamurthi, K Fisler
ACM SIGSOFT Software Engineering Notes 27 (6), 89-98, 2002
1072002
Roadmap for enhanced languages and methods to aid verification
GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...
Proceedings of the 5th international conference on Generative programming …, 2006
1062006
Transferring skills at solving word problems from computing to algebra through Bootstrap
E Schanzer, K Fisler, S Krishnamurthi, M Felleisen
Proceedings of the 46th ACM Technical symposium on computer science …, 2015
1012015
Mind your language: on novices' interactions with error messages
G Marceau, K Fisler, S Krishnamurthi
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and …, 2011
1002011
The recurring rainfall problem
K Fisler
Proceedings of the tenth annual conference on International computing …, 2014
912014
Bisimulation and model checking
K Fisler, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 1999
811999
Aluminum: principled scenario exploration through minimality
T Nelson, S Saghafi, DJ Dougherty, K Fisler, S Krishnamurthi
2013 35th International Conference on Software Engineering (ICSE), 232-241, 2013
762013
Foundations of incremental aspect model-checking
S Krishnamurthi, K Fisler
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (2), 7-es, 2007
732007
Modular verification of open features using three-valued model checking
HC Li, S Krishnamurthi, K Fisler
Automated Software Engineering 12, 349-382, 2005
662005
13 Programming Paradigms and Beyond
S Krishnamurthi, K Fisler
The Cambridge handbook of computing education research, 2019
652019
Obligations and their interaction with programs
DJ Dougherty, K Fisler, S Krishnamurthi
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
572007
A balance of power: Expressive, analyzable controller programming
T Nelson, A Guha, DJ Dougherty, K Fisler, S Krishnamurthi
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
552013
Interfaces for modular feature verification
HC Li, S Krishnamurthi, K Fisler
Proceedings 17th IEEE International Conference on Automated Software …, 2002
542002
The system can't perform the operation now. Try again later.
Articles 1–20