Simon Lunel

According to our database, Simon Lunel authored at least 4 papers between 2016 and 2019.

Collaborative distances:

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

2019

Parallelism and modular proof in differential dynamic logic. (Parallélisme et preuve modulaire en logique dynamique différentielle).

Simon Lunel

PhD thesis, 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.

Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

Compositional Proofs in Differential Dynamic Logic dL.

Simon Lunel, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

A Sequent Calculus for a Modal Logic on Finite Data Trees.

David Baelde, Simon Lunel, Sylvain Schmitz

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016