Paolo Bucci

According to our database, Paolo Bucci authored at least 16 papers between 1994 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2013

A Language for Building Verified Software Components.

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

Proceedings of the Safe and Secure Software Reuse, 2013

2011

Building a push-button RESOLVE verifier: Progress and challenges.

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

Formal Aspects Comput., 2011

2010

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.

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

Reliab. Eng. Syst. Saf., 2010

2008

Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability.

Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis L. Smith, Ted Wood

Reliab. Eng. Syst. Saf., 2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008

2007

Which pointer errors do students make?

Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2005

Issues in performance certification for high-level automotive control software.

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni

ACM SIGSOFT Softw. Eng. Notes, 2005

2002

Algorithms and object-oriented programming: bridging the gap.

Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.

Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci

Proceedings of the Software Reuse: Methods, 2002

2001

Do we really teach abstraction?

Paolo Bucci, Timothy J. Long, Bruce W. Weide

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999

Client view first: an exodus from implementation-biased teaching.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998

Teaching software architecture principles in CS1/CS2.

Paolo Bucci, Timothy J. Long, Bruce W. Weide

Proceedings of the Third International Workshop on Software Architecture, 1998

Providing intellectual focus to CS1/CS2.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

1994

Part III: implementing components in RESOLVE.

Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994