Karine Altisen

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 32

Top Topics

Worst Case Scenario

Directed Networks

Manually Labeled

Top Venues

Theor. Comput. Sci.

Publications

Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
On Self-stabilizing Leader Election in Directed Networks. PODC (2024)
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
Self-stabilizing synchronous unison in directed networks. Theor. Comput. Sci. 1001 (2024)
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
Model Checking of Distributed Algorithms Using Synchronous Programs. SSS (2023)
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
Self-stabilizing Synchronous Unison in Directed Networks. ICDCN (2023)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Self-stabilizing systems in spite of high dynamics. Theor. Comput. Sci. 964 (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an exact worst-case self-stabilization time. Theor. Comput. Sci. 941 (2023)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: a SimulAtor of Self-stabilizing Algorithms. Comput. J. 66 (4) (2023)
Erwan Jahier, Karine Altisen, Stéphane Devismes
Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. SSS (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certified Round Complexity of Self-Stabilizing Algorithms. DISC (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an Exact Worst-Case Self-Stabilization Time. ICDCN (2021)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Self-stabilizing Systems in Spite of High Dynamics. ICDCN (2021)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. PODC (2021)
Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Election in unidirectional rings with homonyms. J. Parallel Distributed Comput. 146 (2020)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: A SimulAtor of Self-stabilizing Algorithms. TAP@STAF (2020)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. PODC (2020)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Squeezing Streams and Composition of Self-stabilizing Algorithms. FORTE (2019)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
Gradual stabilization. J. Parallel Distributed Comput. 123 (2019)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Acyclic Strategy for Silent Self-stabilization in Spanning Forests. SSS (2018)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. CoRR (2018)
Ali J. Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes
Collision prevention in distributed 6TiSCH networks. WiMob (2017)
Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Leader Election in Asymmetric Labeled Unidirectional Rings. IPDPS (2017)
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
Self-stabilizing leader election in polynomial steps. Inf. Comput. 254 (2017)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Concurrency in snap-stabilizing local resource allocation. J. Parallel Distributed Comput. 102 (2017)
Karine Altisen, Stéphane Devismes
On probabilistic snap-stabilization. Theor. Comput. Sci. 688 (2017)
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
SR3: secure resilient reputation-based routing. Wirel. Networks 23 (7) (2017)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. Log. Methods Comput. Sci. 13 (4) (2017)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. FORTE (2016)
Karine Altisen, Matthieu Moy
Causality problem in real-time calculus. Formal Methods Syst. Des. 48 (1-2) (2016)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
Gradual Stabilization Under \tau -Dynamics. Euro-Par (2016)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. CoRR (2016)
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Leader Election in Rings with Bounded Multiplicity (Short Paper). SSS (2016)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Concurrency in Snap-Stabilizing Local Resource Allocation. NETYS (2015)
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
Self-stabilizing Leader Election in Polynomial Steps. SSS (2014)
Karine Altisen, Stéphane Devismes
On Probabilistic Snap-Stabilization. ICDCN (2014)
Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade
Comparison of mean hitting times for a degree-biased random walk. Discret. Appl. Math. 170 (2014)
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
SR3: Secure Resilient Reputation-based Routing. DCOSS (2013)
Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade
Analysis of Random Walks Using Tabu Lists. SIROCCO (2012)
Matthieu Moy, Karine Altisen
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. TACAS (2010)
Karine Altisen, Yanhong Liu, Matthieu Moy
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata CoRR (2010)
Karine Altisen, Yanhong Liu, Matthieu Moy
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata QAPL (2010)
Karine Altisen, Matthieu Moy
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS (2010)
Franck Cassez, Stavros Tripakis, Karine Altisen
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD (2007)
Franck Cassez, Stavros Tripakis, Karine Altisen
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE (2007)
Karine Altisen, Franck Cassez, Stavros Tripakis
Monitoring and fault-diagnosis with digital clocks ACSD (2006)
Karine Altisen, Florence Maraninchi, David Stauch
Modular Design of Man-Machine Interfaces with Larissa. SC@ETAPS (2006)
Karine Altisen, Florence Maraninchi, David Stauch
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63 (3) (2006)
Karine Altisen, Stavros Tripakis
Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS (2005)
Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP (2003)
Karine Altisen, Gregor Gößler, Joseph Sifakis
Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Syst. 23 (1-2) (2002)
Karine Altisen, Gregor Gößler, Joseph Sifakis
A Methodology for the Construction of Scheduled Systems. FTRTFT (2000)
Stavros Tripakis, Karine Altisen
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods (1999)
Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
A Framework for Scheduler Synthesis. RTSS (1999)