A Verified Integration of Parallel Programming Paradigms in CC++. - Paolo A. G. Sivilotti (IPPS, 1994)

A World-Wide Distributed System Using Java and the Internet. - K. Mani Chandy; Adam Rifkin; Paolo A. G. Sivilotti; Jacob Mandelson; Matthew Richardson; Wesley Tanaka; Luke Weisman (HPDC, 1996)

A class of synchronization systems that permit the use of large atomic blocks. - Paolo A. G. Sivilotti (CASCON, 1998)

A Cottage Industry of Software Publishing: Implications for Theories of Composition. - K. Mani Chandy; Paolo A. G. Sivilotti; Joseph Kiniry (IPPS/SPDP Workshops, 1998)

A method for the specification, composition, and testing of distributed object systems. - Paolo A. G. Sivilotti (1998)

The specification of distributed objects: liveness and locality. - Paolo A. G. Sivilotti; Charles P. Giles (CASCON, 1999)

A Tool for Testing Liveness in Distributed Object Systems. - Charles P. Giles; Paolo A. G. Sivilotti (TOOLS (34), 2000)

The Specification and Testing of Quantified Progress Properties in Distributed Systems. - Prakash Krishnamurthy; Paolo A. G. Sivilotti (ICSE, 2001)

Increasing client-side confidence in remote component implementations. - Ramesh Jagannathan; Paolo A. G. Sivilotti (ESEC / SIGSOFT FSE, 2001)

Lazy Snapshorts. - Nigamanth Sridhar; Paolo A. G. Sivilotti (IASTED PDCS, 2002)

A Paradigm for Component-based Software Development in a Distributed Environment. - Ayesha Mascarenhas; Paolo A. G. Sivilotti (PDPTA, 2002)

Remote Belief: Preserving Volition for Loosely Coupled Processe. - Nuh Aydin; Paolo A. G. Sivilotti (ICDCS, 2003)

Introducing middle school girls to fault tolerant computing. - Paolo A. G. Sivilotti; Murat Demirbas (SIGCSE, 2003)

Dining Philosophers with Crash Locality 1. - Scott M. Pike; Paolo A. G. Sivilotti (ICDCS, 2004)

Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. - Paolo A. G. Sivilotti; Bruce W. Weide (SIGCSE, 2004)

A Container-Based Approach to Object-Oriented Product Lines. - Jason O. Hallstrom; Nigamanth Sridhar; Paolo A. G. Sivilotti; Anish Arora; William Leal (J. Object Technol., 2004)

Using parse tree validation to prevent SQL injection attacks. - Gregory Buehrer; Bruce W. Weide; Paolo A. G. Sivilotti (SEM, 2005)

The Impact of Laziness on the Performance of Snapshot Algorithms. - Zhijun Liu; Paolo A. G. Sivilotti (IASTED PDCS, 2005)

Plausible Clocks with Bounded Inaccuracy. - Brad T. Moore; Paolo A. G. Sivilotti (DISC, 2005)

Container-Based Component Deployment: A Case Study. - Nigamanth Sridhar; Jason O. Hallstrom; Paolo A. G. Sivilotti (SEKE, 2006)

The suitability of kinesthetic learning activities for teaching distributed algorithms. - Paolo A. G. Sivilotti; Scott M. Pike (SIGCSE, 2007)

A Distributed Maximal Scheduler for Strong Fairness. - Matthew Lang; Paolo A. G. Sivilotti (DISC, 2007)

A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26. - Paolo A. G. Sivilotti; Scott M. Pike (SIGACT News, 2007)

Scratching the surface of advanced topics in software engineering: a workshop module for middle school students. - Paolo A. G. Sivilotti; Stacey A. Laugel (SIGCSE, 2008)

On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving. - Matthew Lang; Paolo A. G. Sivilotti (ICDCS, 2009)

Interfaces first (and foremost) with Java. - Paolo A. G. Sivilotti; Matthew Lang (SIGCSE, 2010)

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. - Theodore P. Pavlic; Sai Prathyusha Peddi; Paolo A. G. Sivilotti; Bruce W. Weide (ICCPS, 2012)

Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (VSTTE, 2016)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)

Verification Benchmarks. - Paolo A. G. Sivilotti (ACM SIGSOFT Softw. Eng. Notes, 2018)

Formal Verification of a Java Component Using the RESOLVE Framework. - Laine E. Rumreich; Paolo A. G. Sivilotti (FroCoS, 2021)

An Array Abstraction to Amortize Reasoning About Parallel Client Code. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (SAI (1), 2021)

An Eventually Perfect Failure Detector on ADD Channels Using Clustering. - Laine E. Rumreich; Paolo A. G. Sivilotti (NETYS, 2022)