Loading...
The Reliability of Systems and Software (RSS) conducts research work centred around two complementary research activities :with a permanent focus on the production of an assessment of the quality (safety, security, reliability, etc.) of the developed systems and software.
- the design of rigorous techniques and methods supporting the development of high quality software and systems;
- the development of high quality systems and software using rigorous methods and techniques;
For more information, consult the Reliability Systems and Software department presentation on the IRIT website.
Latest full text publications
-
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert. Displayed Monoidal Categories for the Semantics of Linear Logic. CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.260-273, ⟨10.1145/3636501.3636956⟩. ⟨hal-04375376⟩
-
Dorian Leroy, Benoit Combemale, Benoît Lelandais, Marie-Pierre Oudot. Practical Runtime Instrumentation of Software Languages: The Case of SciHook. SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6. ⟨hal-04249049⟩
-
Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, et al.. Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus. MODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12. ⟨hal-04216627⟩
-
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. Constructing security cases based on formal verification of security requirements in alloy. 42nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2023) Workshops, Sep 2023, Toulouse, France. pp.15-25, ⟨10.1007/978-3-031-40953-0_2⟩. ⟨cea-04232793⟩
-
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity. 18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩. ⟨hal-04347305⟩
-
Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin. Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. 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⟩. ⟨hal-04211163⟩
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩. ⟨hal-04098856v2⟩
Documents
723
Distribution per document type