Rosemary Monahan

Cited by

	All	Since 2017
Citations	652	271
h-index	14	10
i10-index	17	10

200320042005200620072008200920102011201220132014201520162017201820192020202120224 2 9 7 12 9 18 29 24 36 37 47 63 70 64 49 50 37 53 18

Public access

View all

12 articles

0 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
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Marie FarrellMaynooth UniversityVerified email at mu.ie
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
Zheng CHENGMOSEL-VERIDIS Team (LORIA, INRIA, UL), FranceVerified email at inria.fr
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
Valentin WüstholzConsenSysVerified email at consensys.net
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
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 RidgeDepartment of Informatics, University of LeicesterVerified email at le.ac.uk
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
Wojciech MostowskiHalmstad UniversityVerified email at hh.se

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, ... International Symposium on Formal Methods, 154-168, 2011	73	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	61	2009
Dafny meets the verification benchmarks challenge KRM Leino, R Monahan International Conference on Verified Software: Theories, Tools, and …, 2010	46	2010
VerifyThis 2015 M Huisman, V Klebanov, R Monahan, T Michael International Journal on Software Tools for Technology Transfer, 1-9, 2016	45*	2016
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	41	2002
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	39	2011
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	35	2013
Automatic verification of textbook programs that use comprehensions KRM Leino, R Monahan the authors, 2007	30	2007
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	29	2015
Software refinement with perfect developer G Carter, R Monahan, JM Morris Third IEEE International Conference on Software Engineering and Formal …, 2005	24	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	19	2011
Transforming event B models into verified c# implementations D Méry, R Monahan	16	2013
Metamodel instance generation: A systematic literature review H Wu, R Monahan, JF Power arXiv preprint arXiv:1211.6322, 2012	16	2012
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	15	2016
VerifyThis verification competition 2012: organizers report M Huisman, V Klebanov, R Monahan KIT, Fakultät für Informatik, 2013	12	2013
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
Predicting SMT solver performance for software verification A Healy PQDT-Global, 2016	11	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	9	2014
Evaluating Software Verification Systems: Benchmarks and Competitions D Beyer, M Huisman, V Klebanov, R Monaham Dagstuhl Reports 4 (4), 1-19, 2014	9	2014
Arís: Analogical Reasoning for reuse of Implementation & Specification. M Pitu, D Grijincu, P Li, A Saleem, R Monahan, D O'Donoghue Proceedings of AI4FM 2013, 2013	9	2013

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 this author

Cited by

Co-authors