Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris; Université de Sherbrooke (Québec, Canada), 2020. English. ⟨NNT : 2020IPPAS021⟩
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ISBN: 9789811550539 Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩
International Journal on Software Tools for Technology Transfer International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩