Jan-Georg Smaus. Proving the Existence of Stable Assignments in Democratic Forking Using Isabelle/HOL. ICTCS 2024, 25th Italian Conference on Theoretical Computer Science, European Association for Theoretical Computer Science, Italian Chapter, Sep 2024, Torino, Italy. pp.225-240. ⟨hal-04794067⟩

Ralph Matthes, Kobe Wullaert, Benedikt Ahrens. Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩. ⟨hal-04642448⟩

Anne Grieu. From Event-B to Lambdapi. 10th International Conference on Rigourous State-Based Methods (ABZ 2024), ABZ, Jun 2024, Bergamo, Italy. pp.387-391, ⟨10.1007/978-3-031-63790-2_29⟩. ⟨hal-04691826⟩

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang. Verifying HyperLTL properties in Event-B. 10th International Conference on Rigorous State-Based Methods (ABZ 2024), Jun 2024, Bergame, Italy. pp.255-261, ⟨10.1007/978-3-031-63790-2_20⟩. ⟨hal-04662665⟩

Neeraj Kumar Singh. Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods. Computer Science [cs]. Toulouse INP, 2024. ⟨tel-04695651⟩

Peter Riviere. Automatic generation of proof obligations parameterised by domain theories implementation in Event-B : The EB4EB Framework. Computer Science [cs]. Université de Toulouse, 2024. English. ⟨NNT : 2024TLSEP052⟩. ⟨tel-04677532⟩

Anne Grieu. From Event-B to Lambdapi (Journées FAC 2024). FAC 2024, groupe IFSE du RTRA STAE, Apr 2024, Toulouse, France. ⟨hal-04692230⟩

Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert. Displayed Monoidal Categories for the Semantics of Linear Logic. CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.260-273, ⟨10.1145/3636501.3636956⟩. ⟨hal-04375376⟩

Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata. Discrete Event Dynamic Systems, 2023, 33 (4), pp.455-505. ⟨10.1007/s10626-023-00375-x⟩. ⟨hal-04807304v2⟩

Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux. Enabling Floating-Point Arithmetic in the Coq Proof Assistant. Journal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩. ⟨hal-04114233v2⟩