The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Self-stabilisation (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-2018 (15) 2019-2022 (3)
Publication types (Num. hits)
article(10) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords

Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
43Boris Koldehofe, Philippas Tsigas Using actors in an interactive animation in a graduate course on distributed system. Search on Bibsonomy ITiCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Richard John Anthony A versatile policy toolkit supporting run-time policy reconfiguration. Search on Bibsonomy Clust. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Policy-based configuration, Self-stabilisation, Utility functions, Self-managing systems, Dynamic composition
34Richard John Anthony Emergence: A Paradigm for Robust and Scalable Distributed Applications. Search on Bibsonomy ICAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Self-Stabilisation, Election Algorithm, Fault Tolerance, Distributed Systems, Scalability, Emergence
34Baruch Awerbuch, Boaz Patt-Shamir, George Varghese Self-Stabilization By Local Checking and Correction (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF self stabilisation, local checking, end-to-end communication protocol, network reset protocol, correction, distributed protocols, catastrophic faults
23Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner A Methodology for Model-Checking Ad-hoc Networks. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell 0001 On Automated Verification of Probabilistic Programs. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Rosa Saab, Raúl Monroy, Fernando Godínez Towards a Model for an Immune System. Search on Bibsonomy MICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Computer Immunology, Multi-agent systems, Process Calculi
19Nazim Fatès, Irène Marcovici, Siamak Taati Self-stabilisation of Cellular Automata on Tilings. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Nazim Fatès, Irène Marcovici, Siamak Taati Self-stabilisation of cellular automata on tilings. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Nazim Fatès, Irène Marcovici, Siamak Taati Cellular Automata for the Self-stabilisation of Colourings and Tilings. Search on Bibsonomy RP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
19Pelayo Nuño, Juan C. Granda, Francisco J. Suárez Assessment of heuristics for self-stabilisation in real-time interactive communication overlays. Search on Bibsonomy Int. J. Ad Hoc Ubiquitous Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
19Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic verification of Herman's self-stabilisation algorithm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Evangelos Pournaras, Martijn Warnier, Frances M. T. Brazier Local agent-based self-stabilisation in global resource utilisation. Search on Bibsonomy Int. J. Auton. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Richard John Anthony Policy-based autonomic computing with integral support for self-stabilisation. Search on Bibsonomy Int. J. Auton. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Carroll Morgan, Annabelle McIver Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license