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 | 618 | 2005 |
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 | 199 | 2010 |
Specifying and reasoning about dynamic access-control policies DJ Dougherty, K Fisler, S Krishnamurthi International Joint Conference on Automated Reasoning, 632-646, 2006 | 184 | 2006 |
Verifying aspect advice modularly S Krishnamurthi, K Fisler, M Greenberg ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004 | 154 | 2004 |
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 | 136 | 2011 |
Modular verification of collaboration-based software designs K Fisler, S Krishnamurthi Proceedings of the 8th European software engineering conference held jointly …, 2001 | 117 | 2001 |
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 | 112 | 2001 |
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 | 109 | 2011 |
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 | 108 | 2015 |
Verifying cross-cutting features as open systems H Li, S Krishnamurthi, K Fisler ACM SIGSOFT Software Engineering Notes 27 (6), 89-98, 2002 | 108 | 2002 |
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 | 106 | 2006 |
The recurring rainfall problem K Fisler Proceedings of the tenth annual conference on International computing …, 2014 | 97 | 2014 |
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 | 83 | 2013 |
Bisimulation and model checking K Fisler, MY Vardi Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 83 | 1999 |
13 Programming Paradigms and Beyond S Krishnamurthi, K Fisler The Cambridge handbook of computing education research, 2019 | 79 | 2019 |
Foundations of incremental aspect model-checking S Krishnamurthi, K Fisler ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (2), 7-es, 2007 | 73 | 2007 |
Modular verification of open features using three-valued model checking HC Li, S Krishnamurthi, K Fisler Automated Software Engineering 12, 349-382, 2005 | 66 | 2005 |
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 | 57 | 2013 |
Obligations and their interaction with programs DJ Dougherty, K Fisler, S Krishnamurthi Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007 | 56 | 2007 |
Interfaces for modular feature verification HC Li, S Krishnamurthi, K Fisler Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 53 | 2002 |