Rosemary Monahan

Cited by

	All	Since 2018
Citations	745	299
h-index	14	11
i10-index	23	13

2003200420052006200720082009201020112012201320142015201620172018201920202021202220234 2 8 7 12 9 18 28 23 41 37 48 61 73 61 50 52 38 53 67 37

Public access

View all

14 articles

2 articles

available

not available

Based on funding mandates

Co-authors

James F. PowerLecturer, Computer Science, Maynooth UniversityVerified email at cs.nuim.ie
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Marieke HuismanVerified email at ewi.utwente.nl
Marie FarrellThe University of ManchesterVerified email at manchester.ac.uk
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Eyad AlkassarVerified email at wjpserver.cs.uni-saarland.de
Hao Wu 吴昊Maynooth UniversityVerified email at cs.nuim.ie
Matt LuckcuckLecturer at the University of DerbyVerified email at derby.ac.uk
Valentin WüstholzConsenSysVerified email at consensys.net
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Roderick ChapmanIndependent Software Engineering ConsultantVerified email at proteancode.com
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Stephan TobiesSynopsysVerified email at tobies.info
Tom RidgeIndependentVerified email at tom-ridge.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be

Rosemary Monahan

National Univeristy of Ireland

Verified email at mu.ie - Homepage

Formal Methods Verification Specification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011	76	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	64	2009
VerifyThis 2015 M Huisman, V Klebanov, R Monahan, T Michael International Journal on Software Tools for Technology Transfer, 1-9, 2016	51*	2016
Dafny meets the verification benchmarks challenge KRM Leino, R Monahan Verified Software: Theories, Tools, Experiments: Third International …, 2010	51	2010
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	44	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	30	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
An institution for Event-B M Farrell, R Monahan, JF Power Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 …, 2017	13	2017
Predicting SMT solver performance for software verification A Healy PQDT-Global, 2016	13	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
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	11	2014
VerifyThis verification competition 2012: organizers report M Huisman, V Klebanov, R Monahan KIT, Fakultät für Informatik, 2013	11	2013
FRETting about requirements: formalised requirements for an aircraft engine controller M Farrell, M Luckcuck, O Sheridan, R Monahan Requirements Engineering: Foundation for Software Quality: 28th …, 2022	10	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors