Jason Kirschenbaum

	2011
7		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
6		Derek Bronish, Jason Kirschenbaum, Aditi Tagore: A benchmark- and competition-based approach to software engineering research. FoSER 2010: 43-46
5		Tunc Aldemir, Sergio Guarro, D. Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael Yau, E. Ekici, D. W. Miller, X. Sun, S. A. Arndt: Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. Rel. Eng. & Sys. Safety 95(10): 1011-1039 (2010)
	2009
4		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
3		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
2		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
1		Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis Smith, Ted Wood: Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability. Rel. Eng. & Sys. Safety 93(11): 1616-1627 (2008)

Coauthor Index

1	Bruce M. Adcock	[2] [3] [4] [7]
2	Tunc Aldemir	[1] [5]
3	S. A. Arndt	[5]
4	Jeremy Avigad	[7]
5	Derek Bronish	[2] [3] [4] [6] [7]
6	Paolo Bucci	[1] [2] [5] [7]
7	E. Ekici	[5]
8	David Frazier	[2] [7]
9	Harvey M. Friedman (Harvey Friedman)	[7]
10	Sergio Guarro	[5]
11	Heather K. Harton	[2] [4] [7]
12	Wayne D. Heym	[2] [3] [7]
13	Joan Krone	[7]
14	D. Mandelli	[5]
15	L. Anthony Mangan	[1] [5]
16	D. W. Miller	[5]
17	Scott M. Pike	[3]
18	Murali Sitaraman	[2] [4] [7]
19	Curtis Smith	[1]
20	Hampton Smith	[4] [7]
21	X. Sun	[5]
22	Aditi Tagore	[6]
23	Bruce W. Weide	[2] [3] [4] [7]
24	Ted Wood	[1]
25	Michael Yau	[5]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page