Karine Altisen

Erwan Jahier

Comput. J., April, 2023

Self-stabilizing systems in spite of high dynamics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

Certification of an exact worst-case self-stabilization time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

Certified Round Complexity of Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Model Checking of Distributed Algorithms Using Synchronous Programs.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations.

[BibT_eX]

[DOI]

Erwan Jahier

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2021

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics.

[BibT_eX]

[DOI]

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Election in unidirectional rings with homonyms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2020

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics.

[BibT_eX]

[DOI]

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

Introduction to Distributed Self-Stabilizing Algorithms

[BibT_eX]

[DOI]

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02013-1, 2019

Gradual stabilization.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2019

Squeezing Streams and Composition of Self-stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Acyclic Strategy for Silent Self-stabilization in Spanning Forests.

[BibT_eX]

[DOI]

Anaïs Durand

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

2017

SR3: secure resilient reputation-based routing.

[BibT_eX]

[DOI]

Wirel. Networks, 2017

On probabilistic snap-stabilization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

A Framework for Certified Self-Stabilization.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Concurrency in snap-stabilizing local resource allocation.

[BibT_eX]

[DOI]

Anaïs Durand

J. Parallel Distributed Comput., 2017

Self-stabilizing leader election in polynomial steps.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Collision prevention in distributed 6TiSCH networks.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

Leader Election in Asymmetric Labeled Unidirectional Rings.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016

Causality problem in real-time calculus.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2016

Leader Election in Rings with Bounded Multiplicity (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Gradual Stabilization Under \tau -Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2014

Comparison of mean hitting times for a degree-biased random walk.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2014

2012

Analysis of Random Walks Using Tabu Lists.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2012

2010

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

[BibT_eX]

[DOI]

Yanhong Liu

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2007

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework.

[BibT_eX]

[DOI]

Florence Maraninchi

David Stauch

Sci. Comput. Program., 2006

Modular Design of Man-Machine Interfaces with Larissa.

[BibT_eX]

[DOI]

Florence Maraninchi

David Stauch

Proceedings of the Software Composition - 5th International Symposium, 2006

Monitoring and fault-diagnosis with digital clocks

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Implementation of Timed Automata: An Issue of Semantics or Modeling?

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2003

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

2002

Scheduler Modeling Based on the Controller Synthesis Paradigm.

[BibT_eX]

[DOI]

Gregor Gößler

Joseph Sifakis

Real Time Syst., 2002

2000

A Methodology for the Construction of Scheduled Systems.

[BibT_eX]

[DOI]

Gregor Gößler

Joseph Sifakis

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

A Framework for Scheduler Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.

[BibT_eX]

[DOI]