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