Rod Chapman

	2011
4		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
	2009
3		Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh: A Framework for Developing Feature-Rich Software Systems. ECBS 2009: 206-214
	2007
2		Rod Chapman: Correctness by construction: putting engineering (back) into software. SIGAda 2007: 100
1		Rod Chapman: MF1: security by construction. SIGAda 2007: 5-6

Coauthor Index

1	Eyad Alkassar	[4]
2	Rob Arthan	[4]
3	Derek Bronish	[4]
4	Ernie Cohen	[4]
5	Charles B. Haley	[3]
6	Mark A. Hillebrand	[4]
7	Bart Jacobs	[4]
8	Vladimir Klebanov	[4]
9	Robin C. Laney	[3]
10	Gary T. Leavens	[4]
11	K. Rustan M. Leino	[4]
12	Rosemary Monahan	[4]
13	Peter Müller	[4]
14	Bashar Nuseibeh	[3]
15	Frank Piessens	[4]
16	Nadia Polikarpova	[4]
17	Tom Ridge (Thomas Ridge)	[4]
18	Natarajan Shankar	[4]
19	Jan Smans	[4]
20	Stephan Tobies	[4]
21	Thomas Tuerk	[4]
22	Thein Than Tun	[3]
23	Mattias Ulbrich	[4]
24	Benjamin Weiß	[4]
25	Valentin Wüstholz	[4]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page