Rosemary Monahan
Rosemary Monahan
National Univeristy of Ireland
Verified email at NUIM.ie - Homepage
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
692011
Reasoning about comprehensions with first-order SMT solvers
KRM Leino, R Monahan
Proceedings of the 2009 ACM symposium on Applied Computing, 615-622, 2009
572009
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
412011
Dafny meets the verification benchmarks challenge
KRM Leino, R Monahan
International Conference on Verified Software: Theories, Tools, and …, 2010
412010
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
392002
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
382011
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
292013
Automatic verification of textbook programs that use comprehensions
KRM Leino, R Monahan
the authors, 2007
292007
Software refinement with perfect developer
G Carter, R Monahan, JM Morris
Third IEEE International Conference on Software Engineering and Formal …, 2005
242005
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
232015
Transforming event B models into verified c# implementations
D Méry, R Monahan
152013
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
132016
Metamodel instance generation: A systematic literature review
H Wu, R Monahan, JF Power
arXiv preprint arXiv:1211.6322, 2012
132012
On the organisation of program verification competitions
M Huisman, V Klebanov, R Monahan
Proceedings of the 1st International Workshop on Comparative Empirical …, 2012
122012
Evaluating Software Verification Systems: Benchmarks and Competitions
D Beyer, M Huisman, V Klebanov, R Monaham
Dagstuhl reports 4 (4), 1-19, 2014
92014
VerifyThis Verification Competition 2012: Organizers Report
M Huisman, V Klebanov, R Monahan
KIT, Fakultät für Informatik, 2013
92013
nExaminer: A semi-automated computer programming assignment assessment framework for Moodle
Z Cheng, R Monahan, A Mooney
72011
Predicting SMT solver performance for software verification
A Healy, R Monahan, JF Power
arXiv preprint arXiv:1701.08466, 2017
62017
VerifyThis 2012-A program verification competition. STTT 17 (6), 647–657 (2015)
M Huisman, V Klebanov, R Monahan
6
The system can't perform the operation now. Try again later.
Articles 1–20