Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rosemary Monahan
2010 – today
- 2012
[c8]Zheng Cheng, Rosemary Monahan, James F. Power: A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31- [c7]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan: On the Organisation of Program Verification Competitions. COMPARE 2012: 50-59
- [i1]Hao Wu, Rosemary Monahan, James F. Power: Metamodel Instance Generation: A systematic literature review. CoRR abs/1211.6322 (2012)
- 2011
- [c6]Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
- [c5]Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich: The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21
- 2010
- [c4]K. Rustan M. Leino, Rosemary Monahan: Dafny Meets the Verification Benchmarks Challenge. VSTTE 2010: 112-126
2000 – 2009
- 2009
- [c3]K. Rustan M. Leino, Rosemary Monahan: Reasoning about comprehensions with first-order SMT solvers. SAC 2009: 615-622
- 2005
- [c2]Gareth Carter, Rosemary Monahan, Joseph M. Morris: Software Refinement with Perfect Developer. SEFM 2005: 363-373
1990 – 1999
- 1997
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-05 01:45 CEST by the dblp team