| 2012 | A Theory of Fault Recovery for Component-Based Models. Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler |
| 2012 | All-to-All Gradecast Using Coding with Byzantine Failures. John Bridgman, Vijay K. Garg |
| 2012 | BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. Mohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec |
| 2012 | Brief Announcement: Arbitrators in the Security Infrastructure. Shlomi Dolev, Niv Gilboa, Ofer Hermoni |
| 2012 | Brief Announcement: Detecting Users' Connectivity on Online Social Networks. Na Li, Sajal K. Das, Nan Zhang |
| 2012 | Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
| 2012 | Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino |
| 2012 | Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. Can Arda Muftuoglu, Péter Bokor, Neeraj Suri |
| 2012 | Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei |
| 2012 | Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore |
| 2012 | Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. Mahyar R. Malekpour |
| 2012 | Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner |
| 2012 | Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. Jingshu Chen, Sandeep S. Kulkarni |
| 2012 | Communication-Efficient Self-stabilization in Wireless Networks. Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
| 2012 | DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. Johannes Behl, Tobias Distler, Rüdiger Kapitza |
| 2012 | Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil |
| 2012 | Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents. Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro |
| 2012 | Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi |
| 2012 | From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. Colette Johnen, Fouzi Mekhaldi |
| 2012 | High-Level Executable Specifications of Distributed Algorithms. Yanhong A. Liu, Scott D. Stoller, Bo Lin |
| 2012 | Oblivious Assignment with m Slots. Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna |
| 2012 | On Finding Better Friends in Social Networks. Philipp Brandes, Roger Wattenhofer |
| 2012 | On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. Fukuhito Ooshita, Sébastien Tixeuil |
| 2012 | Optimal Grid Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil |
| 2012 | Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit |
| 2012 | Scalable Byzantine Agreement with a Random Beacon. Olumuyiwa Oluwasanmi, Jared Saia |
| 2012 | Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci |
| 2012 | Self-stabilizing Distributed Data Fusion. Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux |
| 2012 | Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma |
| 2012 | Self-stabilizing Local k-Placement of Replicas with Minimal Variance. Sven Köhler, Volker Turau, Gerhard Mentges |
| 2012 | Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings Andréa W. Richa, Christian Scheideler |
| 2012 | Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |