| 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 | 78 | 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 | 65 | 2009 |
| Dafny meets the verification benchmarks challenge KRM Leino, R Monahan International Conference on Verified Software: Theories, Tools, and …, 2010 | 51 | 2010 |
| VerifyThis 2015 M Huisman, V Klebanov, R Monahan, T Michael International Journal on Software Tools for Technology Transfer, 1-9, 2016 | 50* | 2016 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 45 | 2012 |
| 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 | 43 | 2002 |
| 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 | 37 | 2013 |
| A sound execution semantics for ATL via translation validation Z Cheng, R Monahan, JF Power Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 31 | 2015 |
| Automatic verification of textbook programs that use comprehensions KRM Leino, R Monahan the authors, 2007 | 30 | 2007 |
| Software refinement with perfect developer G Carter, R Monahan, JM Morris Third IEEE International Conference on Software Engineering and Formal …, 2005 | 25 | 2005 |
| Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom …, 2011 | 24 | 2011 |
| Transforming event B models into verified C# implementations D Méry, R Monahan | 19 | 2013 |
| VerifyThis 2016: A program verification competition M Huisman, R Monahan, P Muller, E Poll Enschede, the Netherlands: University of Twente, Centre for Telematics and …, 2016 | 18 | 2016 |
| Metamodel instance generation: A systematic literature review H Wu, R Monahan, JF Power arXiv preprint arXiv:1211.6322, 2012 | 18 | 2012 |
| FRETting about requirements: formalised requirements for an aircraft engine controller M Farrell, M Luckcuck, O Sheridan, R Monahan International Working Conference on Requirements Engineering: Foundation for …, 2022 | 15 | 2022 |
| Predicting SMT solver performance for software verification A Healy PQDT-Global, 2016 | 15 | 2016 |
| PACT: An initiative to introduce computational thinking to second-level education in Ireland A Mooney, J Duffin, TJ Naughton, R Monahan, JF Power, P Maguire | 13 | 2014 |
| An institution for Event-B M Farrell, R Monahan, JF Power International Workshop on Algebraic Development Techniques, 104-119, 2016 | 12 | 2016 |
| 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 | 11 | 2013 |
James F. PowerLecturer, Computer Science, Maynooth UniversityVerified email at cs.nuim.ie
