Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martyn Thomas |
Accidental Systems, Hidden Assumptions and Safety Assurance. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Reid |
The New Software Testing Standard. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John A. McDermid, Andrew Rae |
Goal-Based Safety Standards: Promises and Pitfalls. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
Dynamic Regular Registers in Systems with Churn. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Armando Castañeda |
A Non-topological Proof for the Impossibility of k-Set Agreement. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard Anthony, Mariusz Pelc, Haffiz Suahib |
Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems. |
SSS |
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. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ingy Ramzy, Anish Arora |
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks. |
SSS |
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 |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec |
Social Market: Combining Explicit and Implicit Social Networks. |
SSS |
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. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed M. Saad, Binoy Ravindran |
Snake: Control Flow Distributed Software Transactional Memory. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kiniwa, Kensaku Kikuta |
Price Stabilization in Networks - What Is an Appropriate Model ? |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski |
Conflict-Free Replicated Data Types. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Santoro |
Computing in Time-Varying Networks. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau |
Space-Efficient Fault-Containment in Dynamic Networks. |
SSS |
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. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andréa W. Richa, Christian Scheideler, Phillip Stevens |
Self-Stabilizing De Bruijn Networks. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Cichon, Rafal Kapelko, Karol Marchwicki |
Brief Announcement: A Note on Replication of Documents. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toshimitsu Masuzawa |
Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence. |
SSS |
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. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote |
POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks. |
SSS |
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]. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju |
Building Self-stabilizing Overlay Networks with the Transitive Closure Framework. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter |
The South Zone: Distributed Algorithms for Alliances. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda |
The K-Observer Problem in Computer Networks. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shailesh Vaya |
Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Active Stabilization. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zohir Bouzid, Anissa Lamani |
Robot Networks with Homonyms: The Case of Patterns Formation. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernadette Charron-Bost, Henri Debrat, Stephan Merz |
Formal Verification of Consensus Algorithms Tolerating Malicious Faults. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Michel Raynal |
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Neeraj Kumar Singh 0001 |
Analysis of DSR Protocol in Event-B. |
SSS |
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. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore |
Brief Announcement: Sorting on Skip Chains. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler |
Corona: A Stabilizing Deterministic Message-Passing Skip List. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann |
Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Albert Farré Benet |
A Risk Driven Approach to testing Medical Device Software. |
SSS |
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 |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dewar |
A Pragmatic View of Formal Methods: the Hi-Lite Project. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kinnersly |
Safety Cases - what can we learn from Science? |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Parkinson |
Safety, Security and Multicore. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mike Parsons, Simon Scutt |
System Safety in an IT Service Organization. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vivien Hamilton |
Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alan Debenham |
Maintaining the Safety of Operational Health ICT Systems. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dewi Daniels |
Are we there yet? A Practitioner's View of DO-178C/ED-12C. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Armin Beer, Bernhard Peischl |
Testing of Safety-Critical Systems - a Structural Approach to Test Case Design. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ron Bell |
Introduction and Revision of IEC 61508. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bryan Bakker |
Testing Experiences of Safety-Critical Embedded Systems. |
SSS |
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. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Celestina Bianco |
Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Docker |
A Project Manager's View of Safety-Critical Systems. |
SSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mervyn Playle |
CE Marking - the Essential Requirements. |
SSS |
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. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson, Sayan Mitra |
Safe Flocking in Spite of Actuator Faults. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihalis Yannakakis |
Computation of Equilibria and Stable Solutions. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | S. Dov Gordon, Jonathan Katz, Ranjit Kumaresan, Arkady Yerukhimovich |
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eli Gafni, Sergio Rajsbaum |
Recursion in Distributed Computing. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb |
Brief Announcement: Fast Convergence in Route-Preservation. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein |
Adaptive Containment of Time-Bounded Byzantine Faults. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale |
Modeling and Analyzing Periodic Distributed Computations. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0008, Binoy Ravindran, Changsoo Kim |
Lightweight Live Migration for High Availability Cluster Service. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Michel Raynal |
On Adaptive Renaming under Eventually Limited Contention. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Michel Paquette |
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani |
Low Memory Distributed Protocols for 2-Coloring. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vedant Misra, Dion Harmon, Yaneer Bar-Yam |
Vulnerability Analysis of High Dimensional Complex Systems. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier |
Approximation of delta-Timeliness. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Junwhan Kim, Binoy Ravindran |
On Transactional Scheduling in Distributed Transactional Memory Systems. |
SSS |
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. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Stably Decidable Graph Languages by Mediated Population Protocols. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain |
Snap-Stabilizing Linear Message Forwarding. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil |
On Byzantine Containment Properties of the min + 1 Protocol. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fuad Abujarad, Sandeep S. Kulkarni |
Complexity Issues in Automated Model Revision without Explicit Legitimate State. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau |
A New Technique for Proving Self-stabilizing under the Distributed Scheduler. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leonid A. Levin |
Arcane Information, Solving Relations, and Church Censorship. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Lawrence L. Larmore, Hema Piniganti |
Self-stabilizing Leader Election in Dynamic Networks. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod |
Storage Capacity of Labeled Graphs. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Dhama, Oliver E. Theel |
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean R. S. Blair, Fredrik Manne, Rodica Mihai |
Efficient Self-stabilizing Graph Searching in Tree Networks. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec |
Computing in Social Networks. |
SSS |
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. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ezra N. Hoch, Michael Ben-Or, Danny Dolev |
A Fault-Resistant Asynchronous Clock Function. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Heverson Borba Ribeiro, Emmanuelle Anceaume |
A Comparative Study of Rateless Codes for P2P Persistent Storage. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Algorithmic Verification of Population Protocols. |
SSS |
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. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yechiam Yemini |
A Geometry of Networks. |
SSS |
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. |
SSS |
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. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
A Framework for Secure and Private P2P Publish/Subscribe. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|