Search - Assistance à la Certification d’Applications DIstribuées et Embarquées Access content directly

Filter your results

434 Results
Image document

Enabling Floating-Point Arithmetic in the Coq Proof Assistant

Érik Martin-Dorel , Guillaume Melquiond , Pierre Roux
Journal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩
Journal articles hal-04114233v2
Image document

Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students

Denis Ollivier , Franck Silvestre , Jean-Baptiste Raclet , Emmanuel Lescure , Julien Broisin
18th European Conference on Technology-Enhanced Learning (EC-TEL 2023), European Association of Technology-Enhanced Learning, Sep 2023, Aveiro, Portugal. pp.294-307, ⟨10.1007/978-3-031-42682-7_20⟩
Conference papers hal-04211163v1

Substitution for Non-Wellfounded Syntax with Binders

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

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Ana de Almeida Borges , Annalí Casanueva Artís , Jean-Rémy Falleri , Emilio Jesús Gallego Arias , Érik Martin-Dorel , et al.
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers hal-04098856v2

Univalent Monoidal Categories

Kobe Wullaert , Ralph Matthes , Benedikt Ahrens
Leibniz International Proceedings in Informatics , 269, Schloss Dagstuhl - Leibniz Center for Informatics, pp.15:1-15:21, 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022), 978-3-95977-285-3. ⟨10.4230/LIPIcs.TYPES.2022.15⟩
Proceedings hal-03889672v1
Image document

Extended version of the paper "Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre
2023
Preprints, Working Papers, ... hal-04141003v1
Image document

Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage

Mika Pons , Jean-Michel Bruel , Jean-Baptiste Raclet , Franck Silvestre
11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79
Conference papers hal-04144980v1
Image document

Conception d'un système de révisions : une étude qualitative exploratoire pour identifier les besoins des enseignants et des élèves

Denis Ollivier , Franck Silvestre , Jean-Baptiste Raclet , Emmanuel Lescure , Julien Broisin
11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.36-41
Conference papers hal-04164903v1
Image document

Tasks in modular proofs of concurrent algorithms

Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Journal articles hal-04086420v1
Image document

Standalone Event-B models analysis relying on the EB4EB meta-theory

Peter Riviere , Neeraj Singh , Yamine Aït-Ameur , Guillaume Dupont
9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France
Conference papers hal-04049910v1
Image document

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework

Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur , Guillaume Dupont
NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Conference papers hal-04046949v1
Image document

Certified Logic-Based Explainable AI

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

Toward an Operations-Dedicated Model for Space Systems

Nikolena Christofi , Xavier Pucel , Claude Baron , Marc Pantel , Sebastien Guilmeau , et al.
Journal of Aerospace Information Systems, 2023, pp.1-13. ⟨10.2514/1.I011093⟩
Journal articles hal-04027880v1
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

Formal domain-driven system development in Event-B: Application to interactive critical systems

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Guillaume Dupont , Dominique Méry , et al.
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Journal articles hal-03904803v1
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
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

Empowering the Event-B Method Using External Theories

Yamine Aït-Ameur , Guillaume Dupont , Ismail Mendil , Dominique Méry , Marc Pantel , et al.
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Book sections hal-03904799v1
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 Kumar Singh , Yamine Aït-Ameur
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Conference papers hal-03540955v2

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
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