Paolo Bucci

	2011
12		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
11		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)
	2008
10		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
9		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)
	2007
8		Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide: Which pointer errors do students make? SIGCSE 2007: 9-13
	2005
7		Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni: Issues in performance certification for high-level automotive control software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
	2002
6		Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci: Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR 2002: 309-326
5		Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide: Algorithms and object-oriented programming: bridging the gap. SIGCSE 2002: 302-306
	2001
4		Paolo Bucci, Timothy J. Long, Bruce W. Weide: Do we really teach abstraction? SIGCSE 2001: 26-30
	2000
3		Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth: Reasoning about Software-Component Behavior. ICSR 2000: 266-283
	1999
2		Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
	1998
1		Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards: Providing intellectual focus to CS1/CS2. SIGCSE 1998: 252-256

Coauthor Index

1	Bruce M. Adcock	[8] [10] [12]
2	Tunc Aldemir	[9] [11]
3	S. A. Arndt	[11]
4	Steven Atkinson	[3]
5	Jeremy Avigad	[12]
6	Derek Bronish	[10] [12]
7	Stephen H. Edwards	[1]
8	E. Ekici	[11]
9	David Frazier	[10] [12]
10	Harvey M. Friedman (Harvey Friedman)	[12]
11	David S. Gibson	[1]
12	Sergio Guarro	[11]
13	Heather K. Harton	[10] [12]
14	Wayne D. Heym	[3] [5] [7] [8] [10] [12]
15	Joseph E. Hollingsworth	[1] [3] [8]
16	Jason Kirschenbaum	[9] [10] [11] [12]
17	Joan Krone	[12]
18	Gregory Kulczycki	[3]
19	Timothy J. Long	[1] [2] [3] [4] [5] [8]
20	D. Mandelli	[11]
21	L. Anthony Mangan	[9] [11]
22	D. W. Miller	[11]
23	Scott M. Pike	[3]
24	Giorgio Rizzoni	[7]
25	Murali Sitaraman	[1] [2] [3] [7] [10] [12]
26	Curtis Smith	[9]
27	Hampton Smith	[12]
28	Nigamanth Sridhar	[6]
29	X. Sun	[11]
30	Bruce W. Weide	[1] [2] [3] [4] [5] [6] [7] [8] [10] [12]
31	Ted Wood	[9]
32	Michael Yau	[11]

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