Search results for "self-stabilizing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Sylvie Delaët, Shlomi Dolev, Olivier Peres	Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground.	OPODIS	2009	DBLP DOI BibTeX RDF	safety, self-stabilization
119	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization Preserving Compiler.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
118	Jun Kiniwa	Approximation of Self-stabilizing Vertex Cover Less Than 2.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
114	Christian Boulinier, Franck Petit, Vincent Villain	Synchronous vs. Asynchronous Unison.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
114	Ariel Daliot, Danny Dolev	Self-stabilization of Byzantine Protocols.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
113	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
108	Felix C. Gärtner, Henning Pagnia	Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
108	Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
108	Martin Gairing, Stephen T. Hedetniemi, Petter Kristiansen, Alice A. McRae	Self-Stabilizing Algorithms for {k}-Domination.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
99	Shlomi Dolev, Elad Schiller	Self-Stabilizing Group Communication in Directed Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	Group Communication and Directed Networks, Self-Stabilization
97	Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte	Self-stabilizing Mobile Node Location Management and Message Routing.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
97	Shlomi Dolev, Reuven Yagel	Memory Management for Self-stabilizing Operating Systems.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
97	Shing-Tsaan Huang, Su-Shen Hung	Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	Edge token, self-stabilization, mutual exclusion, token-circulation
96	Jens Oehlerking, Abhishek Dhama, Oliver E. Theel	Towards Automatic Convergence Verification of Self-stabilizing Algorithms.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF	Verification, Distributed Algorithms, Convergence, Hybrid Systems, Self-Stabilization, Lyapunov Functions, Piecewise Affine Systems
95	Toshimitsu Masuzawa, Hirotsugu Kakugawa	Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
90	Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with r-Operators Revisited.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
89	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
89	Ajoy Kumar Datta, Rachid Hadid, Vincent Villain	A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion
87	Ariel Daliot, Danny Dolev, Hanna Parnas	Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
86	Shlomi Dolev, Amos Israeli, Shlomo Moran	Uniform Dynamic Self-Stabilizing Leader Election.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	distributed algorithms, synchronization, leader election, Self-stabilizing systems, randomized distributed algorithms
85	Colette Johnen, Sébastien Tixeuil	Route Preserving Stabilization.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
84	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
81	Sampath Yerramalla, Edgar Fuller, Martin Mladenovski, Bojan Cukic	Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
78	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
74	Ariel Daliot, Danny Dolev, Hanna Parnas	Linear Time Byzantine Self-Stabilizing Clock Synchronization.	OPODIS	2003	DBLP DOI BibTeX RDF
73	Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil	A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem.	SSS	2008	DBLP DOI BibTeX RDF	Approximation, Maximum matching, Self-stabilizing algorithm
73	Shlomi Dolev, Reuven Yagel	Self-stabilizing Device Drivers.	SSS	2006	DBLP DOI BibTeX RDF	device driver failures, ata interface standard, self-stabilizing systems
73	Mitchell Flatebo, Ajoy Kumar Datta	Two-State Self-Stabilizing Algorithms for Token Rings.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	two-state self-stabilizing algorithms, legal state, illegal state, infrequent errors, randomized central demon, asynchronous unidirectional ring, binary state machines, distributed system, reliability, distributed algorithms, distributed algorithms, fault tolerant computing, probability, local area networks, probabilistic algorithm, network connections, token rings, token networks, mutual exclusion algorithms
73	Shlomi Dolev, Yinnon A. Haviv	Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Self-stabilization, microprocessor, soft errors, single event upset
73	Shlomi Dolev, Yinnon A. Haviv	Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract).	ARCS	2004	DBLP DOI BibTeX RDF
72	Murat Demirbas, Anish Arora, Mohamed G. Gouda	A Pursuer-Evader Game for Sensor Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
72	Yoshihiro Nakaminami, Toshimitsu Masuzawa, Ted Herman	A Method for Evaluating Efficiency of Protocols on the Asynchronous Shared-State Model.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	asynchronous model, synchronous execution, linear state-transition protocol, Distributed system, distributed algorithm, time complexity
70	Marco Schneider	Self-Stabilization.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	fault tolerance, stabilization, convergence, self-stabilization, transient errors, self-stabilizing systems, transient failures
68	Michael J. Fischer, Hong Jiang	Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents.	OPODIS	2006	DBLP DOI BibTeX RDF
68	Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno	Symbolic Model Checking for Self-Stabilizing Algorithms.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	distributed algorithms, Self-stabilization, symbolic model checking, automatic verification
68	Maurice Herlihy, Srikanta Tirthapura	Self Stabilizing Distributed Queuing.	DISC	2001	DBLP DOI BibTeX RDF
67	Shlomi Dolev, Nir Tzachar	Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
67	Franck Butelle, Christian Lavault, Marc Bui	A Uniform Self-Stabilizing Minimum Diameter Tree Algorithm (Extended Abstract).	WDAG	1995	DBLP DOI BibTeX RDF
63	Shlomi Dolev, Nir Tzachar	Randomization Adaptive Self-stabilization.	SSS	2009	DBLP DOI BibTeX RDF
63	Lyes Dekar, Hamamache Kheddouci	Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs.	SSS	2008	DBLP DOI BibTeX RDF	b-coloring, data mining, clustering, graphs, self-stabilizing algorithm
63	Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita	A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots.	OPODIS	2008	DBLP DOI BibTeX RDF	marching, oblivious algorithm, flocking, self-stabilizing algorithm, motion coordination
63	Fredrik Manne, Morten Mjelde	A Self-stabilizing Weighted Matching Algorithm.	SSS	2007	DBLP DOI BibTeX RDF	weighted matching, self-stabilizing algorithms
63	Yansheng Zhang, Farokh B. Bastani, I-Ling Yen	Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems.	EUC	2007	DBLP DOI BibTeX RDF	Swarm robotic systems, self-organizing, self-stabilizing systems
63	Tetz C. Huang	An efficient fault-containing self-stabilizing algorithm for the shortest path problem.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Single-fault situation, Stabilization time, Shortest path problem, Fault-containment, Self-stabilizing algorithm
62	Joffroy Beauquier, Maria Gradinariu, Colette Johnen	Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Scheduler, Self-stabilization, Leader election, Randomized protocol, Protocol composition
61	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
61	Ted Herman, Sébastien Tixeuil (eds.)	Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
61	Doina Bein, Ajoy Kumar Datta, Vincent Villain	Snap-Stabilizing Optimal Binary Search Tree.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF	self-stabilization, heap, Binary search tree, snap-stabilization
61	Alain Cournier, Stéphane Devismes, Vincent Villain	A Snap-Stabilizing DFS with a Lower Space Requirement.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
61	Fabrice Theoleyre, Fabrice Valois	About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
61	Felix C. Freiling, Sukumar Ghosh	Code Stabilization.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
61	Mohamed G. Gouda, Eunjin Jung	Stabilizing Certificate Dispersal.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
61	Shing-Tsaan Huang, Ted Herman (eds.)	Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
61	Lélia Blin, Alain Cournier, Vincent Villain	An Improved Snap-Stabilizing PIF Algorithm.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	propagation of information with feedback, reset protocols, wave algorithms, Fault-tolerance, self-stabilization, snap-stabilization
61	Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri	A Stabilizing Solution to the Stable Path Problem.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
61	Sukumar Ghosh, Alina Bejan	A Framework of Safe Stabilization.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
61	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Collision-Free Communication in Sensor Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
60	Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer 0001, Bernd Becker 0001	Dependability Engineering of Silent Self-stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
60	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Timer-Based Composition of Fault-Containing Self-stabilizing Protocols.	IDC	2008	DBLP DOI BibTeX RDF	composition, self-stabilization, timer, fault-containment
60	Gero Mühl, Michael A. Jaeger, Klaus Herrmann 0001, Torben Weis, Andreas Ulbrich, Ludger Fiege	Self-stabilizing Publish/Subscribe Systems: Algorithms and Evaluation.	Euro-Par	2005	DBLP DOI BibTeX RDF
60	Hirotsugu Kakugawa, Masafumi Yamashita	A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	ad-hoc network, self-stabilization, spanning tree, token circulation
60	Franck Petit, Vincent Villain	Color Optimal Self-Stabilizing Depth-First Token Circulation.	ISPAN	1997	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, self-stabilization, mutual-exclusion, spanning trees, token circulation
59	Oliver E. Theel	A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
58	Joffroy Beauquier, Colette Johnen, Stéphane Messika	All k -Bounded Policies Are Equivalent for Self-stabilization.	SSS	2006	DBLP DOI BibTeX RDF	scheduler, distributed algorithm, randomized algorithms, self-stabilizing system
58	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization preserving compiler.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Compilers, self-stabilization, abstract state machines
57	Nils Müllner, Abhishek Dhama, Oliver E. Theel	Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization
57	Srikanta Tirthapura, Maurice Herlihy	Self-Stabilizing Distributed Queuing.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	arrow protocol, self-stabilization, Distributed queue
57	Mahesh Arumugam, Sandeep S. Kulkarni	Self-stabilizing Deterministic TDMA for Sensor Networks.	ICDCIT	2005	DBLP DOI BibTeX RDF
57	Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa	A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
57	Kleoni Ioannidou	Transformations of Self-Stabilizing Algorithms.	DISC	2002	DBLP DOI BibTeX RDF
55	Daisuke Kondou, Hideo Masuda, Toshimitsu Masuzawa	A Self-Stabilizing Protocol for Pipelined PIF in Tree Networks.	ICDCS	2002	DBLP DOI BibTeX RDF
53	Christian Boulinier, Franck Petit, Vincent Villain	Synchronous vs. Asynchronous Unison.	Algorithmica	2008	DBLP DOI BibTeX RDF	Unison, Computational complexity, Self-stabilization, Phase synchronization
53	Jaap-Henk Hoepman, Marina Papatriantafilou, Philippas Tsigas	Self-Stabilization of Wait-Free Shared Memory Objects.	WDAG	1995	DBLP DOI BibTeX RDF
52	Volker Turau, Bernd Hauck	A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks.	SSS	2009	DBLP DOI BibTeX RDF	distributed algorithms, vertex cover, anonymous networks, self-stabilizing algorithms
52	Fredrik Manne, Morten Mjelde	A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing.	SSS	2006	DBLP DOI BibTeX RDF	k-packing, self-stabilizing algorithms
51	Colette Johnen, Le Huy Nguyen	Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks.	ALGOSENSORS	2006	DBLP DOI BibTeX RDF	Clustering, sensor network, Distributed algorithm, Self-stabilization
51	Oliver E. Theel	A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory.	HICSS	2001	DBLP DOI BibTeX RDF	Verification Methodology, Non-Linear Dynamic Systems, Ljapunov Theory, Distributed Computing, Stability, Self-Stabilization, Software Fault Tolerance
51	Oliver E. Theel	Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms.	DISC	2000	DBLP DOI BibTeX RDF
51	Rachid Hadid, Vincent Villain	A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller.	WSS	2001	DBLP DOI BibTeX RDF
49	Toshimitsu Masuzawa, Sébastien Tixeuil	Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs.	SIROCCO	2008	DBLP DOI BibTeX RDF
49	Volker Turau, Christoph Weyer	Randomized Self-stabilizing Algorithms for Wireless Sensor Networks.	IWSOS/EuroNGI	2006	DBLP DOI BibTeX RDF
49	Toshimitsu Masuzawa, Sébastien Tixeuil	A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
49	Albert Mo Kim Cheng, Seiya Fujii	Self-Stabilizing Real-Time OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5
49	Colette Johnen	Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on Unidirectional Rings.	IPDPS	2004	DBLP DOI BibTeX RDF	anonymous ring, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair schedule
49	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
49	Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.	DISC	2000	DBLP DOI BibTeX RDF	Local mutual exclusion, unfair daemon, transformer, self-stabilization
49	Albert Mo Kim Cheng, Seiya Fujii	Bounded-Response-Time Self-Stabilizing OPS5 Production Systems.	IPDPS	2000	DBLP DOI BibTeX RDF	real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5
49	Mitchell Flatebo, Ajoy Kumar Datta	Self-stabilizing Deadlock Detection Algorithms.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
47	Joffroy Beauquier, Janna Burman, Shay Kutten	Making Population Protocols Self-stabilizing.	SSS	2009	DBLP DOI BibTeX RDF	transformer, self-stabilization, population protocols, cover time
47	Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa	Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links.	SSS	2009	DBLP DOI BibTeX RDF
47	Colette Johnen, Fouzi Mekhaldi	Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters.	SSS	2009	DBLP DOI BibTeX RDF
47	Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil	Communication Efficiency in Self-Stabilizing Silent Protocols.	ICDCS	2009	DBLP DOI BibTeX RDF
47	Shlomi Dolev, Reuven Yagel	Self-stabilizing device drivers.	ACM Trans. Auton. Adapt. Syst.	2008	DBLP DOI BibTeX RDF
47	Sushanta Karmakar, Arobinda Gupta	Self-stabilizing Distributed Protocol Switching.	ICDCN	2008	DBLP DOI BibTeX RDF	protocol switching, BFS tree, DFS tree, broadcast, self-stabilization
47	Christian Boulinier, Franck Petit	Self-stabilizing wavelets and rho-hops coordination.	IPDPS	2008	DBLP DOI BibTeX RDF
47	Pradip K. Srimani, Zhenyu Xu	Self-Stabilizing Algorithms of Constructing Spanning Tree and Weakly Connected Minimal Dominating Set.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
47	Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil	A New Self-stabilizing Maximal Matching Algorithm.	SIROCCO	2007	DBLP DOI BibTeX RDF
47	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
47	Yoshihiro Nakaminami, Hirotsugu Kakugawa, Toshimitsu Masuzawa	An advanced performance analysis of self-stabilizing protocols: stabilization time with transient faults during convergence.	IPDPS	2006	DBLP DOI BibTeX RDF
47	Colette Johnen, Le Huy Nguyen	Robust Self-stabilizing Clustering Algorithm.	OPODIS	2006	DBLP DOI BibTeX RDF