Paolo A. G. Sivilotti
According to our database1,
Paolo A. G. Sivilotti
authored at least 33 papers
between 1994 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
2
1
1
1
1
1
1
2
1
3
2
2
2
2
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Networked Systems - 10th International Conference, 2022
2021
Proceedings of the Intelligent Computing, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2018
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
2016
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
2012
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
2010
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
2009
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009
2008
Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
2007
A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26.
SIGACT News, 2007
Proceedings of the Distributed Computing, 21st International Symposium, 2007
The suitability of kinesthetic learning activities for teaching distributed algorithms.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007
2006
Container-Based Component Deployment: A Case Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
2005
Proceedings of the Distributed Computing, 19th International Conference, 2005
The Impact of Laziness on the Performance of Snapshot Algorithms.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005
2004
J. Object Technol., 2004
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
2003
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
2002
A Paradigm for Component-based Software Development in a Distributed Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Lazy Snapshorts.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
The Specification and Testing of Quantified Progress Properties in Distributed Systems.
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
1999
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999
1998
A method for the specification, composition, and testing of distributed object systems.
PhD thesis, 1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998
1996
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996
1994
Proceedings of the 8th International Symposium on Parallel Processing, 1994