Karine Altisen

57 papers A* 3A 6B 4C 9Misc 5Journal 20Unranked 9

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