| 2012 | Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. | Jingshu Chen, Sandeep S. Kulkarni |
| 2012 | Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. | Antnio Casimiro, Jrg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, Jos Parizi, Rolf Johansson, Renato Librino |
| 2012 | Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. | Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit |
| 2012 | All-to-All Gradecast Using Coding with Byzantine Failures. | John Bridgman, Vijay K. Garg |
| 2012 | On Finding Better Friends in Social Networks. | Philipp Brandes, Roger Wattenhofer |
| 2012 | Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. | Franois Bonnet, Xavier Dfago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sbastien Tixeuil |
| 2012 | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2012 | DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. | Johannes Behl, Tobias Distler, Rdiger Kapitza |
| 2012 | Oblivious Assignment with m Slots. | Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna |
| 2012 | BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. | Mohammad Alaggan, Sbastien Gambs, Anne-Marie Kermarrec |
| 2012 | Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. | Jordan Adamek, Mikhail Nesterenko, Sbastien Tixeuil |
| 2012 | Self-stabilizing Local k-Placement of Replicas with Minimal Variance. | Sven Khler, Volker Turau, Gerhard Mentges |
| 2011 | Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels. | Shailesh Vaya |
| 2011 | Conflict-Free Replicated Data Types. | Marc Shapiro, Nuno M. Preguia, Carlos Baquero, Marek Zawirski |
| 2011 | Computing in Time-Varying Networks. | Nicola Santoro |
| 2011 | Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters. | Bjrn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann |
| 2011 | Snake: Control Flow Distributed Software Transactional Memory. | Mohamed M. Saad, Binoy Ravindran |
| 2011 | Self-Stabilizing De Bruijn Networks. | Andra W. Richa, Christian Scheideler, Phillip Stevens |
| 2011 | Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks. | Ingy Ramzy, Anish Arora |
| 2011 | Corona: A Stabilizing Deterministic Message-Passing Skip List. | Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler |
| 2011 | Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. | Achour Mostfaoui, Michel Raynal, Julien Stainer |
| 2011 | Analysis of DSR Protocol in Event-B. | Dominique Mry, Neeraj Kumar Singh |
| 2011 | Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence. | Toshimitsu Masuzawa |
| 2011 | The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System. | William Leal, Micah McCreery, Daniel Faria |
| 2011 | Dynamic Regular Registers in Systems with Churn. | Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |