Följ
Kathi Fisler
Kathi Fisler
Professor (Research) of Computer Science, Brown University
Verifierad e-postadress på cs.brown.edu - Startsida
Titel
Citeras av
Citeras av
År
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
6202005
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
2002010
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1852006
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
1372011
Modular verification of collaboration-based software designs
K Fisler, S Krishnamurthi
Proceedings of the 8th European software engineering conference held jointly …, 2001
1172001
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
1122001
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
1092015
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
1092011
Verifying cross-cutting features as open systems
H Li, S Krishnamurthi, K Fisler
ACM SIGSOFT Software Engineering Notes 27 (6), 89-98, 2002
1082002
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
The recurring rainfall problem
K Fisler
Proceedings of the tenth annual conference on International computing …, 2014
982014
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
832013
Bisimulation and model checking
K Fisler, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 1999
831999
13 Programming Paradigms and Beyond
S Krishnamurthi, K Fisler
The Cambridge handbook of computing education research, 2019
792019
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
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
572013
Obligations and their interaction with programs
DJ Dougherty, K Fisler, S Krishnamurthi
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
572007
Interfaces for modular feature verification
HC Li, S Krishnamurthi, K Fisler
Proceedings 17th IEEE International Conference on Automated Software …, 2002
532002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20