Search - Archive ouverte HAL Access content directly

Filter your results

411 Results
Image document

Certified Logic-Based Explainable AI

Aurélie Hurault , Joao Marques-Silva
2023
Preprints, Working Papers, ... hal-04031193v1
Image document

Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

Pierre Pomeret-Coquot , Hélène Fargier , Érik Martin-Dorel
2023
Preprints, Working Papers, ... hal-03782650v2
Image document

Formal Verification and Code Generation for Solidity Smart Contracts

Neeraj Kumar Singh , Akshay M Fajge , Raju Halder , Md Imran Alam
Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462
Book sections hal-04019340v1

Univalent Monoidal Categories

Kobe Wullaert , Ralph Matthes , Benedikt Ahrens
2022
Preprints, Working Papers, ... hal-03889672v1
Image document

Games of Incomplete Information: a Framework Based on Belief Functions

Pierre Pomeret-Coquot , Hélène Fargier , Érik Martin-Dorel
International Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩
Journal articles hal-03658700v2
Image document

Reflexive Event-B: Semantics and Correctness The EB4EB framework

Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
Journal articles hal-03836811v1
Image document

Coq Community Survey 2022: Summary of Results

Ana de Almeida Borges , Jean-Rémy Falleri , Jim Fehrle , Emilio Jesús Gallego Arias , Érik Martin-Dorel et al.
13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel.
Documents associated with scientific events hal-03914602v1

Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

Hélène Fargier , Érik Martin-Dorel , Pierre Pomeret-Coquot
Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Maison de la Modélisation, de la Simulation et des Interactions [MSI], Jun 2022, Nice, France
Conference papers hal-03709703v1
Image document

ERTS 2022 proceedings

Philippe Cuenot , Marie de Roquemaurel , Kevin Delmas , Jean-Marc Gabriel , Adrien Gauffriau et al.
2022
Proceedings hal-03704287v1
Image document

Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems

Nikolena Christofi , Xavier Pucel , Claude Baron , Marc Pantel , Sébastien Guilmeau et al.
11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France
Conference papers hal-03699979v1

Automating Defeasible Reasoning in Law

How Khang Lim , Avishkar Mahajan , Martin Strecker , Meng Weng Wong
2022
Preprints, Working Papers, ... hal-03679650v1
Image document

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B

Guillaume Dupont , Yamine Ait-Ameur , Neeraj Kumar Singh , Marc Pantel
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles hal-03513847v1
Image document

EB4EB: A Framework for Reflexive Event-B

Peter Riviere , Neeraj K. Singh , Yamine Aït-Ameur
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp. 71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Conference papers hal-03540955v1

Multi-label Classification of Aircraft Heading Changes using Neural Network to Resolve Conflicts

Md Siddiqur Rahman , Laurent Lapasset , Josiane Mothe
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, United States. pp.403-411, ⟨10.5220/0010829500003116⟩
Conference papers hal-03617636v1

A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations

Sara Houhou , Souheib Baarir , Pascal Poizat , Philippe Quéinnec , Laïd Kahloud et al.
Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Journal articles hal-03170863v1

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Benedikt Ahrens , Ralph Matthes , Anders Mörtberg
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Conference papers hal-03475481v1

F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID

Neeraj Kumar Singh , Yamine Aït-Ameur , Ismail Mendil , Dominique Méry , David Navarre et al.
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Journal articles hal-03617603v1
Image document

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

Albert Benveniste , Jean-Baptiste Raclet
[Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Reports hal-03531059v1
Image document

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque et al.
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Conference papers hal-03857803v2
Image document

Algorithms and techniques for bot detection in social networks

Maksim Kalameyets
Library and information sciences. Université Paul Sabatier - Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩
Theses tel-03560882v1

Event-B Refinement for Continuous Behaviours Approximation

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Singh
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Conference papers hal-03385081v1
Image document

Games of Incomplete Information: A Framework Based on Belief Functions

Hélène Fargier , Érik Martin-Dorel , Pierre Pomeret-Coquot
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⟩
Conference papers hal-03382397v1
Image document

Remote attestation of bare-metal microprocessor software: a formally verified security monitor

Jonathan Certes , Benoît Morgan
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⟩
Book sections hal-03576711v1
Image document

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Adam Shimi , Aurélie Hurault , Philippe Quéinnec
Logical Methods in Computer Science, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Journal articles hal-03352272v1
Image document

C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software

Zhibin Yang , Zhikai Qiu , Yong Zhou , Zhiqiu Huang , Jean-Paul Bodeveix et al.
Journal of Systems Architecture, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩
Journal articles hal-03411219v1
Image document

Standard Conformance-by-Construction with Event-B

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque et al.
FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Conference papers hal-03487118v2
Image document

Sound Verification Procedures for Temporal Properties of Infinite-State Systems

Quentin Peyras , Jean-Paul Bodeveix , Julien Brunel , David Chemouil
33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States
Conference papers hal-03243129v2

Formal Simulation and Verification of Solidity contracts in Event-B

Jian Zhu , Kai Hu , Jean-Paul Bodeveix , M Filali , Jean-Pierre Talpin et al.
45th IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2021), IEEE, Jul 2021, Madrid, Spain. pp.1309-1314, ⟨10.1109/COMPSAC51774.2021.00183⟩
Conference papers hal-03411229v1
Image document

Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study

Zhibin Yang , Shenghao Yuan , Jean-Paul Bodeveix , M Filali , Tiexin Wang et al.
Science of Computer Programming, 2021, Special issue:SI: Formal Techniques for Safety-Critical Systems 2019, 207, pp.102644. ⟨10.1016/j.scico.2021.102644⟩
Journal articles hal-03411222v1
Image document

Jeux incomplets algébriques

Hélène Fargier , Érik Martin-Dorel , Pierre Pomeret-Coquot
Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53
Conference papers hal-03298722v1