Karine Altisen’s Publications

2023

1. Self-stabilizing Systems in Spite of High Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit - Theoretical Computer Science - [bibtex]
2. 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) - [bibtex]
3. 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 - [bibtex]
4. 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]
5. 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]

2022

6. sasa: a SimulAtor of Self-stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Erwan Jahier - The Computer Journal - [bibtex]
7. Certification of an exact worst-case self-stabilization time. Karine Altisen, Pierre Corbineau, Stéphane Devismes - Theoretical Computer Science - [bibtex]

2021

8. 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]
9. 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]
10. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit - Proceedings of ACM Symposium on Principles of Distributed Computing - [bibtex]

2020

11. 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]
12. 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]
13. 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]
14. 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]
15. 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

16. Gradual stabilization. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - J. Parallel Distrib. Comput. - [bibtex]
17. Introduction to Distributed Self-Stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit - [bibtex]
18. 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]
19. 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

20. 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]
21. 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]
22. 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

23. Concurrency in snap-stabilizing local resource allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - J. Parallel Distrib. Comput. - [bibtex]
24. Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
25. On probabilistic snap-stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science - [bibtex]
26. A Framework for Certified Self-Stabilization. Karine Altisen, Pierre Corbineau, Stéphane Devismes - Logical Methods in Computer Science - [bibtex]
27. SR3: secure resilient reputation-based routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
28. 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]
29. Composition certifié d'algorithmes autostabilisants silencieux. Karine Altisen, Pierre Corbineau - Algotel'2017 - [bibtex]
30. 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

31. Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
32. 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]
33. 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]
34. 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]
35. Concurrence en allocation de ressources locales instantanément stabilisante. Karine Altisen, Stéphane Devismes, Anaïs Durand - Algotel'2016 - [bibtex]

2015

36. Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]
37. 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

38. Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [bibtex]
39. 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]
40. On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - ICDCN'2014, 15th International Conference on Distributed Computing and Networking - [bibtex]
41. 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

42. 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]
43. 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

44. 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

45. 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]
46. Routage par marche aléatoire à listes tabous. Karine Altisen, Stéphane Devismes, Pascal Lafourcade, Clément Ponsonnet - Algotel - [bibtex]

2010

47. 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]
48. 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]
49. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Karine Altisen, Matthieu Moy - TACAS - [bibtex]

2007

50. 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]
51. 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]
52. 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

53. Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
54. Monitoring and Fault Diagnosis with Digital Clocks. Karine Altisen, Franck Cassez, Stavros Tripakis - Application of Concurrency to System Design (ACSD'06) - [bibtex]
55. Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
56. 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

57. 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]
58. 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]
59. Implementation of Timed Automata: An Issue of Semantics or Modeling?. Karine Altisen, Stavros Tripakis - FORMATS - [bibtex]
60. Aspects for Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - [bibtex]

2004

61. 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

62. Using Controller Synthesis to Build Property-Enforcing Layers. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten - European Symposium on Programming (ESOP) - [bibtex]

2002

63. Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]
64. Tools for Controller Synthesis of Timed Systems. Karine Altisen, Stavros Tripakis - 2nd Workshop on Real-Time Tools (RT-TOOLS'2002) - [bibtex]

2001

65. Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel. Karine Altisen - [bibtex]

2000

66. 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

67. A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
68. On-the-fly controller synthesis for discrete and dense time systems. Stavros Tripakis, Karine Altisen - Formal Methods 1999 (FM'99) - [bibtex]