Loading...
Le département Fiabilité des Systèmes et du Logiciel mène des travaux de recherche centrés autour de deux activités complémentaires :avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés.
- la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
- le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;
Pour plus de détails, consultez la présentation du département FSL sur le site de l'IRIT.
Dernières publications en texte intégral
-
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⟩
-
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⟩
-
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⟩
Texte intégral
744
Répartition par type de document