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. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin, Dan Dobre, Marko Vukolic |
Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hung Tran-The, Luís E. T. Rodrigues |
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour |
SMT-Based Synthesis of Distributed Self-stabilizing Systems. |
SSS |
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 |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann |
On Stabilizing Departures in Overlay Networks. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | George Saad, Jared Saia |
Self-healing Computation. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Janson, Christian Schindelhauer |
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks. |
SSS |
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. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman |
Dependable Decentralized Cooperation with the Help of Reliability Estimation. |
SSS |
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. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda |
Incremental Verification of Computing Policies. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir |
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Maurer, Toshimitsu Masuzawa |
Edge Coloring Despite Transient and Permanent Faults. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber |
Transactional Encoding for Tolerating Transient Hardware Errors. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance under Synchronous Semantics. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour |
Zone-Based Synthesis of Strict 2-Phase Fault Recovery. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Knockel, George Saad, Jared Saia |
Self-Healing of Byzantine Faults. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
Naming and Counting in Anonymous Unknown Dynamic Networks. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh |
Low-Communication Self-stabilizing Leader Election in Large Networks. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alex P. Klinkhamer, Ali Ebnenasir |
Verifying Livelock Freedom on Parameterized Rings and Chains. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen |
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc |
Local Decision and Verification with Bounded-Size Outputs. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Narges Fallahi, Borzoo Bonakdarpour |
How Good is Weak-Stabilization? |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kuznetsov |
Universal Model Simulation: BG and Extended BG as Examples. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. |
SSS |
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. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoshisato Sakai |
Analyzing Convergence and Reachability of Asynchronous Iterations. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
Counting the Number of Homonyms in Dynamic Networks. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ling Zhu 0001, Sandeep S. Kulkarni |
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. |
SSS |
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 |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veronica Estrada Galiñanes, Pascal Felber |
Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Hironobu Kanzaki |
Scalable Estimation of Network Average Degree. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Lawrence L. Larmore |
Leader Election and Centers and Medians in Tree Networks. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Buddhadeb Sau, Krishnendu Mukhopadhyaya |
Localizability of Wireless Sensor Networks: Beyond Wheel Extension. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil |
Linearizing Peer-to-Peer Systems with Oracles. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Natarajan, Lee Savoie, Neeraj Mittal |
Concurrent Wait-Free Red Black Trees. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero |
Self-stabilizing Balancing Algorithm for Containment-Based Trees. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Guilbault, Andrzej Pelc |
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line. |
SSS |
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. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Omri Liba, Elad Michael Schiller |
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev, Janne H. Korhonen, Christoph Lenzen 0001, Joel Rybicki, Jukka Suomela |
Synchronous Counting and Computational Algorithm Design. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei |
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Niv Gilboa, Ofer Hermoni |
Brief Announcement: Arbitrators in the Security Infrastructure. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec |
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna |
Oblivious Assignment with m Slots. |
SSS |
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. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0001, Volker Turau, Gerhard Mentges |
Self-stabilizing Local k-Placement of Replicas with Minimal Variance. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Neggazi, Mohammed Haddad 0001, Hamamache Kheddouci |
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Communication-Efficient Self-stabilization in Wireless Networks. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen, Fouzi Mekhaldi |
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Brandes, Roger Wattenhofer |
On Finding Better Friends in Social Networks. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olumuyiwa Oluwasanmi, Jared Saia |
Scalable Byzantine Agreement with a Random Beacon. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler |
A Theory of Fault Recovery for Component-Based Models. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mahyar R. Malekpour |
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jingshu Chen, Sandeep S. Kulkarni |
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. |
SSS |
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 |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux |
Self-stabilizing Distributed Data Fusion. |
SSS |
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). |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller, Bo Lin |
High-Level Executable Specifications of Distributed Algorithms. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fukuhito Ooshita, Sébastien Tixeuil |
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Bridgman, Vijay K. Garg |
All-to-All Gradecast Using Coding with Byzantine Failures. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Behl, Tobias Distler, Rüdiger Kapitza |
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Bearfield |
Taking Safe Decisions in the GB Railway Industry. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hobbs, Martin Lloyd |
The Application of Bayesian Belief Networks to Assurance Case Preparation. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
CyberSafety: CyberSecurity and Safety-Critical Software Engineering. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roger Rivett |
The Challenge of Technological Change in the Automotive Industry. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graham R. Braithwaite |
Accident Investigation - are we reaching the Systemic Causes of Accidents? |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Keith Armstrong |
Including Electromagnetic Interference (EMI) in Functional Safety Risk Assessments. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mike Parsons |
Safety Levels in a Commercial Context. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Audrey Canning |
The Need for a Community for System and Functional Safety Professionals. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fergus Duncan |
At the Sharp End: developing and validating Safety Critical Software. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allan Bain |
Do we truly understand Safety Culture? |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Derek Fowler, Ronald Pierce |
Safety Engineering - a Perspective on Systems Engineering. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Odd Nordland |
A Devil's Advocate on SIL 4. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sirma Celik |
Safety Process Implementation for Unmanned Aerial Systems. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiji Ishima, Minoru Mori |
Risk Analysis and Development of an IPNetwork-based Railway Signal Control System. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Braband |
A Risk-based Approach towards Assessment of Potential Safety Deficiencies. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hampton |
Survey of Safety Architectural Patterns. |
SSS |
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. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Ladkin |
The Fukushima Accident. |
SSS |
2012 |
DBLP DOI BibTeX RDF |
|