Search - Archive ouverte HAL Access content directly

Filter your results

18 Results
Author: personID (integer) : 832502
Image document

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Conference papers hal-02911071v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit et al.
Information and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Journal articles hal-01347471v1

Introduction to Distributed Self-Stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Swan Dubois , Franck Petit
Morgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩
Books hal-02178659v1
Image document

Causality closure for a new class of curves in real-time calculus

Karine Altisen , Matthieu Moy
Proceedings 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
Image document

Implémentabilité des automates temporisés

Karine Altisen , Nicolas Markey , Pierre-Alain Reynier , Stavros Tripakis
Actes 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
Image document

Concurrence et allocation de ressources locales instantanément stabilisante

Karine Altisen , Stéphane Devismes , Anaïs Durand
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers hal-01302333v2
Image document

Routage sécurisé et résilient pour réseaux de capteurs sans fil

Karine Altisen , Stéphane Devismes , Raphaël Jamet , Pascal Lafourcade
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00813387v3
Image document

ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

Karine Altisen , Matthieu Moy
2010
Preprints, Working Papers, ... hal-00475745v1
Image document

Introduction au contrôle des systèmes temps-réel

Karine Altisen , Patricia Bouyer , Thierry Cachat , Franck Cassez , Guillaume Gardey et al.
Actes 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
Image document

Eviter les collisions dans les réseaux 6TiSCH

Olivier Alphand , Karine Altisen , Rodolphe Bertolini , Stéphane Devismes , Ali Fahs et al.
Rencontres 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
Image document

Collision Prevention in Distributed 6TiSCH Networks

Ali Fahs , Rodolphe Bertolini , Olivier Alphand , Franck Rousseau , Karine Altisen et al.
IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩
Conference papers hal-01614643v1
Image document

Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions

Matthieu Moy , Karine Altisen
Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358
Conference papers hal-00442257v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit et al.
SSS'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
Image document

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

Karine Altisen , Yanhong Liu , Matthieu Moy
8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩
Conference papers hal-00450292v1
Image document

Silence dans la forêt !

Karine Altisen , Stéphane Devismes , Anaïs Durand
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
Image document

Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Conference papers hal-02376832v3
Image document

Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework

Karine Altisen , Florence Maraninchi , David Stauch
Science of Computer Programming, 2006, 63 (3), pp.297-320. ⟨10.1016/j.scico.2005.12.001⟩
Journal articles hal-00273051v1
Image document

SASA: a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
Conference papers hal-02521149v5