Paolo A. G. Sivilotti

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 6

Top Topics

Case Based Reasoner

Benchmark Suite

Formal Verification

Top Venues

Publications

Laine E. Rumreich, Paolo A. G. Sivilotti
An Eventually Perfect Failure Detector on ADD Channels Using Clustering. NETYS (2022)
Laine E. Rumreich, Paolo A. G. Sivilotti
Formal Verification of a Java Component Using the RESOLVE Framework. FroCoS (2021)
Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) (2021)
Paolo A. G. Sivilotti
Verification Benchmarks. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T (2017)
Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE (2016)
Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide
Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. ICCPS (2012)
Paolo A. G. Sivilotti, Matthew Lang
Interfaces first (and foremost) with Java. SIGCSE (2010)
Matthew Lang, Paolo A. G. Sivilotti
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving. ICDCS (2009)
Paolo A. G. Sivilotti, Stacey A. Laugel
Scratching the surface of advanced topics in software engineering: a workshop module for middle school students. SIGCSE (2008)
Paolo A. G. Sivilotti, Scott M. Pike
The suitability of kinesthetic learning activities for teaching distributed algorithms. SIGCSE (2007)
Paolo A. G. Sivilotti, Scott M. Pike
A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26. SIGACT News 38 (2) (2007)
Matthew Lang, Paolo A. G. Sivilotti
A Distributed Maximal Scheduler for Strong Fairness. DISC (2007)
Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti
Container-Based Component Deployment: A Case Study. SEKE (2006)
Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti
Using parse tree validation to prevent SQL injection attacks. SEM (2005)
Brad T. Moore, Paolo A. G. Sivilotti
Plausible Clocks with Bounded Inaccuracy. DISC (2005)
Zhijun Liu, Paolo A. G. Sivilotti
The Impact of Laziness on the Performance of Snapshot Algorithms. IASTED PDCS (2005)
Paolo A. G. Sivilotti, Bruce W. Weide
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. SIGCSE (2004)
Scott M. Pike, Paolo A. G. Sivilotti
Dining Philosophers with Crash Locality 1. ICDCS (2004)
Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal
A Container-Based Approach to Object-Oriented Product Lines. J. Object Technol. 3 (4) (2004)
Nuh Aydin, Paolo A. G. Sivilotti
Remote Belief: Preserving Volition for Loosely Coupled Processe. ICDCS (2003)
Paolo A. G. Sivilotti, Murat Demirbas
Introducing middle school girls to fault tolerant computing. SIGCSE (2003)
Ayesha Mascarenhas, Paolo A. G. Sivilotti
A Paradigm for Component-based Software Development in a Distributed Environment. PDPTA (2002)
Nigamanth Sridhar, Paolo A. G. Sivilotti
Lazy Snapshorts. IASTED PDCS (2002)
Ramesh Jagannathan, Paolo A. G. Sivilotti
Increasing client-side confidence in remote component implementations. ESEC / SIGSOFT FSE (2001)
Prakash Krishnamurthy, Paolo A. G. Sivilotti
The Specification and Testing of Quantified Progress Properties in Distributed Systems. ICSE (2001)
Charles P. Giles, Paolo A. G. Sivilotti
A Tool for Testing Liveness in Distributed Object Systems. TOOLS (34) (2000)
Paolo A. G. Sivilotti, Charles P. Giles
The specification of distributed objects: liveness and locality. CASCON (1999)
K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry
A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops (1998)
Paolo A. G. Sivilotti
A class of synchronization systems that permit the use of large atomic blocks. CASCON (1998)
K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman
A World-Wide Distributed System Using Java and the Internet. HPDC (1996)
Paolo A. G. Sivilotti
A Verified Integration of Parallel Programming Paradigms in CC++. IPPS (1994)