Kathi Fisler
Kathi Fisler
Professor of Computer Science, WPI
Verified email at cs.wpi.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
5202005
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1532006
The Margrave Tool for Firewall Analysis.
T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi
LISA, 1-18, 2010
1492010
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1432004
Modular verification of collaboration-based software designs
K Fisler, S Krishnamurthi
Proceedings of the 8th European software engineering conference held jointly …, 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
1062002
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
1052006
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
1052001
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
822011
Bisimulation and model checking
K Fisler, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 1999
711999
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
702015
Foundations of incremental aspect model-checking
S Krishnamurthi, K Fisler
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (2), 7-es, 2007
672007
Modular verification of open features using three-valued model checking
HC Li, S Krishnamurthi, K Fisler
Automated Software Engineering 12 (3), 349-382, 2005
642005
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
632011
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
592013
Interfaces for modular feature verification
HC Li, S Krishnamurthi, K Fisler
Proceedings 17th IEEE International Conference on Automated Software …, 2002
522002
Obligations and their interaction with programs
DJ Dougherty, K Fisler, S Krishnamurthi
European Symposium on Research in Computer Security, 375-389, 2007
502007
The recurring rainfall problem
K Fisler
Proceedings of the tenth annual conference on International computing …, 2014
492014
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
482013
Parameterized interfaces for open system verification of product lines
C Blundell, K Fisler, S Krishnamurthi, P Van Hentenrvck
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
412004
The system can't perform the operation now. Try again later.
Articles 1–20