Homepage

• 
  Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel. Games of Incomplete Information: a Framework Based on Belief Functions. 2022. ⟨hal-03658700⟩
• 
  Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Science of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩. ⟨hal-03513847⟩
• 
  Peter Riviere, Neeraj K. Singh, Yamine Aït-Ameur. EB4EB: A Framework for Reflexive Event-B. 2022. ⟨hal-03540955⟩
• 
  Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. [Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52. ⟨hal-03531059⟩
• 
  Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩. ⟨hal-03487124⟩
• 
  Maksim Kalameyets. Algorithms and techniques for bot detection in social networks. Library and information sciences. Université Paul Sabatier - Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩. ⟨tel-03560882⟩
• 
  Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot. Games of Incomplete Information: A Framework Based on Belief Functions. 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Sep 2021, Prague, Czech Republic. pp.328-341, ⟨10.1007/978-3-030-86772-0_24⟩. ⟨hal-03382397⟩
• 
  Jonathan Certes, Benoît Morgan. Remote attestation of bare-metal microprocessor software: a formally verified security monitor. Database and Expert Systems Applications - DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings, 1479, Springer International Publishing, pp.42-51, 2021, Communications in Computer and Information Science book series (CCIS), 978-3-030-87100-0. ⟨10.1007/978-3-030-87101-7_5⟩. ⟨hal-03576711⟩
• 
  Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩. ⟨hal-03352272⟩
• 
  Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, et al.. C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. Journal of Systems Architecture, Elsevier, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩. ⟨hal-03411219⟩

271