Filter your results
- 288
- 123
- 249
- 85
- 19
- 17
- 13
- 9
- 9
- 6
- 2
- 1
- 1
- 18
- 1
- 404
- 18
- 6
- 4
- 3
- 25
- 23
- 23
- 3
- 15
- 30
- 12
- 28
- 30
- 30
- 46
- 30
- 38
- 34
- 28
- 6
- 15
- 16
- 17
- 8
- 12
- 8
- 2
- 2
- 1
- 383
- 27
- 1
- 411
- 39
- 38
- 26
- 20
- 15
- 14
- 13
- 13
- 12
- 12
- 11
- 9
- 9
- 6
- 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
- 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
- 102
- 73
- 55
- 53
- 37
- 30
- 28
- 27
- 23
- 21
- 21
- 21
- 19
- 17
- 16
- 16
- 14
- 13
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 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
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
411 Results
|
Certified Logic-Based Explainable AI2023
Preprints, Working Papers, ...
hal-04031193v1
|
||
|
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 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
|
||
|
Univalent Monoidal Categories2022
Preprints, Working Papers, ...
hal-03889672v1
|
||
|
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
|
||
|
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-B2022 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 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
|
|||
|
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism[Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Reports
hal-03531059v1
|
||
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th 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
|
||
|
Algorithms and techniques for bot detection in social networksLibrary and information sciences. Université Paul Sabatier - Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩
Theses
tel-03560882v1
|
||
Event-B Refinement for Continuous Behaviours Approximation19th 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
|
|||
|
Games of Incomplete Information: A Framework Based on Belief Functions16th 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
|
||
|
Remote attestation of bare-metal microprocessor software: a formally verified security monitorDatabase 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
|
||
|
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing ModelsLogical Methods in Computer Science, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Journal articles
hal-03352272v1
|
||
|
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical softwareJournal of Systems Architecture, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩
Journal articles
hal-03411219v1
|
||
|
Standard Conformance-by-Construction with Event-BFMICS 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
|
||
|
Sound Verification Procedures for Temporal Properties of Infinite-State Systems33rd 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-B45th 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
|
|||
|
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial studyScience 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
|
||
|
Jeux incomplets algébriquesRencontres 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
|