Search - Fiabilité des Systèmes et des Logiciels Access content directly

Filter your results

1 065 Results
Image document

Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus

Damien Foures , Mathieu Acher , Olivier Barais , Benoit Combemale , Jean-Marc Jézéquel , et al.
MODELS 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
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

I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models

Axel Carayon , Célia Martinie , Philippe Palanque
19th 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)

Li Huang , Sophie Ebersold , Alexander Kogtenkov , Bertrand Meyer , Yinling Liu
2023
Preprints, Working Papers, ... hal-04182599v1

Substitution for Non-Wellfounded Syntax with Binders

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

Research software engineering and the importance of scientific models

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩
Journal articles hal-04216671v1
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

ADL Monitoring of Elderly People in Smart Homes Based on Task Models

Jose Manuel Negrete Ramírez , Célia Martinie , Philippe Palanque , Yudith Cardinale
Workshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 - 225, ⟨10.3233/AISE230034⟩
Conference papers hal-04151435v1
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

Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again

Carayon Axel , Juan Garrido , Célia Martinie , Philippe Palanque , Eric Barboni , et al.
Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
Journal articles hal-04137240v1
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

Guest editorial for the theme section on modeling language engineering

Benoît Combemale , Romina Eramo , Juan de Lara
Software and Systems Modeling, 2023, 22 (3), pp.795-796. ⟨10.1007/s10270-023-01097-2⟩
Journal articles hal-04216676v1
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

Report on the State of the SoSyM Journal end of 2022

Stéphanie Challita , Benoit Combemale , Huseyin Ergin , Jeff Gray , Bernhard Rumpe , et al.
Software 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 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

Protéger les données jusqu’à l’OS

Ludovic Pailler , Alain Tchana , Benoit Combemale
Dalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023
Journal articles hal-04216866v1
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

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

Uwe Glässer , Jose Creissac Campos , Dominique Méry , Philippe Palanque
14010, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-33163-3⟩
Proceedings hal-04183902v1
Image document

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Maria Naumcheva, , Sophie Ebersold , Alexandr Naumchev , Jean-Michel Bruel , Florian Galinier , et al.
The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Journal articles hal-04128273v1
Image document

A Generic Framework for Representing and Analysing Model Concurrency

Steffen Zschaler , Erwan Bousse , Julien Deantoni , Benoit Combemale
Software and Systems Modeling, In press, pp.1-23
Journal articles hal-03921704v1
Image document

Operator-centered and model-based design for critical HMIS

Sandra Steere , Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque , et al.
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Conference papers hal-03905124v1
Image document

A Language-Parametric Approach to Exploratory Programming Environments

L. Thomas van Binsbergen , Damian Frölich , Mauricio Verano Merino , Joey Lai , Pierre Jeanjean , et al.
SLE 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