Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martyn Thomas |
Accidental Systems, Hidden Assumptions and Safety Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 1-9, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Reid |
The New Software Testing Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 237-255, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John A. McDermid, Andrew Rae |
Goal-Based Safety Standards: Promises and Pitfalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 257-270, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
Dynamic Regular Registers in Systems with Churn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 296-310, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Armando Castañeda |
A Non-topological Proof for the Impossibility of k-Set Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 108-119, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | William Leal, Micah McCreery, Daniel Faria |
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 326-340, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard Anthony, Mariusz Pelc, Haffiz Suahib |
Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 435-436, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Anne-Marie Kermarrec, Lawrence L. Larmore, Erwan Le Merrer |
Brief Announcement: A Stable and Robust Membership Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 441-442, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fawaz M. Al-Azemi, Mehmet Hakan Karaata |
Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 433-434, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ingy Ramzy, Anish Arora |
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 371-385, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Défago, Franck Petit, Vincent Villain (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-642-24549-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec |
Social Market: Combining Explicit and Implicit Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 193-207, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis |
The Computational Power of Simple Protocols for Self-awareness on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 135-147, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev |
Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 223-237, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed M. Saad, Binoy Ravindran |
Snake: Control Flow Distributed Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 238-252, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kiniwa, Kensaku Kikuta |
Price Stabilization in Networks - What Is an Appropriate Model ? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 283-295, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski |
Conflict-Free Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 386-400, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët |
Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 47-61, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Santoro |
Computing in Time-Varying Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 4, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau |
Space-Efficient Fault-Containment in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 311-325, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad |
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 32-46, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni |
Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 437-438, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andréa W. Richa, Christian Scheideler, Phillip Stevens |
Self-Stabilizing De Bruijn Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 416-430, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Cichon, Rafal Kapelko, Karol Marchwicki |
Brief Announcement: A Note on Replication of Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 439-440, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toshimitsu Masuzawa |
Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 1-3, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
Self-stabilizing Labeling and Ranking in Ordered Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 148-162, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yonghwan Kim 0001, Tadashi Araragi, Junya Nakamura 0001, Toshimitsu Masuzawa |
Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 445-446, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote |
POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 253-267, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev, Matthias Függer, Christoph Lenzen 0001, Ulrich Schmid 0001 |
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 163-177, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda |
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 431-432, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju |
Building Self-stabilizing Overlay Networks with the Transitive Closure Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 62-76, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter |
The South Zone: Distributed Algorithms for Alliances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 178-192, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda |
The K-Observer Problem in Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 5-18, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shailesh Vaya |
Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 449-450, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Achour Mostéfaoui, Michel Raynal, Julien Stainer |
Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 341-355, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Active Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 77-91, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zohir Bouzid, Anissa Lamani |
Robot Networks with Homonyms: The Case of Patterns Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 92-107, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernadette Charron-Bost, Henri Debrat, Stephan Merz |
Formal Verification of Consensus Algorithms Tolerating Malicious Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 120-134, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Michel Raynal |
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 268-282, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Neeraj Kumar Singh 0001 |
Analysis of DSR Protocol in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 401-415, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz |
TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 208-222, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil |
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 19-31, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore |
Brief Announcement: Sorting on Skip Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 443-444, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler |
Corona: A Stabilizing Deterministic Message-Passing Skip List. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 356-370, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann |
Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 447-448, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Albert Farré Benet |
A Risk Driven Approach to testing Medical Device Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 157-168, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chris Dale, Tom Anderson 0001 (eds.) |
Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-0-85729-132-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dewar |
A Pragmatic View of Formal Methods: the Hi-Lite Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 233-248, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey |
Distinguishing Fact from Fiction in a System of Systems Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 55-72, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kinnersly |
Safety Cases - what can we learn from Science? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 25-40, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Parkinson |
Safety, Security and Multicore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 215-232, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mike Parsons, Simon Scutt |
System Safety in an IT Service Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 89-107, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vivien Hamilton |
Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 41-51, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon |
A New Approach to creating Clear Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 3-23, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alan Debenham |
Maintaining the Safety of Operational Health ICT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 127-141, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dewi Daniels |
Are we there yet? A Practitioner's View of DO-178C/ED-12C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 293-313, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Armin Beer, Bernhard Peischl |
Testing of Safety-Critical Systems - a Structural Approach to Test Case Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 187-211, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ron Bell |
Introduction and Revision of IEC 61508. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 273-291, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bryan Bakker |
Testing Experiences of Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 169-186, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim |
Testing of Safety-Critical Software Embedded in an Artificial Heart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 143-153, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Celestina Bianco |
Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 111-125, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Docker |
A Project Manager's View of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 73-88, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mervyn Playle |
CE Marking - the Essential Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 251-271, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthew P. Johnson 0001, Amotz Bar-Noy, Mani B. Srivastava |
Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 282-284, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson, Sayan Mitra |
Safe Flocking in Spite of Actuator Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 588-602, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihalis Yannakakis |
Computation of Equilibria and Stable Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 2, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | S. Dov Gordon, Jonathan Katz, Ranjit Kumaresan, Arkady Yerukhimovich |
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 144-158, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eli Gafni, Sergio Rajsbaum |
Recursion in Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 362-376, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb |
Brief Announcement: Fast Convergence in Route-Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 141-143, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein |
Adaptive Containment of Time-Bounded Byzantine Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 126-140, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale |
Modeling and Analyzing Periodic Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 191-205, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0008, Binoy Ravindran, Changsoo Kim |
Lightweight Live Migration for High Availability Cluster Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 420-434, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Michel Raynal |
On Adaptive Renaming under Eventually Limited Contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 377-387, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Michel Paquette |
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 267-281, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani |
Low Memory Distributed Protocols for 2-Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 303-318, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vedant Misra, Dion Harmon, Yaneer Bar-Yam |
Vulnerability Analysis of High Dimensional Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 560-572, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier |
Approximation of delta-Timeliness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 435-451, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Junwhan Kim, Binoy Ravindran |
On Transactional Scheduling in Distributed Transactional Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 347-361, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni |
"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 176-190, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Stably Decidable Graph Languages by Mediated Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 252-266, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain |
Snap-Stabilizing Linear Message Forwarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 546-559, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil |
On Byzantine Containment Properties of the min + 1 Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 96-110, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fuad Abujarad, Sandeep S. Kulkarni |
Complexity Issues in Automated Model Revision without Explicit Legitimate State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 206-220, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau |
A New Technique for Proving Self-stabilizing under the Distributed Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 65-79, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leonid A. Levin |
Arcane Information, Solving Relations, and Church Censorship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 1, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Lawrence L. Larmore, Hema Piniganti |
Self-stabilizing Leader Election in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 35-49, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod |
Storage Capacity of Labeled Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 573-587, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Dhama, Oliver E. Theel |
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 80-95, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean R. S. Blair, Fredrik Manne, Rodica Mihai |
Efficient Self-stabilizing Graph Searching in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 111-125, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec |
Computing in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 332-346, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yaser Houri, B. Amann 0001, Thomas Fuhrmann |
A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 519-530, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ezra N. Hoch, Michael Ben-Or, Danny Dolev |
A Fault-Resistant Asynchronous Clock Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 19-34, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Heverson Borba Ribeiro, Emmanuelle Anceaume |
A Comparative Study of Rateless Codes for P2P Persistent Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 489-503, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Algorithmic Verification of Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 221-235, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller, Gongxi Zhu |
Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 468-488, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 4-18, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yechiam Yemini |
A Geometry of Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 3, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ji Lu, Yaoxue Zhang, Yuezhi Zhou |
A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 452-467, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Pomportes, Joanna Tomasik, Anthony Busson, Véronique Vèque |
Self-stabilizing Algorithm of Two-Hop Conflict Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 288-302, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
A Framework for Secure and Private P2P Publish/Subscribe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 531-545, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|