![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Paolo A. G. Sivilotti
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c29]Laine E. Rumreich, Paolo A. G. Sivilotti:
An Eventually Perfect Failure Detector on ADD Channels Using Clustering. NETYS 2022: 149-166 - 2021
- [c28]Laine E. Rumreich, Paolo A. G. Sivilotti:
Formal Verification of a Java Component Using the RESOLVE Framework. FroCoS 2021: 287-305 - [c27]Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) 2021: 346-362
2010 – 2019
- 2018
- [j3]Paolo A. G. Sivilotti:
Verification Benchmarks. ACM SIGSOFT Softw. Eng. Notes 43(3): 19 (2018) - 2017
- [c26]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: 202-211 - 2016
- [c25]Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE 2016: 119-128 - 2012
- [c24]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: 234 - 2010
- [c23]Paolo A. G. Sivilotti, Matthew Lang:
Interfaces first (and foremost) with Java. SIGCSE 2010: 515-519
2000 – 2009
- 2009
- [c22]Matthew Lang, Paolo A. G. Sivilotti:
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving. ICDCS 2009: 482-489 - 2008
- [c21]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: 291-295 - 2007
- [j2]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): 56-74 (2007) - [c20]Paolo A. G. Sivilotti, Scott M. Pike:
The suitability of kinesthetic learning activities for teaching distributed algorithms. SIGCSE 2007: 362-366 - [c19]Matthew Lang, Paolo A. G. Sivilotti:
A Distributed Maximal Scheduler for Strong Fairness. DISC 2007: 358-372 - 2006
- [c18]Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti:
Container-Based Component Deployment: A Case Study. SEKE 2006: 274-277 - 2005
- [c17]Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti:
Using parse tree validation to prevent SQL injection attacks. SEM 2005: 106-113 - [c16]Zhijun Liu, Paolo A. G. Sivilotti:
The Impact of Laziness on the Performance of Snapshot Algorithms. IASTED PDCS 2005: 307-313 - [c15]Brad T. Moore
, Paolo A. G. Sivilotti:
Plausible Clocks with Bounded Inaccuracy. DISC 2005: 214-228 - 2004
- [j1]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): 161-175 (2004) - [c14]Scott M. Pike, Paolo A. G. Sivilotti:
Dining Philosophers with Crash Locality 1. ICDCS 2004: 22-29 - [c13]Paolo A. G. Sivilotti, Bruce W. Weide:
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. SIGCSE 2004: 487-491 - 2003
- [c12]Nuh Aydin, Paolo A. G. Sivilotti:
Remote Belief: Preserving Volition for Loosely Coupled Processe. ICDCS 2003: 434-440 - [c11]Paolo A. G. Sivilotti, Murat Demirbas:
Introducing middle school girls to fault tolerant computing. SIGCSE 2003: 327-331 - 2002
- [c10]Nigamanth Sridhar, Paolo A. G. Sivilotti:
Lazy Snapshorts. IASTED PDCS 2002: 96-101 - [c9]Ayesha Mascarenhas, Paolo A. G. Sivilotti:
A Paradigm for Component-based Software Development in a Distributed Environment. PDPTA 2002: 1378-1384 - 2001
- [c8]Prakash Krishnamurthy, Paolo A. G. Sivilotti:
The Specification and Testing of Quantified Progress Properties in Distributed Systems. ICSE 2001: 201-210 - [c7]Ramesh Jagannathan, Paolo A. G. Sivilotti:
Increasing client-side confidence in remote component implementations. ESEC / SIGSOFT FSE 2001: 52-61 - 2000
- [c6]Charles P. Giles, Paolo A. G. Sivilotti:
A Tool for Testing Liveness in Distributed Object Systems. TOOLS (34) 2000: 319-328
1990 – 1999
- 1999
- [c5]Paolo A. G. Sivilotti, Charles P. Giles:
The specification of distributed objects: liveness and locality. CASCON 1999: 11 - 1998
- [c4]Paolo A. G. Sivilotti:
A class of synchronization systems that permit the use of large atomic blocks. CASCON 1998: 21 - [c3]K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry:
A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops 1998: 890-899 - 1996
- [c2]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: 11-18 - 1994
- [c1]Paolo A. G. Sivilotti:
A Verified Integration of Parallel Programming Paradigms in CC++. IPPS 1994: 44-50
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint