Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Florence Levé, Khaled Mohamed, Vincent Villain |
Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 299-313, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin, Dan Dobre, Marko Vukolic |
Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 1-17, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hung Tran-The, Luís E. T. Rodrigues |
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 328-342, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour |
SMT-Based Synthesis of Distributed Self-stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 165-179, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Felber, Vijay K. Garg (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-319-11763-8 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann |
On Stabilizing Departures in Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 48-62, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | George Saad, Jared Saia |
Self-healing Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 195-210, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Janson, Christian Schindelhauer |
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 135-149, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil |
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 237-251, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman |
Dependable Decentralized Cooperation with the Help of Reliability Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 283-298, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giang Nguyen 0002, Mathias Fischer 0001, Thorsten Strufe |
On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 33-47, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda |
Incremental Verification of Computing Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 226-236, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir |
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 18-32, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Maurer, Toshimitsu Masuzawa |
Edge Coloring Despite Transient and Permanent Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pp. 314-327, 2014, Springer, 978-3-319-11763-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Vilaça, Luís E. T. Rodrigues |
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 206-220, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber |
Transactional Encoding for Tolerating Transient Hardware Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 1-16, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance under Synchronous Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 266-280, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Neggazi, Volker Turau, Mohammed Haddad 0001, Hamamache Kheddouci |
A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 74-85, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour |
Zone-Based Synthesis of Strict 2-Phase Fault Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 357-359, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Knockel, George Saad, Jared Saia |
Self-Healing of Byzantine Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 98-112, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
Naming and Counting in Anonymous Unknown Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 281-295, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh |
Low-Communication Self-stabilizing Leader Election in Large Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 348-350, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alex P. Klinkhamer, Ali Ebnenasir |
Verifying Livelock Freedom on Parameterized Rings and Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 163-177, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen |
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 341-343, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc |
Local Decision and Verification with Bounded-Size Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 133-147, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain |
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 178-190, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Narges Fallahi, Borzoo Bonakdarpour |
How Good is Weak-Stabilization? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 148-162, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs, Jörg Nolte |
An Agile and Stable Neighborhood Protocol for WSNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 376-378, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kuznetsov |
Universal Model Simulation: BG and Extended BG as Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 17-31, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi |
An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 251-265, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 344-347, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit |
Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 363-366, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
Self-stabilizing (f, g)-Alliances with Safe Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 61-73, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoshisato Sakai |
Analyzing Convergence and Reachability of Asynchronous Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 360-362, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
Counting the Number of Homonyms in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 311-325, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ling Zhu 0001, Sandeep S. Kulkarni |
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 370-372, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-319-03088-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veronica Estrada Galiñanes, Pascal Felber |
Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 32-44, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Hironobu Kanzaki |
Scalable Estimation of Network Average Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 367-369, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Lawrence L. Larmore |
Leader Election and Centers and Medians in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 113-132, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Buddhadeb Sau, Krishnendu Mukhopadhyaya |
Localizability of Wireless Sensor Networks: Beyond Wheel Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 326-340, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil |
Linearizing Peer-to-Peer Systems with Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 221-236, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Natarajan, Lee Savoie, Neeraj Mittal |
Concurrent Wait-Free Red Black Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 45-60, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Ito, Yoshiaki Katayama, Koichi Wada 0001, Naohisa Takahashi |
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 373-375, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero |
Self-stabilizing Balancing Algorithm for Containment-Based Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 191-205, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Petig, Elad Michael Schiller, Philippas Tsigas |
Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 354-356, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Guilbault, Andrzej Pelc |
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 296-310, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 86-97, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Omri Liba, Elad Michael Schiller |
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 351-353, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev, Janne H. Korhonen, Christoph Lenzen 0001, Joel Rybicki, Jukka Suomela |
Synchronous Counting and Computational Algorithm Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 237-250, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil |
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 126-132, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei |
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 92-94, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Niv Gilboa, Ofer Hermoni |
Brief Announcement: Arbitrators in the Security Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 236-238, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec |
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 202-216, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna |
Oblivious Assignment with m Slots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 187-201, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang 0022, Makan Pourzandi |
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 111-125, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson 0002, Renato Librino |
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 232-235, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau, Gerhard Mentges |
Self-stabilizing Local k-Placement of Replicas with Minimal Variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 16-30, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Can Arda Muftuoglu, Péter Bokor, Neeraj Suri |
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 183-186, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 77-89, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner |
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 90-91, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Neggazi, Mohammed Haddad 0001, Hamamache Kheddouci |
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 31-42, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit |
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 239-252, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Communication-Efficient Self-stabilization in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 1-15, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro |
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 299-313, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen, Fouzi Mekhaldi |
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 163-178, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Na Li 0008, Sajal K. Das 0001, Nan Zhang 0004 |
Brief Announcement: Detecting Users' Connectivity on Online Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 279-281, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Brandes, Roger Wattenhofer |
On Finding Better Friends in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 266-278, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olumuyiwa Oluwasanmi, Jared Saia |
Scalable Byzantine Agreement with a Random Beacon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 253-265, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler |
A Theory of Fault Recovery for Component-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 314-328, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mahyar R. Malekpour |
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 43-45, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jingshu Chen, Sandeep S. Kulkarni |
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 179-182, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andréa W. Richa, Christian Scheideler (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-642-33535-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | François Bonnet 0001, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 282-284, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux |
Self-stabilizing Distributed Data Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 148-162, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma 0001 |
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 133-147, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller, Bo Lin |
High-Level Executable Specifications of Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 95-110, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fukuhito Ooshita, Sébastien Tixeuil |
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 49-63, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Bridgman, Vijay K. Garg |
All-to-All Gradecast Using Coding with Byzantine Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 285-298, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil |
Optimal Grid Exploration by Asynchronous Oblivious Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 64-76, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Behl, Tobias Distler, Rüdiger Kapitza |
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 217-231, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore |
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, pp. 46-48, 2012, Springer, 978-3-642-33535-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Bearfield |
Taking Safe Decisions in the GB Railway Industry. ![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. 75-83, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hobbs, Martin Lloyd |
The Application of Bayesian Belief Networks to Assurance Case Preparation. ![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. 159-176, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
CyberSafety: CyberSecurity and Safety-Critical Software Engineering. ![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. 85-95, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roger Rivett |
The Challenge of Technological Change in the Automotive Industry. ![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. 35-42, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graham R. Braithwaite |
Accident Investigation - are we reaching the Systemic Causes of Accidents? ![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. 177-188, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Keith Armstrong |
Including Electromagnetic Interference (EMI) in Functional Safety Risk Assessments. ![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. 97-114, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mike Parsons |
Safety Levels in a Commercial Context. ![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. 271-284, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Audrey Canning |
The Need for a Community for System and Functional Safety Professionals. ![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. 25-33, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fergus Duncan |
At the Sharp End: developing and validating Safety Critical Software. ![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. 225-235, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allan Bain |
Do we truly understand Safety Culture? ![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. 11-24, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Derek Fowler, Ronald Pierce |
Safety Engineering - a Perspective on Systems Engineering. ![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. 115-136, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Odd Nordland |
A Devil's Advocate on SIL 4. ![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. 285-292, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sirma Celik |
Safety Process Implementation for Unmanned Aerial Systems. ![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. 43-53, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiji Ishima, Minoru Mori |
Risk Analysis and Development of an IPNetwork-based Railway Signal Control System. ![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. 55-74, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Braband |
A Risk-based Approach towards Assessment of Potential Safety Deficiencies. ![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. 209-223, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hampton |
Survey of Safety Architectural Patterns. ![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. 137-158, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Dale, Tom Anderson 0001 (eds.) |
Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-4471-2493-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Ladkin |
The Fukushima Accident. ![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. 189-207, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|