Derek Bronish

	2011
8		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
7		Derek Bronish, Hampton Smith: Robust, generic, modularly-verified map: a software verification challenge problem. PLPV 2011: 27-30
6		Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian: Formalizing Reusable Aspect-Oriented Concurrency Control. SEKE 2011: 111-114
5		Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
	2010
4		Derek Bronish, Jason Kirschenbaum, Aditi Tagore: A benchmark- and competition-based approach to software engineering research. FoSER 2010: 43-46
	2009
3		Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide: Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR 2009: 31-40
2		Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide: Traditional assignment considered harmful. OOPSLA Companion 2009: 909-916
	2008
1		Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98

Coauthor Index

1	Bruce M. Adcock	[1] [2] [3] [5]
2	Eyad Alkassar	[8]
3	Rob Arthan	[8]
4	Jeremy Avigad	[5]
5	Paolo Bucci	[1] [5]
6	Rod Chapman	[8]
7	Ernie Cohen	[8]
8	David Frazier	[1] [5]
9	Harvey M. Friedman (Harvey Friedman)	[5]
10	Heather K. Harton	[1] [3] [5]
11	Wayne D. Heym	[1] [2] [5]
12	Mark A. Hillebrand	[8]
13	Bart Jacobs	[8]
14	Raffi Khatchadourian	[6]
15	Jason Kirschenbaum	[1] [2] [3] [4] [5]
16	Vladimir Klebanov	[8]
17	Joan Krone	[5]
18	Gary T. Leavens	[8]
19	K. Rustan M. Leino	[8]
20	Rosemary Monahan	[8]
21	Peter Müller	[8]
22	Frank Piessens	[8]
23	Scott M. Pike	[2]
24	Nadia Polikarpova	[8]
25	Tom Ridge (Thomas Ridge)	[8]
26	Natarajan Shankar	[8]
27	Murali Sitaraman	[1] [3] [5]
28	Jan Smans	[8]
29	Hampton Smith	[3] [5] [7]
30	Neelam Soundarajan	[6]
31	Aditi Tagore	[4]
32	Stephan Tobies	[8]
33	Thomas Tuerk	[8]
34	Mattias Ulbrich	[8]
35	Bruce W. Weide	[1] [2] [3] [5]
36	Benjamin Weiß	[8]
37	Valentin Wüstholz	[8]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page