Paolo Bucci
According to our database1,
Paolo Bucci
authored at least 16 papers
between 1994 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
0
1
2
3
1
1
1
1
1
1
1
1
1
2
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the Safe and Secure Software Reuse, 2013
2011
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
Proceedings of the Verified Software: Theories, 2008
2007
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
2002
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002
Proceedings of the Software Reuse: Methods, 2002
2001
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001
2000
Proceedings of the Software Reuse: Advances in Software Reusability, 2000
1999
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999
1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998
1994