Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Assistance for certification of distributed and embedded applications
Homepage
Presentation
Submit
Browse
Browse by year
Browse by ACADIE author
Browse by doctype
Homepage
Latest publications
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⟩
Search
Documents
271
Distribution per document type