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⟩
-
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⟩
Texte intégral
732
Répartition par type de document