Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩. ⟨hal-00722489⟩

Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-00915026⟩

Solène Mirliaz, David Pichardie. A Flow-Insensitive-Complete Program Representation. 23rd International Conference Verification, Model Checking, and Abstract Interpretation (VMCAI 2022 ), Jan 2022, Philadelphia, United States. ⟨10.1007/978-3-030-94583-1_10⟩. ⟨hal-04273047⟩

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code. EMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩. ⟨hal-00654113⟩

Tristan Charrier. Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. Other [cs.OH]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S124⟩. ⟨tel-03881830⟩