Filter your results
- 676
- 379
- 10
- 667
- 185
- 42
- 38
- 36
- 25
- 25
- 24
- 12
- 5
- 4
- 1
- 1
- 23
- 2
- 1
- 1054
- 19
- 8
- 6
- 3
- 3
- 3
- 1
- 42
- 32
- 30
- 29
- 28
- 20
- 28
- 52
- 73
- 53
- 76
- 96
- 80
- 73
- 67
- 69
- 72
- 59
- 47
- 38
- 40
- 29
- 23
- 23
- 23
- 12
- 14
- 8
- 5
- 3
- 1
- 1
- 979
- 79
- 6
- 1
- 1065
- 76
- 76
- 42
- 37
- 23
- 20
- 18
- 18
- 16
- 16
- 16
- 15
- 14
- 13
- 12
- 10
- 10
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 347
- 133
- 126
- 105
- 103
- 82
- 65
- 59
- 57
- 55
- 38
- 37
- 33
- 31
- 30
- 30
- 27
- 27
- 25
- 24
- 23
- 22
- 22
- 21
- 21
- 20
- 19
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 16
- 15
- 15
- 15
- 14
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
1 065 Results
|
Experience in Specializing a Generic Realization Language for SPL Engineering at AirbusMODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12
Conference papers
hal-04216627v1
|
||
|
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
|
||
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩
Conference papers
hal-04191536v1
|
|||
|
Lessons from Formally Verified Deployed Software Systems (Extended version)2023
Preprints, Working Papers, ...
hal-04182599v1
|
||
|
Substitution for Non-Wellfounded Syntax with Binders2023
Preprints, Working Papers, ...
hal-04181049v1
|
||
|
Research software engineering and the importance of scientific modelsSoftware and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩
Journal articles
hal-04216671v1
|
||
|
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
|
||
|
ADL Monitoring of Elderly People in Smart Homes Based on Task ModelsWorkshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 - 225, ⟨10.3233/AISE230034⟩
Conference papers
hal-04151435v1
|
||
|
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
|
||
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back AgainProceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
Journal articles
hal-04137240v1
|
|||
|
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
|
||
|
Guest editorial for the theme section on modeling language engineeringSoftware and Systems Modeling, 2023, 22 (3), pp.795-796. ⟨10.1007/s10270-023-01097-2⟩
Journal articles
hal-04216676v1
|
||
|
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant2023
Preprints, Working Papers, ...
hal-03782650v2
|
||
|
Report on the State of the SoSyM Journal end of 2022Software and Systems Modeling, 2023, 22 (1), pp.1-7. ⟨10.1007/s10270-023-01085-6⟩
Journal articles
hal-04216688v1
|
||
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
|
|||
Protéger les données jusqu’à l’OSDalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023
Journal articles
hal-04216866v1
|
|||
|
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
|
||
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings14010, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-33163-3⟩
Proceedings
hal-04183902v1
|
|||
|
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and TestsThe Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Journal articles
hal-04128273v1
|
||
|
A Generic Framework for Representing and Analysing Model ConcurrencySoftware and Systems Modeling, In press, pp.1-23
Journal articles
hal-03921704v1
|
||
|
Operator-centered and model-based design for critical HMIS3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Conference papers
hal-03905124v1
|
||
|
A Language-Parametric Approach to Exploratory Programming EnvironmentsSLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Conference papers
hal-03921387v1
|