Paolo Bucci

According to our database1, Paolo Bucci authored at least 14 papers between 1998 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2013

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

2010
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.
Reliab. Eng. Syst. Saf., 2010

2008
Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability.
Reliab. Eng. Syst. Saf., 2008

Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008

2007
Which pointer errors do students make?
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2005
Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Softw. Eng. Notes, 2005

2002
Algorithms and object-oriented programming: bridging the gap.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.
Proceedings of the Software Reuse: Methods, 2002

2001
Do we really teach abstraction?
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

2000
Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999
Client view first: an exodus from implementation-biased teaching.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998
Providing intellectual focus to CS1/CS2.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998


  Loading...