Filter your results
- 17
- 1
- 14
- 2
- 1
- 1
- 17
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 14
- 4
- 18
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 18
- 11
- 6
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Brief Announcement: Self-stabilizing Systems in Spite of High DynamicsPODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Conference papers
hal-02911071v1
|
||
|
Self-Stabilizing Leader Election in Polynomial StepsInformation and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Journal articles
hal-01347471v1
|
||
|
Introduction to Distributed Self-Stabilizing AlgorithmsMorgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩
Books
hal-02178659v1
|
||
|
Causality closure for a new class of curves in real-time calculusProceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩
Conference papers
hal-00648628v1
|
||
|
Implémentabilité des automates temporisésActes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), 2005, Autrans, France. pp.395-406
Conference papers
hal-01194614v1
|
||
|
Concurrence et allocation de ressources locales instantanément stabilisanteALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers
hal-01302333v2
|
||
|
Routage sécurisé et résilient pour réseaux de capteurs sans fil15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers
hal-00813387v3
|
||
|
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre2010
Preprints, Working Papers, ...
hal-00475745v1
|
||
|
Introduction au contrôle des systèmes temps-réelActes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), 2005, Autrans, France. pp.367-380
Conference papers
hal-00019877v1
|
||
|
Eviter les collisions dans les réseaux 6TiSCHRencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CORES 2018), May 2018, Roscoff, France
Conference papers
hal-01785956v1
|
||
|
Collision Prevention in Distributed 6TiSCH NetworksIEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩
Conference papers
hal-01614643v1
|
||
|
Arrival Curves for Real-Time Calculus: the Causality Problem and its SolutionsTools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358
Conference papers
hal-00442257v1
|
||
|
Self-Stabilizing Leader Election in Polynomial StepsSSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Conference papers
hal-00980798v4
|
||
|
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩
Conference papers
hal-00450292v1
|
||
|
Silence dans la forêt !ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Conference papers
hal-02118549v2
|
||
|
Self-stabilizing Systems in Spite of High Dynamics22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Conference papers
hal-02376832v3
|
||
|
Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous FrameworkScience of Computer Programming, 2006, 63 (3), pp.297-320. ⟨10.1016/j.scico.2005.12.001⟩
Journal articles
hal-00273051v1
|
||
|
SASA: a SimulAtor of Self-stabilizing Algorithms14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
Conference papers
hal-02521149v5
|