Search results for "Self-Stabilization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Sajal K. Das 0001, Ajoy Kumar Datta, Sébastien Tixeuil	Self-Stabilizing Algorithms in DAG Structured Networks.	ISPAN	1999	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, self-stabilization, directed acyclic graphs
19	Narutoshi Umemoto, Hirotsugu Kakugawa, Masafumi Yamashita	A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	ring orientation, fault-tolerance, Distributed algorithm, self-stabilization, ring network
19	Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju	A Self-Stabilizing Algorithm for the Maximum Flow Problem.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed algorithms, Self-stabilization, Maximum flow
19	Hirotsugu Kakugawa, Masafumi Yamashita	Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	unfair daemon, fault tolerance, distributed algorithms, self-stabilization, mutual exclusion, Ring networks
19	Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju	Fault-containing network protocols.	SAC	1997	DBLP DOI BibTeX RDF	fault-containment network, fault-tolerance, self-stabilization
19	Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta	Self-Stabilizing Depth-First Token Passing on Rooted Networks.	WDAG	1997	DBLP DOI BibTeX RDF	self-stabilization, Mutual exclusion, spanning tree, token passing
19	Amit Anil Nanavati	A simple self-stabilizing reset protocol.	SAC	1996	DBLP DOI BibTeX RDF	distributed algorithms, graph algorithms, self-stabilization, network protocols, I/O automata
19	Jaap-Henk Hoepman	Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings.	WDAG	1994	DBLP DOI BibTeX RDF	Communication, Synchronization, Shared Memory, Self-Stabilization, Orientation, Rings, Symmetry Breaking
19	Marina Papatriantafilou, Philippas Tsigas	On Self-Stabilizing Wait-Free Clock Synchronization.	SWAT	1994	DBLP DOI BibTeX RDF	PRAM computation model, Fault tolerance, Concurrency, Distributed Computing, Synchronization, Self-Stabilization, Synchronous Systems, Wait-Free Synchronization, Digital Clocks
19	Shing-Tsaan Huang	Leader Election in Uniform Rings.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	protocols, self-stabilization
19	Efthymios Anagnostou, Vassos Hadzilacos	Tolerating Transient and Permanent Failures (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF	Fault-Tolerance, Distributed Algorithms, Self-Stabilization, Rings, Asynchrony
19	Anish Arora, Mohamed G. Gouda	Distributed Reset (Extended Abstract).	FSTTCS	1990	DBLP DOI BibTeX RDF	Additional Key Words and Phrases Self-stabilization, spanning trees, diffusing computations
18	Raquel S. Whittlesey-Harris, Mikhail Nesterenko	Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
17	Toshimitsu Masuzawa, Sébastien Tixeuil	Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs.	SIROCCO	2008	DBLP DOI BibTeX RDF
17	Volker Turau, Christoph Weyer	Randomized Self-stabilizing Algorithms for Wireless Sensor Networks.	IWSOS/EuroNGI	2006	DBLP DOI BibTeX RDF
17	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
17	Mitchell Flatebo, Ajoy Kumar Datta	Self-stabilizing Deadlock Detection Algorithms.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
15	Damien Regnault	Obtaining tilings by self-assembly and self-stabilization. (Formation de pavages par auto-assemblage et auto-stabilisation).		2023	RDF
15	Qiuyue Luo, Víctor De-León-Gómez, Anne Kalouguine, Christine Chevallereau, Yannick Aoustin	Self-Synchronization and Self-Stabilization of Walking Gaits Modeled by the Three-Dimensional LIP Model.	IEEE Robotics Autom. Lett.	2018	DBLP DOI BibTeX RDF
15	Christine Chevallereau, Hamed Razavi, Damien Six, Yannick Aoustin, Jessy W. Grizzle	Self-synchronization and self-stabilization of 3D bipedal walking gaits.	Robotics Auton. Syst.	2018	DBLP DOI BibTeX RDF
15	Stefan Schmid 0001	From Self-Stabilization to Self-Optimization: Principles of Distributed Network Design.	PODC	2018	DBLP BibTeX RDF
15	Christine Chevallereau, Hamed Razavi, Damien Six, Yannick Aoustin, Jessy W. Grizzle	Self-synchronization and Self-stabilization of 3D Bipedal Walking Gaits.	CoRR	2017	DBLP BibTeX RDF
15	Paskorn Champrasert, Junichi Suzuki, Chonho Lee	Exploring self-optimization and self-stabilization properties in bio-inspired autonomic cloud applications.	Concurr. Comput. Pract. Exp.	2012	DBLP DOI BibTeX RDF
15	Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin Lassous	Self-stabilization in Self-organized Wireless Multihop Networks?	Ad Hoc Sens. Wirel. Networks	2011	DBLP BibTeX RDF
15	Joffroy Beauquier, Synnöve Kekkonen-Moneta	Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors.	Int. J. Syst. Sci.	1997	DBLP DOI BibTeX RDF
15	Sayaka Kamei, Hirotsugu Kakugawa	A Self-Stabilizing Distributed Approximation Algorithm for the Minimum Connected Dominating Set.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Hirotsugu Kakugawa, Toshimitsu Masuzawa	A self-stabilizing minimal dominating set algorithm with safe convergence.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Colette Johnen, Sébastien Tixeuil	Route Preserving Stabilization.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
15	Marie Duflot, Laurent Fribourg, Claudine Picaronny	Randomized Finite-State Distributed Algorithms as Markov Chains.	DISC	2001	DBLP DOI BibTeX RDF
15	Shlomi Dolev, Amos Israeli, Shlomo Moran	Uniform Dynamic Self-Stabilizing Leader Election (Extended Absrtact).	WDAG	1991	DBLP DOI BibTeX RDF
15	James E. Burns, Jan K. Pachl	Uniform Self-Stabilizing Rings.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
13	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
13	Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.	DISC	2009	DBLP DOI BibTeX RDF
13	Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil	A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property.	DISC	2009	DBLP DOI BibTeX RDF
13	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing Mobile Robot Formations with Virtual Nodes.	SSS	2008	DBLP DOI BibTeX RDF
13	Fumiya Iida, Juergen Rummel, André Seyfarth	Bipedal Walking and Running with Compliant Legs.	ICRA	2007	DBLP DOI BibTeX RDF
13	Pradip K. Srimani	Self-stabilizing Distributed Algorithms for Networks.	ISPA	2007	DBLP DOI BibTeX RDF
13	Christian F. Orellana, Cristian Ruz, Yadran Eterovic	Self-stabilizing Deadlock Detection Under the OR Requirement Model.	Euro-Par	2006	DBLP DOI BibTeX RDF
13	Gene Itkis, Leonid A. Levin	Flat Holonomies on Automata Networks.	STACS	2006	DBLP DOI BibTeX RDF
13	Martin Hutle, Josef Widder	On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
13	Tingyao Jiang, Qinghua Li	A Self-Stabilizing Distributed Multicast Algorithm for Mobile Ad-Hoc Networks.	CIT	2004	DBLP DOI BibTeX RDF
13	Richard John Anthony	Emergence: A Paradigm for Robust and Scalable Distributed Applications.	ICAC	2004	DBLP DOI BibTeX RDF	Self-Stabilisation, Election Algorithm, Fault Tolerance, Distributed Systems, Scalability, Emergence
13	Wayne Goddard, Stephen T. Hedetniemi, David Pokrass Jacobs, Pradip K. Srimani	A Self-Stabilizing Distributed Algorithm for Minimal Total Domination in an Arbitrary System Grap.	IPDPS	2003	DBLP DOI BibTeX RDF
13	Paolo A. G. Sivilotti, Murat Demirbas	Introducing middle school girls to fault tolerant computing.	SIGCSE	2003	DBLP DOI BibTeX RDF	algorithm anthropomorphism, distributed algorithms, pedagogy, outreach
13	Sukumar Ghosh, Alina Bejan	Concurrent Reading and Writing with Mobile Agents.	IWDC	2002	DBLP DOI BibTeX RDF
13	Sayaka Kamei, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for the Steiner Tree Problem.	SRDS	2002	DBLP DOI BibTeX RDF
13	Hiroko Ishii, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems.	SRDS	2002	DBLP DOI BibTeX RDF
13	Massimiliano Giacomin	Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation.	Multi-Agent-Systems and Applications	2001	DBLP DOI BibTeX RDF
13	Yehuda Afek, Shay Kutten, Moti Yung	Memory-Efficient Self Stabilizing Protocols for General Networks.	WDAG	1990	DBLP DOI BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	Certification of an exact worst-case self-stabilization time.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Alex Damian, Eshaan Nichani, Jason D. Lee	Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability.	ICLR	2023	DBLP BibTeX RDF
12	Nanda Kishore Sreenivas, Shrisha Rao 0001	Safe deployment of a reinforcement learning robot using self stabilization.	Intell. Syst. Appl.	2022	DBLP DOI BibTeX RDF
12	Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki	Synthesizing optimal bias in randomized self-stabilization.	Distributed Comput.	2022	DBLP DOI BibTeX RDF
12	Yuichi Asahiro, Ichiro Suzuki, Masafumi Yamashita	Monotonic self-stabilization and its application to robust and adaptive pattern formation.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Alex Damian, Eshaan Nichani, Jason D. Lee	Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability.	CoRR	2022	DBLP DOI BibTeX RDF
12	Nengbing Zhou, Yali Liu, Qiuzhi Song, Zhuo Qi, Weizhi Ren, Kun Zhang	Analysis, design and preliminary evaluation of an anthropometric self-stabilization passive exoskeleton for enhancing the ability of walking with loads.	Robotics Auton. Syst.	2022	DBLP DOI BibTeX RDF
12	Ted Herman	Origin of Self-Stabilization.	Edsger Wybe Dijkstra	2022	DBLP DOI BibTeX RDF
12	Chi-Wei Chen, Chien-Yu Su, Hsin-Shu Chen	A PVT-Invariant Front-End Ring Amplifier using Self-Stabilization Technique for SAR ADC.	ISCAS	2022	DBLP DOI BibTeX RDF
12	Sébastien Tixeuil	Realistic Self-Stabilization (Invited Talk).	OPODIS	2022	DBLP DOI BibTeX RDF
12	Johanne Cohen, Laurence Pilard, Jonas Sénizergues	Self-Stabilization and Byzantine Tolerance for Maximal Independent Set.	CoRR	2021	DBLP BibTeX RDF
12	Amir Reza Ramtin, Don Towsley	A Game-Theoretic Approach to Self-Stabilization with Selfish Agents.	CoRR	2021	DBLP BibTeX RDF
12	Johanne Cohen, Laurence Pilard, Jonas Sénizergues	Self-stabilization and Byzantine Tolerance for Maximal Independent Set.	SSS	2021	DBLP DOI BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	Certification of an Exact Worst-Case Self-Stabilization Time.	ICDCN	2021	DBLP DOI BibTeX RDF
12	Amir Reza Ramtin, Don Towsley	Self-Stabilization with Selfish Agents.	ICPP Workshops	2021	DBLP DOI BibTeX RDF
12	Leonid Barenboim, Gal Oren 0001	Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization.	SOSA	2020	DBLP DOI BibTeX RDF
12	Qiuyue Luo	Self-stabilization of 3D Walking of a Biped Robot. (Marche Bipède 3D Auto-Stabilisante).		2020	RDF
12	Alex P. Klinkhamer, Ali Ebnenasir	On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings.	ACM Trans. Comput. Log.	2019	DBLP DOI BibTeX RDF
12	Ting Wang, Rongjun Cheng, Hongxia Ge	Analysis of a Novel Two-Lane Lattice Hydrodynamic Model Considering the Empirical Lane Changing Rate and the Self-Stabilization Effect.	IEEE Access	2019	DBLP DOI BibTeX RDF
12	Leonid Barenboim, Gal Oren 0001	Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization.	CoRR	2019	DBLP BibTeX RDF
12	Krzysztof R. Apt, Ehsan Shoja	Self-Stabilization Through the Lens of Game Theory.	CoRR	2019	DBLP BibTeX RDF
12	Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder	Memory Lower Bounds for Self-Stabilization.	CoRR	2019	DBLP BibTeX RDF
12	Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder	Brief Announcement: Memory Lower Bounds for Self-Stabilization.	DISC	2019	DBLP DOI BibTeX RDF
12	Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller	Self-stabilization Overhead: A Case Study on Coded Atomic Storage.	NETYS	2019	DBLP DOI BibTeX RDF
12	Damien Regnault, Eric Rémila	Lost in self-stabilization: A local process that aligns connected cells.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
12	Karine Altisen, Stéphane Devismes, Anaïs Durand	Acyclic Strategy for Silent Self-Stabilization in Spanning Forests.	CoRR	2018	DBLP BibTeX RDF
12	Chryssis Georgiou, Robert Gustafsson, Andreas Lindhe, Elad Michael Schiller	Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage.	CoRR	2018	DBLP BibTeX RDF
12	Karine Altisen, Stéphane Devismes, Anaïs Durand	Acyclic Strategy for Silent Self-stabilization in Spanning Forests.	SSS	2018	DBLP DOI BibTeX RDF
12	Stephan Kunne, Johanne Cohen, Laurence Pilard	Self-stabilization and Byzantine Tolerance for Maximal Matching.	SSS	2018	DBLP DOI BibTeX RDF
12	Krzysztof R. Apt, Ehsan Shoja	Self-stabilization Through the Lens of Game Theory.	It's All About Coordination	2018	DBLP DOI BibTeX RDF
12	Leonid Barenboim, Michael Elkin, Uri Goldenberg	Locally-Iterative Distributed (Δ+ 1): -Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models.	PODC	2018	DBLP BibTeX RDF
12	Leonid Barenboim, Michael Elkin, Uri Goldenberg	Locally-Iterative Distributed (Delta + 1)-Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models.	CoRR	2017	DBLP BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	A Framework for Certified Self-Stabilization.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
12	Denis V. Makarov, M. Yu. Uleysky	Chaos-assisted formation of immiscible matter-wave solitons and self-stabilization in the binary discrete nonlinear Schrödinger equation.	Commun. Nonlinear Sci. Numer. Simul.	2017	DBLP DOI BibTeX RDF
12	Ted Herman	Self-Stabilization.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
12	Murat Demirbas, Anish Arora	Specification-Based Design of Self-Stabilization.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
12	Alex P. Klinkhamer, Ali Ebnenasir	Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
12	Christina Rickmann	Topological Self-Stabilization with Name-Passing Process Calculi.	CoRR	2016	DBLP BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	A Framework for Certified Self-Stabilization.	CoRR	2016	DBLP BibTeX RDF
12	Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid 0001	Topological Self-Stabilization with Name-Passing Process Calculi.	CONCUR	2016	DBLP DOI BibTeX RDF
12	Karine Altisen, Pierre Corbineau, Stéphane Devismes	A Framework for Certified Self-Stabilization.	FORTE	2016	DBLP DOI BibTeX RDF
12	Stefan Lohs, Jörg Nolte, Gerry Siegemund, Volker Turau	Self-Stabilization - A Mechanism to Make Networked Embedded Systems More Reliable?	SRDS	2016	DBLP DOI BibTeX RDF
12	Oday Jubran	Recurrence in Self-Stabilization: Theory, Verification, and Application.		2016	RDF
12	Andreas Koutsopoulos	Dynamics and efficiency in topological self-stabilization.		2016	RDF
12	Yuan Feng 0001, Lijun Zhang 0001	A nearly optimal upper bound for the self-stabilization time in Herman's algorithm.	Distributed Comput.	2015	DBLP DOI BibTeX RDF
12	Fukuhito Ooshita, Sébastien Tixeuil	On the self-stabilization of mobile oblivious robots in uniform rings.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
12	Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale	Probabilistic Self-Stabilization.	CoRR	2015	DBLP BibTeX RDF
12	Christine Chevallereau, Yannick Aoustin	Self-stabilization of 3D walking via vertical oscillations of the hip.	ICRA	2015	DBLP DOI BibTeX RDF
12	Oday Jubran, Eike Möhlmann, Oliver E. Theel	Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.	SSS	2015	DBLP DOI BibTeX RDF
12	Maurice Djibril Faye, Eddy Caron, Ousmane Thiare	Autonomic Management Using Self-Stabilization for Hierarchical and Distributed Middleware.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
12	Damien Regnault, Eric Rémila	Lost in Self-Stabilization.	MFCS (1)	2015	DBLP DOI BibTeX RDF