Paolo Bucci - RankMe

16 papers A 5B 3Journal 5Unranked 3

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2013	B	`conf`	A Language for Building Verified Software Components. ICSR Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
2011	J	`jnl`	Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 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
2010	J	`jnl`	Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. Reliab. Eng. Syst. Saf. Tunc Aldemir, Sergio B. Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael K. Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt
2008	J	`jnl`	Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability. Reliab. Eng. Syst. Saf. Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis L. Smith, Ted Wood
2008	—	`conf`	Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
2007	A	`conf`	Which pointer errors do students make? SIGCSE Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide
2005	J	`jnl`	Issues in performance certification for high-level automotive control software. ACM SIGSOFT Softw. Eng. Notes Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni
2002	A	`conf`	Algorithms and object-oriented programming: bridging the gap. SIGCSE Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide
2002	B	`conf`	Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci
2001	A	`conf`	Do we really teach abstraction? SIGCSE Paolo Bucci, Timothy J. Long, Bruce W. Weide
2000	B	`conf`	Reasoning about Software-Component Behavior. ICSR Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
1999	A	`conf`	Client view first: an exodus from implementation-biased teaching. SIGCSE Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman
1998	A	`conf`	Providing intellectual focus to CS1/CS2. SIGCSE Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards
1998	—	`conf`	Teaching software architecture principles in CS1/CS2. ISAW@FSE Paolo Bucci, Timothy J. Long, Bruce W. Weide
1994	J	`jnl`	Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide