Filter your results
- 312
- 124
- 261
- 89
- 19
- 18
- 15
- 14
- 9
- 6
- 3
- 1
- 1
- 18
- 2
- 1
- 429
- 18
- 6
- 4
- 3
- 30
- 28
- 25
- 16
- 15
- 32
- 13
- 28
- 30
- 34
- 46
- 30
- 40
- 34
- 31
- 6
- 15
- 16
- 17
- 8
- 12
- 8
- 2
- 2
- 1
- 406
- 29
- 1
- 436
- 39
- 38
- 28
- 22
- 18
- 17
- 15
- 15
- 12
- 12
- 11
- 10
- 9
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 103
- 80
- 57
- 55
- 38
- 30
- 28
- 27
- 25
- 24
- 22
- 21
- 21
- 17
- 16
- 16
- 15
- 15
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
436 Results
|
Enabling Floating-Point Arithmetic in the Coq Proof AssistantJournal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩
Journal articles
hal-04114233v2
|
||
|
Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students18th 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 Binders2023
Preprints, Working Papers, ...
hal-04181049v1
|
||
|
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users14th 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 CategoriesLeibniz 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
|
||
|
Extended version of the paper "Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity2023
Preprints, Working Papers, ...
hal-04141003v1
|
||
|
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'apprentissage11è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
|
||
|
Conception d'un système de révisions : une étude qualitative exploratoire pour identifier les besoins des enseignants et des élèves11è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
|
||
|
Tasks in modular proofs of concurrent algorithmsInformation 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
|
||
|
Standalone Event-B models analysis relying on the EB4EB meta-theory9th 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
|
||
|
Formalising Liveness Properties in Event-B with the Reflexive EB4EB FrameworkNASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Conference papers
hal-04046949v1
|
||
|
Certified Logic-Based Explainable AI2023
Preprints, Working Papers, ...
hal-04031193v2
|
||
|
Toward an Operations-Dedicated Model for Space SystemsJournal of Aerospace Information Systems, 2023, pp.1-13. ⟨10.2514/1.I011093⟩
Journal articles
hal-04027880v1
|
||
|
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant2023
Preprints, Working Papers, ...
hal-03782650v2
|
||
Formal domain-driven system development in Event-B: Application to interactive critical systemsJournal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Journal articles
hal-03904803v1
|
|||
|
Formal Verification and Code Generation for Solidity Smart ContractsRajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462
Book sections
hal-04019340v1
|
||
|
Games of Incomplete Information: a Framework Based on Belief FunctionsInternational Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩
Journal articles
hal-03658700v2
|
||
|
Reflexive Event-B: Semantics and Correctness The EB4EB frameworkIEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
Journal articles
hal-03836811v1
|
||
|
Coq Community Survey 2022: Summary of ResultsDocuments associated with scientific events hal-03914602v1 |
||
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof AssistantEcole 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
|
|||
|
ERTS 2022 proceedings2022
Proceedings
hal-03704287v1
|
||
Empowering the Event-B Method Using External TheoriesIntegrated 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
|
|||
|
Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems11th 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 Law2022
Preprints, Working Papers, ...
hal-03679650v1
|
||
|
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BScience of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles
hal-03513847v1
|
||
|
EB4EB: A Framework for Reflexive Event-B26th 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 Conflicts14th 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 CollaborationsInformation Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Journal articles
hal-03170863v1
|
|||
|
Implementing a Category-Theoretic Framework for Typed Abstract Syntax11th 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 FLUIDJournal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Journal articles
hal-03617603v1
|