See also my DBLP page.
2024
- Self-stabilizing synchronous unison in directed networks. Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes - Theoretical Computer Science - [bibtex]
- On Self-stabilizing Leader Election in Directed Networks. Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes - Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC 2024) - [bibtex]
2023
- Self-stabilizing Systems in Spite of High Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit - Theoretical Computer Science - [bibtex]
- sasa: a SimulAtor of Self-stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Erwan Jahier - Comput. J. - [bibtex]
- Certification of an exact worst-case self-stabilization time. Karine Altisen, Pierre Corbineau, Stéphane Devismes - Theor. Comput. Sci. - [bibtex]
- Complexité certifiée d'algorithmes autostabilisants en rondes. Karine Altisen, Pierre Corbineau, Stéphane Devismes - ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
- Model Checking of Distributed Algorithms using Synchronous Programs. Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna - 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
- Certified Round Complexity of Self-Stabilizing Algorithms. Karine Altisen, Pierre Corbineau, Stéphane Devismes - 37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy - [bibtex]
- Pour battre à l'unisson, il faut que tous les chemins viennent de Rome. Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes - ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - Best Student Paper Award - [bibtex]
- Self-stabilizing Synchronous Unison in Directed Networks. Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes - Proceedings of the 24th International Conference on Distributed Computing and Networking (ICDCN 2023) - Best Student Paper Award - [bibtex]
- Exploring Worst Cases of Self-stabilizing Algorithms using Simulations. Erwan Jahier, Karine Altisen, Stéphane Devismes - 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
2021
- Exact Worst Case Self-Stabilization Time. Karine Altisen, Pierre Corbineau, Stéphane Devismes - ICDCN '21: International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan, January 5-8, 2021 - [bibtex]
- Self-stabilizing Systems in Spite of High Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit - ICDCN '21: International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan, January 5-8, 2021 - [bibtex]
- On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit - PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021 - [bibtex]
2020
- Election in Unidirectional Rings with Homonyms. Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Dubois, Lawrence L. Larmore - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
- A Decision Procedure for Equivalence Relations (abstract). Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen - The Coq Workshop 2020 https://coq-workshop.gitlab.io/2020/ - [bibtex]
- Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck - Symposium on Principles of Distributed Computing (PODC 2020) - [bibtex]
- Election Autostabilisante dans les Réseaux à Haute Dynamicité. Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck - ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
- SASA: A SimulAtor of Self-stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Erwan Jahier - Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] - [bibtex]
2019
- Gradual stabilization. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - J. Parallel Distrib. Comput. - [bibtex]
- Introduction to Distributed Self-Stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit - [bibtex]
- 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 - [bibtex]
- Squeezing Streams and Composition of Self-Stabilizing Algorithms. Karine Altisen, Pierre Corbineau, Stéphane Devismes - FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - [bibtex]
2018
- Stabilisation progressive. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
- Eviter les collisions dans les réseaux 6TiSCH. Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes - CoRes - Rencontres Francophones sur la Conception de Protocoles, lévaluation de Performance et l'Expérimentation des Réseaux de Communication - [bibtex]
- Acyclic Strategy for Silent Self-stabilization in Spanning Forests. Karine Altisen, Stéphane Devismes, Anaïs Durand - Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings - [bibtex]
2017
- Concurrency in snap-stabilizing local resource allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - J. Parallel Distrib. Comput. - [bibtex]
- Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
- On probabilistic snap-stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science - [bibtex]
- A Framework for Certified Self-Stabilization. Karine Altisen, Pierre Corbineau, Stéphane Devismes - Logical Methods in Computer Science - [bibtex]
- SR3: secure resilient reputation-based routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
- Leader Election in Asymmetric Labeled Unidirectional Rings. Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore - 2017 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2017, Orlando, FL, USA, May 29 - June 2, 2017 - [bibtex]
- Composition certifié d'algorithmes autostabilisants silencieux. Karine Altisen, Pierre Corbineau - Algotel'2017 - [bibtex]
- Collision Prevention in Distributed 6TiSCH Networks. Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes - IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - [bibtex]
2016
- Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
- A Framework for Certified Self-Stabilization. Karine Altisen, Corbineau Pierre, Stéphane Devismes - FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and System - [bibtex]
- Gradual Stabilization under T-Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - Euro-Par 2016, 22nd International European Conference on Parallel and Distributed Computing - [bibtex]
- Leader Election in Rings with Bounded Multiplicity (Short Paper). Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore - Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings - [bibtex]
- Concurrence en allocation de ressources locales instantanément stabilisante. Karine Altisen, Stéphane Devismes, Anaïs Durand - Algotel'2016 - [bibtex]
2015
- Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]
- Election autostabilisante en un nombre polynomial de pas de calcul. Karine Altisen, Stéphane Devismes, Anaïs Durand - ALGOTEL 2015 - 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
2014
- Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [bibtex]
- Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
- On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - ICDCN'2014, 15th International Conference on Distributed Computing and Networking - [bibtex]
- Stabilisation Instantanée Probabiliste. Karine Altisen, Stéphane Devismes - ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
2013
- SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - The annual IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2013) - [bibtex]
- 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) - [bibtex]
2012
- Analysis of Random Walks using Tabu Lists. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'2012) - PDF - [bibtex]
2011
- 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 - [bibtex]
- Routage par marche aléatoire à listes tabous. Karine Altisen, Stéphane Devismes, Pascal Lafourcade, Clément Ponsonnet - Algotel - [bibtex]
2010
- Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. Karine Altisen, Yanhong Liu, Matthieu Moy - Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL) - [bibtex]
- ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. Karine Altisen, Matthieu Moy - 22nd Euromicro Conference on Real-Time Systems (ECRTS) - PDF - [bibtex]
- Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Karine Altisen, Matthieu Moy - TACAS - [bibtex]
2007
- Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. Franck Cassez, Stavros Tripakis, Karine Altisen - ACSD '07: Proceedings of the Seventh International Conference on Application of Concurrency to System Design - [bibtex]
- Larissa, un langage d'aspects pour le développement des systèmes réactifs sûrs. David Stauch, Karine Altisen, Florence Maraninchi - 3èmes Journées Francophones sur le Développement de Logiciels par Aspects - [bibtex]
- Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. Franck Cassez, Stavros Tripakis, Karine Altisen - TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - [bibtex]
2006
- Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
- Monitoring and Fault Diagnosis with Digital Clocks. Karine Altisen, Franck Cassez, Stavros Tripakis - Application of Concurrency to System Design (ACSD'06) - [bibtex]
- Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
- Larissa: Modular Design of Man-Machine Interfaces with Aspects. Karine Altisen, Florence Maraninchi, David Stauch - Fifth International Symposium on Software Composition (an ETAPS satellite event) - [bibtex]
2005
- Introduction au contrôle des systèmes temps-réel. Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez, Guillaume Gardey - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
- Implémentabilité des automates temporisés. Karine Altisen, Nicolas Markey, Pierre-Alain Reynier, Stavros Tripakis - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
- Implementation of Timed Automata: An Issue of Semantics or Modeling?. Karine Altisen, Stavros Tripakis - FORMATS - [bibtex]
- Aspects for Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - [bibtex]
2004
- Exploring Aspects in the Context of Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - Workshop on the Foundations of Aspect-Oriented Languages (FOAL), affiliated with AOSD (International Conference on Aspect-Oriented Software Development) - [bibtex]
2003
- Using Controller Synthesis to Build Property-Enforcing Layers. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten - European Symposium on Programming (ESOP) - [bibtex]
2002
- Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]
- Tools for Controller Synthesis of Timed Systems. Karine Altisen, Stavros Tripakis - 2nd Workshop on Real-Time Tools (RT-TOOLS'2002) - [bibtex]
2001
- Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel. Karine Altisen - [bibtex]
2000
- A methodology for the construction of scheduled systems. Karine Altisen, Gregor Goessler, Joseph Sifakis - Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00) - [bibtex]
1999
- A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
- On-the-fly controller synthesis for discrete and dense time systems. Stavros Tripakis, Karine Altisen - Formal Methods 1999 (FM'99) - [bibtex]