| The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 69 | 2011 |
| Reasoning about comprehensions with first-order SMT solvers KRM Leino, R Monahan Proceedings of the 2009 ACM symposium on Applied Computing, 615-622, 2009 | 58 | 2009 |
| Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas … V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... Benjamin Weiß, The 1st verified software competition: experience report …, 2011 | 41 | 2011 |
| Dafny meets the verification benchmarks challenge KRM Leino, R Monahan International Conference on Verified Software: Theories, Tools, and …, 2010 | 41 | 2010 |
| Reveal: A tool to reverse engineer class diagrams S Matzko, PJ Clarke, TH Gibbs, BA Malloy, JF Power, R Monahan Australian Computer Society, Inc., 2002 | 39 | 2002 |
| VerifyThis 2015 M Huisman, V Klebanov, R Monahan, T Michael International Journal on Software Tools for Technology Transfer, 1-9, 2016 | 38* | 2016 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... International Conference on Formal Verification of Object-Oriented Software …, 2011 | 38 | 2011 |
| Automatic verification of textbook programs that use comprehensions KRM Leino, R Monahan the authors, 2007 | 30 | 2007 |
| Exploiting attributed type graphs to generate metamodel instances using an SMT solver H Wu, R Monahan, JF Power 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 29 | 2013 |
| A sound execution semantics for ATL via translation validation Z Cheng, R Monahan, JF Power International Conference on Theory and Practice of Model Transformations …, 2015 | 24 | 2015 |
| Software refinement with perfect developer G Carter, R Monahan, JM Morris Third IEEE International Conference on Software Engineering and Formal …, 2005 | 24 | 2005 |
| Transforming event B models into verified c# implementations D Méry, R Monahan | 15 | 2013 |
| VerifyThis 2016: A program verification competition M Huisman, R Monahan, P Müller, E Poll Enschede, the Netherlands: University of Twente, Centre for Telematics and …, 2016 | 13 | 2016 |
| Metamodel instance generation: A systematic literature review H Wu, R Monahan, JF Power arXiv preprint arXiv:1211.6322, 2012 | 13 | 2012 |
| On the organisation of program verification competitions M Huisman, V Klebanov, R Monahan Proceedings of the 1st International Workshop on Comparative Empirical …, 2012 | 12 | 2012 |
| VerifyThis Verification Competition 2012: Organizers Report M Huisman, V Klebanov, R Monahan KIT, Fakultät für Informatik, 2013 | 10 | 2013 |
| Evaluating Software Verification Systems: Benchmarks and Competitions D Beyer, M Huisman, V Klebanov, R Monaham Dagstuhl reports 4 (4), 1-19, 2014 | 9 | 2014 |
| nExaminer: A semi-automated computer programming assignment assessment framework for Moodle Z Cheng, R Monahan, A Mooney | 7 | 2011 |
| Predicting SMT solver performance for software verification A Healy, R Monahan, JF Power arXiv preprint arXiv:1701.08466, 2017 | 6 | 2017 |
| VerifyThis 2012-A program verification competition. STTT 17 (6), 647–657 (2015) M Huisman, V Klebanov, R Monahan | 6 | |
James F. PowerLecturer, Computer Science, Maynooth UniversityVerified email at cs.nuim.ie
