| 2026 | ICDCS | Synthesizing Algorithms to Avoid an Obstacle with a Swarm of Robots. | Karine Altisen, Anas Durand, Pascal Lafourcade, Oussama Nahnah |
| 2025 | FORTE | Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. | Karine Altisen, Marius Bozga |
| 2024 | PODC | On Self-stabilizing Leader Election in Directed Networks. | Karine Altisen, Alain Cournier, Geoffrey Defalque, Stphane Devismes |
| 2023 | ICDCN | Self-stabilizing Synchronous Unison in Directed Networks. | Karine Altisen, Alain Cournier, Geoffrey Defalque, Stphane Devismes |
| 2023 | SSS | Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. | Erwan Jahier, Karine Altisen, Stphane Devismes |
| 2023 | SSS | Model Checking of Distributed Algorithms Using Synchronous Programs. | Erwan Jahier, Karine Altisen, Stphane Devismes, Gabriel B. Sant'Anna |
| 2021 | ICDCN | Certification of an Exact Worst-Case Self-Stabilization Time. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2021 | ICDCN | Self-stabilizing Systems in Spite of High Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2021 | PODC | On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2020 | PODC | Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2020 | TAP | sasa: A SimulAtor of Self-stabilizing Algorithms. | Karine Altisen, Stphane Devismes, Erwan Jahier |
| 2019 | FORTE | Squeezing Streams and Composition of Self-stabilizing Algorithms. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2018 | SSS | Acyclic Strategy for Silent Self-stabilization in Spanning Forests. | Karine Altisen, Stphane Devismes, Anas Durand |
| 2017 | WiMob | Collision prevention in distributed 6TiSCH networks. | Ali J. Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stphane Devismes |
| 2016 | EuroPar | Gradual Stabilization Under \tau -Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Franck Petit |
| 2016 | FORTE | A Framework for Certified Self-Stabilization. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2016 | SSS | Leader Election in Rings with Bounded Multiplicity (Short Paper). | Karine Altisen, Ajoy Kumar Datta, Stphane Devismes, Anas Durand, Lawrence L. Larmore |
| 2014 | ICDCN | On Probabilistic Snap-Stabilization. | Karine Altisen, Stphane Devismes |
| 2014 | SSS | Self-stabilizing Leader Election in Polynomial Steps. | Karine Altisen, Alain Cournier, Stphane Devismes, Anas Durand, Franck Petit |
| 2013 | DCOSS | SR3: Secure Resilient Reputation-based Routing. | Karine Altisen, Stphane Devismes, Raphal Jamet, Pascal Lafourcade |
| 2012 | SIROCCO | Analysis of Random Walks Using Tabu Lists. | Karine Altisen, Stphane Devismes, Antoine Gerbaud, Pascal Lafourcade |
| 2010 | ECRTS | ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. | Karine Altisen, Matthieu Moy |
| 2010 | TACAS | Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. | Matthieu Moy, Karine Altisen |
| 2007 | TASE | Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. | Franck Cassez, Stavros Tripakis, Karine Altisen |
| 2003 | ESOP | Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. | Karine Altisen, Aurlie Clodic, Florence Maraninchi, ric Rutten |
| 1999 | FM | On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. | Stavros Tripakis, Karine Altisen |
| 1999 | RTSS | A Framework for Scheduler Synthesis. | Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |