Céline Bellanger

According to our database, Céline Bellanger authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formally proved specification of non-nested STL formulas as synchronous observers.

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard

Sci. Comput. Program., 2025

2023

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023