Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "SSS"( http://dblp.L3S.de/Venues/SSS )