Paolo A. G. Sivilotti

According to our database1, Paolo A. G. Sivilotti authored at least 30 papers between 1994 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Verification of a Java Component Using the RESOLVE Framework.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2018
Verification Benchmarks.
ACM SIGSOFT Softw. Eng. Notes, 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
Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2010
Interfaces first (and foremost) with Java.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving.
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

A Distributed Maximal Scheduler for Strong Fairness.
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
Plausible Clocks with Bounded Inaccuracy.
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

Using parse tree validation to prevent SQL injection attacks.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004
A Container-Based Approach to Object-Oriented Product Lines.
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

Dining Philosophers with Crash Locality 1.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

2003
Introducing middle school girls to fault tolerant computing.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Remote Belief: Preserving Volition for Loosely Coupled Processe.
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
Increasing client-side confidence in remote component implementations.
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
A Tool for Testing Liveness in Distributed Object Systems.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1999
The specification of distributed objects: liveness and locality.
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

1998
A Cottage Industry of Software Publishing: Implications for Theories of Composition.
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

A class of synchronization systems that permit the use of large atomic blocks.
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1996
A World-Wide Distributed System Using Java and the Internet.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

1994
A Verified Integration of Parallel Programming Paradigms in CC++.
Proceedings of the 8th International Symposium on Parallel Processing, 1994


  Loading...