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
5802005
The Margrave Tool for Firewall Analysis.
T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi
LISA 10, 1-18, 2010
1782010
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
1712006
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1522004
Modular verification of collaboration-based software designs
K Fisler, S Krishnamurthi
Proceedings of the 8th European software engineering conference held jointly …, 2001
1182001
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
1142011
Is there a best symbolic cycle-detection algorithm
K Fisler14, R Fraer, G Kamhi, MY Vardi, Z Yang13
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
1092001
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
1042006
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
922015
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
852011
The recurring rainfall problem
K Fisler
Proceedings of the tenth annual conference on International computing …, 2014
812014
Bisimulation and model checking
K Fisler, MY Vardi
CHARME 1703, 338-341, 1999
781999
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
732013
Foundations of incremental aspect model-checking
S Krishnamurthi, K Fisler
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (2), 7-es, 2007
712007
Modular verification of open features using three-valued model checking
HC Li, S Krishnamurthi, K Fisler
Automated Software Engineering 12, 349-382, 2005
652005
Obligations and their interaction with programs
DJ Dougherty, K Fisler, S Krishnamurthi
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
562007
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
542013
Interfaces for modular feature verification
HC Li, S Krishnamurthi, K Fisler
Proceedings 17th IEEE International Conference on Automated Software …, 2002
542002
13 Programming Paradigms and Beyond
S Krishnamurthi, K Fisler
The Cambridge handbook of computing education research, 377, 2019
512019
The system can't perform the operation now. Try again later.
Articles 1–20