Paolo A. G. Sivilotti
According to our database1, Paolo A. G. Sivilotti authored at least 30 papers between 1994 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
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
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009
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
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
Container-Based Component Deployment: A Case Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
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
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
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
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
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
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
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999
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
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996
Proceedings of the 8th International Symposium on Parallel Processing, 1994