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
-
-
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens. Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩. ⟨hal-04642448⟩
-
Nathan Monsoro, Célia Martinie, Philippe Palanque, Théo Saubanère. A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks. 18th International Symposium on Human Aspects of Information Security and Assurance, IFIP Work Group 11.12, Jul 2024, Skövde, Sweden. ⟨hal-04727127⟩
-
-
-
-
Axel Carayon, Célia Martinie, Philippe Palanque, Eric Barboni, Sandra Steere. A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare. Proceedings of the ACM on Human-Computer Interaction , 2024, Proceedings of the ACM on Human-Computer Interaction, 8 - EICS (article 259), pp.1--31. ⟨10.1145/3664633⟩. ⟨hal-04633693⟩
-
-
-