Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18. ⟨hal-04098856⟩

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩. ⟨hal-04086420⟩

Peter Riviere, Neeraj Singh, Yamine Aït-Ameur, Guillaume Dupont. Standalone Event-B models analysis relying on the EB4EB meta-theory. 9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France. ⟨hal-04049910⟩

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont. Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18. ⟨hal-04046949⟩

Aurélie Hurault, Joao Marques-Silva. Certified Logic-Based Explainable AI: The Case of Monotonic Classifiers. 2023. ⟨hal-04031193v2⟩

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel. Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. 2023. ⟨hal-03782650v2⟩

Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md Imran Alam. Formal Verification and Code Generation for Solidity Smart Contracts. Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462. ⟨hal-04019340⟩

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel. Games of Incomplete Information: a Framework Based on Belief Functions. International Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩. ⟨hal-03658700v2⟩

Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur. Reflexive Event-B: Semantics and Correctness The EB4EB framework. IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩. ⟨hal-03836811⟩

Ana de Almeida Borges, Jean-Rémy Falleri, Jim Fehrle, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Coq Community Survey 2022: Summary of Results. 13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel. . ⟨hal-03914602⟩