Parallelism and modular proof in differential dynamic logic. (Parallélisme et preuve modulaire en logique dynamique différentielle).
PhD thesis, 2019
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Compositional Proofs in Differential Dynamic Logic dL.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
A Sequent Calculus for a Modal Logic on Finite Data Trees.
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016