Rosemary Monahan

	2011
5		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
	2010
4		K. Rustan M. Leino, Rosemary Monahan: Dafny Meets the Verification Benchmarks Challenge. VSTTE 2010: 112-126
	2009
3		K. Rustan M. Leino, Rosemary Monahan: Reasoning about comprehensions with first-order SMT solvers. SAC 2009: 615-622
	2005
2		Gareth Carter, Rosemary Monahan, Joseph M. Morris: Software Refinement with Perfect Developer. SEFM 2005: 363-373
	1997
1		Rosemary Monahan, Franz Geiselbrechtinger: Tactics for Transformational Programming. IWFM 1997

Coauthor Index

1	Eyad Alkassar	[5]
2	Rob Arthan	[5]
3	Derek Bronish	[5]
4	Gareth Carter	[2]
5	Rod Chapman	[5]
6	Ernie Cohen	[5]
7	Franz Geiselbrechtinger	[1]
8	Mark A. Hillebrand	[5]
9	Bart Jacobs	[5]
10	Vladimir Klebanov	[5]
11	Gary T. Leavens	[5]
12	K. Rustan M. Leino	[3] [4] [5]
13	Joseph M. Morris	[2]
14	Peter Müller	[5]
15	Frank Piessens	[5]
16	Nadia Polikarpova	[5]
17	Tom Ridge (Thomas Ridge)	[5]
18	Natarajan Shankar	[5]
19	Jan Smans	[5]
20	Stephan Tobies	[5]
21	Thomas Tuerk	[5]
22	Mattias Ulbrich	[5]
23	Benjamin Weiß	[5]
24	Valentin Wüstholz	[5]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page