On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. - Stavros Tripakis; Karine Altisen (World Congress on Formal Methods, 1999)

A Framework for Scheduler Synthesis. - Karine Altisen; Gregor Gößler; Amir Pnueli; Joseph Sifakis; Stavros Tripakis; Sergio Yovine (RTSS, 1999)

A Methodology for the Construction of Scheduled Systems. - Karine Altisen; Gregor Gößler; Joseph Sifakis (FTRTFT, 2000)

Scheduler Modeling Based on the Controller Synthesis Paradigm. - Karine Altisen; Gregor Gößler; Joseph Sifakis (Real Time Syst., 2002)

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. - Karine Altisen; Aurélie Clodic; Florence Maraninchi; Éric Rutten (ESOP, 2003)

Implementation of Timed Automata: An Issue of Semantics or Modeling? - Karine Altisen; Stavros Tripakis (FORMATS, 2005)

Monitoring and fault-diagnosis with digital clocks - Karine Altisen; Franck Cassez; Stavros Tripakis (ACSD, 2006)

Modular Design of Man-Machine Interfaces with Larissa. - Karine Altisen; Florence Maraninchi; David Stauch (SC@ETAPS, 2006)

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. - Karine Altisen; Florence Maraninchi; David Stauch (Sci. Comput. Program., 2006)

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. - Franck Cassez; Stavros Tripakis; Karine Altisen (ACSD, 2007)

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. - Franck Cassez; Stavros Tripakis; Karine Altisen (TASE, 2007)

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. - Karine Altisen; Matthieu Moy (ECRTS, 2010)

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. - Matthieu Moy; Karine Altisen (TACAS, 2010)

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata - Karine Altisen; Yanhong Liu; Matthieu Moy (QAPL, 2010)

Analysis of Random Walks Using Tabu Lists. - Karine Altisen; Stéphane Devismes; Antoine Gerbaud; Pascal Lafourcade 001 (SIROCCO, 2012)

Comparison of mean hitting times for a degree-biased random walk. - Antoine Gerbaud; Karine Altisen; Stéphane Devismes; Pascal Lafourcade 001 (Discret. Appl. Math., 2014)

Gradual Stabilization Under tau -Dynamics. - Karine Altisen; Stéphane Devismes; Anaïs Durand; Franck Petit (Euro-Par, 2016)

Leader Election in Rings with Bounded Multiplicity (Short Paper). - Karine Altisen; Ajoy Kumar Datta; Stéphane Devismes; Anaïs Durand; Lawrence L. Larmore (SSS, 2016)

Causality problem in real-time calculus. - Karine Altisen; Matthieu Moy (Formal Methods Syst. Des., 2016)

Leader Election in Asymmetric Labeled Unidirectional Rings. - Karine Altisen; Ajoy K. Datta; Stéphane Devismes; Anaïs Durand; Lawrence L. Larmore (IPDPS, 2017)

Collision prevention in distributed 6TiSCH networks. - Ali J. Fahs; Rodolphe Bertolini; Olivier Alphand; Franck Rousseau; Karine Altisen; Stéphane Devismes (WiMob, 2017)

Self-stabilizing leader election in polynomial steps. - Karine Altisen; Alain Cournier; Stéphane Devismes; Anaïs Durand; Franck Petit (Inf. Comput., 2017)

Concurrency in snap-stabilizing local resource allocation. - Karine Altisen; Stéphane Devismes; Anaïs Durand (J. Parallel Distributed Comput., 2017)

A Framework for Certified Self-Stabilization. - Karine Altisen; Pierre Corbineau; Stéphane Devismes (Log. Methods Comput. Sci., 2017)

On probabilistic snap-stabilization. - Karine Altisen; Stéphane Devismes (Theor. Comput. Sci., 2017)

SR3: secure resilient reputation-based routing. - Karine Altisen; Stéphane Devismes; Raphaël Jamet; Pascal Lafourcade 001 (Wirel. Networks, 2017)

Acyclic Strategy for Silent Self-stabilization in Spanning Forests. - Karine Altisen; Stéphane Devismes; Anaïs Durand (SSS, 2018)

Squeezing Streams and Composition of Self-stabilizing Algorithms. - Karine Altisen; Pierre Corbineau; Stéphane Devismes (FORTE, 2019)

Gradual stabilization. - Karine Altisen; Stéphane Devismes; Anaïs Durand; Franck Petit (J. Parallel Distributed Comput., 2019)

Introduction to Distributed Self-Stabilizing Algorithms - Karine Altisen; Stéphane Devismes; Swan Dubois; Franck Petit (Morgan & Claypool Publishers, 2019)

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. - Karine Altisen; Stéphane Devismes; Anaïs Durand; Colette Johnen; Franck Petit (PODC, 2020)

Election in unidirectional rings with homonyms. - Karine Altisen; Ajoy K. Datta; Stéphane Devismes; Anaïs Durand; Lawrence L. Larmore (J. Parallel Distributed Comput., 2020)

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. - Karine Altisen; Stéphane Devismes; Anaïs Durand; Colette Johnen; Franck Petit (PODC, 2021)

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. - Erwan Jahier; Karine Altisen; Stéphane Devismes (SSS, 2023)

Certified Round Complexity of Self-Stabilizing Algorithms. - Karine Altisen; Pierre Corbineau; Stéphane Devismes (DISC, 2023)

Certification of an exact worst-case self-stabilization time. - Karine Altisen; Pierre Corbineau; Stéphane Devismes (Theor. Comput. Sci., 2023)

Self-stabilizing systems in spite of high dynamics. - Karine Altisen; Stéphane Devismes; Anaïs Durand; Colette Johnen; Franck Petit (Theor. Comput. Sci., 2023)

sasa: a SimulAtor of Self-stabilizing Algorithms. - Karine Altisen; Stéphane Devismes; Erwan Jahier (Comput. J., 2023)

On Self-stabilizing Leader Election in Directed Networks. - Karine Altisen; Alain Cournier; Geoffrey Defalque; Stéphane Devismes (PODC, 2024)

Self-stabilizing synchronous unison in directed networks. - Karine Altisen; Alain Cournier; Geoffrey Defalque; Stéphane Devismes (Theor. Comput. Sci., 2024)

Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. - Karine Altisen; Marius Bozga (FORTE, 2025)

Model checking of distributed algorithms using synchronous programs. - Erwan Jahier; Karine Altisen; Stéphane Devismes; Gabriel B. Sant'Anna (Theor. Comput. Sci., 2025)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm. - Karine Altisen; Marius Bozga (CoRR, 2025)