• 
  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⟩
• 
  Uli Fahrenberg, Axel Legay. A linear-time–branching-time spectrum for behavioral specification theories. 2020, pp.100499 -. ⟨10.1016/j.jlamp.2019.100499⟩. ⟨hal-01406603⟩
• 
  Marie-Pierre Adam, Matthieu Arzel, Didier Baux, Antoine Beugnard, Jean-Philippe Coupez, et al.. Boosting advanced skills in project management thanks to complex human and technical situations. SEFI 2016: 44th European Society for Engineering Education annual conference, Sep 2016, Tampere, Finland. pp.1-11. ⟨hal-01494159⟩

1 202

349