Responsable : Philippe PALANQUE
SUJETS SCIENTIFIQUES LIÉS
DOMAINES D’APPLICATION LIÉS
Le département « Fiabilité des Systèmes et du Logiciel » (FSL) mène des travaux de recherche centrés autour de deux activités complémentaires :
- 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 ;
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
Plusieurs domaines d’applications sont visés par les différentes études menées au sein du département FSL : systèmes embarqués et cyber-physiques, systèmes interactifs, systèmes distribués, logiciels de calculs numériques, aéronautique et transport, systèmes médicaux, etc.
Activités scientifiques
Les activités de recherche du département FSL traitent du développement de systèmes et de logiciels complexes de qualité ainsi que des processus supports à ces développements avec un intérêt particulier sur l’évaluation de la qualité (temps, sureté, sécurité, utilisabilité, etc.) à la fois de ces systèmes et des processus. Les systèmes et logiciels étudiés peuvent être aussi bien à base de processus ou de données, centralisés ou distribués, contrôlés en boucle ouverte ou fermée, communicants ou interagissant avec l’humain ou l’environnement, hybrides intégrant des comportements discrets et continus, et peuvent impliquer du logiciel et du matériel. Coté processus de développement, le département s’intéresse tout particulièrement aux changements et aux évolutions des systèmes avec la prise en compte de la gestion des évolutions, du reporting et de l’analyse d’impact définition des processus.
Les applications visées sont principalement les systèmes critiques comme les systèmes embarqués, les systèmes de transport, les systèmes médicaux, etc.
Les activités du département s’inscrivent dans le grand sujet scientifique de l’IRIT « Conception et construction de systèmes (fiables, surs, adaptatifs, distribués, communicants, dynamiques …). Les applications visées appartiennent aux domaines d’applications stratégiques de l’IRIT « Aéronautique et espace, transport », « Sécurité du patrimoine et des personnes » ou « Santé, autonomie, vivant, bien-être ».
Structure du département
En accord avec la structure adoptée au sein de l’IRIT, le département FSL est composé de 4 équipes de recherche ACADIE, ARGOS, ICS et SM@RT avec 34 chercheurs et enseignants-chercheurs permanents et 24 doctorants (Janvier 2019).
Les 4 équipes de recherche regroupent des permanents appartenant à quatre différents établissements : Université Paul Sabatier, (UPS), INPT-ENSEEIHT, Université de Toulouse 2 Jean Jaurès (UT2J) et Université de Toulouse 1 Capitole (UT1C). Les personnels sont répartis sur 7 sites géographiques (UPS IRIT, UPS IUT A, ENSEIHT, UT1 Capitole, IUT Rodez, UT2J, IUT Blagnac) comme suit : ACADIE (19 à l’ENSEEIHT et 10 à l’UPS), ARGOS (2 à l’UPS, 4 à l’UPS-IUT A, 1 à l’UT2J et 1 à UT2J IUT Blagnac), ICS (2 à l’UPS et 1 l’UT1C) et SM@RT (5 à l’UT2J).
Compétences
publications of the apllication areas
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games
Internet of Things, 2024, 26 (July), pp.101161. ⟨10.1016/j.iot.2024.101161⟩
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⟩
Yinling Liu, Jean-Michel Bruel
Modeling and verification of natural language requirements based on states and modes
Formal Aspects of Computing, 2024, 36 (2), pp.1-47. ⟨10.1145/3640822⟩
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains
Journal of Aerospace Information Systems, 2024, 21 (5), pp.367-379. ⟨10.2514/1.I011164⟩
Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Software and Systems Modeling, 2024, ⟨10.1007/s10270-023-01142-0⟩
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis
International Journal on Software Tools for Technology Transfer, 2024, 26 (2), pp.189-205. ⟨10.1007/s10009-024-00741-6⟩
Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni
Towards MBSE engineering dedicated to socio-technical interactive systems
CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis
International Journal on Software Tools for Technology Transfer, 2024, 26 (2 – Special Issue: FMICS 2022), pp.189–205. ⟨10.1007/s10009-024-00741-6⟩
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Adopting the concept of a function as an underlying semantic paradigm for modeling languages
Software and Systems Modeling, 2023, 22 (6), pp.1733-1735. ⟨10.1007/s10270-023-01140-2⟩
Célia Martinie, Philippe Palanque, Eric Barboni
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design
Personal and Ubiquitous Computing, 2023, pp.1–28. ⟨10.1007/s00779-023-01783-4⟩
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons
Git4School : un tableau de bord pour assister la prise de décisions de l’enseignant lors des cours de génie logiciel
STICEF (Sciences et Technologies de l’Information et de la Communication pour l’Éducation et la Formation), 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Isabelle Blasquez, Hervé Leblanc, Christian Percebois
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2017, 36 (1-2), pp.7-50. ⟨10.3166/tsi.2017.00003⟩
Utilisation des bases de données orientées graphe comme référentiels de modèles
Dans : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Vol. 35, N. 6, p. 695-719, 2016.
Yang Zhibin, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu
Towards a verified compiler prototype for the synchronous language SIGNAL
Dans : Frontiers of Computer Science, Springer, Vol. 10, N. 1, p. 37-53, février 2016.
Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Bernard Coulette, Mahmoud Nassar
Maintien de la cohérence de modèles de conception hétérogènes
Dans : Technique et Science Informatiques (TSI), Hermès Science, Vol. 34, N. 6, p. 667-702, décembre 2015.
Accès : DOI:10.3166/TSI.34.667-702 – https://oatao.univ-toulouse.fr/16860/
BibTeXZhibin Yang, Kai Hu, Yongwang Zhao, Dianfu Ma, Jean-Paul Bodeveix
AADL Model Verification by Translating into TASM
Dans : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 26, N. 2, p. 1-20, février 2015.
Jean-Michel Bruel, Nicolas Belloir, Raphaël Faudou
Modélisation des exigences en UML/SysML
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 111, p. 12-18, décembre 2014.
Mustapha Hain, Abdelaziz Marzak, Bernard Coulette, Mahmoud Nassar
Vers une démarche pour le développement de modèles à base de Composants Multivue
Dans : Revue des Nouvelles Technologies de l’Information (RNTI), Cépaduès Editions, Vol. L6 – ISBN : 9782705684174, (en ligne), juin 2012.
Accès : http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=12&ref=RNTI+L.6+%3A+Avanc%E9es+r%E9centes+dans+le+domaine+des+Architectures+Logicielles&prodid=1325
BibTeXModélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental
Dans : Techniques de l’ingénieur, Techniques de l’Ingénieur, Paris, France, Vol. H3880, (en ligne), août 2011.
Accès : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/modelisation-en-uml-ocl-des-langages-de-programma
BibTeXMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Le calcul hautes performances: un nouveau champ d’application pour l’ingénierie de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 41-46, juin 2011.
Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski, Iulian Ober
Modèles système, modèles logiciel et modèles de code dans les applications spatiales
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, p. 9-15, juin 2011.
Brahim Hamid, Nicolas Desnos, Christophe Jouvray
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 53-58, mai 2011.
Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi
AutomationXP 2021: Automation Experience at the Workplace 2021
Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905, pp.1-180, 2021, ISSN: 1613-0073
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Bruel; Jean-Michel and Mazzara; Manuel and Meyer; Bertrand. Lecture Notes in Computer Science, 11350, pp.1-226, 2019, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 978-3030060183
Cristian Bogdan, Kati Kuusinen, Marta Larusdottir, Philippe Palanque, Marco Winckler
Human-Centered Software Engineering – 7th IFIP WG 13.2 International Working Conference, HCSE 2018
Bogdan, Cristian; Kuusinen, Kati; Larusdottir, Marta; Palanque, Philippe; Winckler, Marco Antonio. 7th IFIP WG 13.2 International Working Conference – HCSE 2018, Sep 2018, Nice Sophia Antipolis, France. Lecture Notes in Computer Science, 11262, 2019, Human-Centered Software Engineering, 978-3030059088
Torkil Clemmensen, Venkatesh Rajamanickam, Peter Dannenman, Helen Petrie, Marco Winckler
Global Thoughts, Local Designs – INTERACT 2017 IFIP TC 13 Workshops, Mumbai, 25/09/2017 – 27/09/2017, Revised Selected Papers
Clemmensen, Torkil; Rajamanickam, Venkatesh; Dannenman, Peter; Petrie, Helen; Winckler, Marco Antonio. 16th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2017), Mumbai, India. Lecture Notes in Computer Science, 10774, 2018, Global Thoughts, Local Designs, 978-3-319-92080-1. ⟨10.1007/978-3-319-92081-8⟩
Ladjel Bellatreche, Yamine Aït-Ameur, George Angelos Papadopoulos
Models and Data Engineering
Future Generation Computer Systems, 68, 2017, Models and data engineering, ⟨10.1016/j.future.2016.11.017⟩
Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishnan, Jacki O’Neill, Marco Winckler
Proceedings of 16th IFIP TC 13 International Conference on Human Computer Interaction (INTERACT 2017)
Bernhaupt, Regina; Dalvi, Girish; Joshi, Anirudha; Balkrishnan, Devanush K.; O’Neill, Jacki; Winckler, Marco Antonio. Lecture Notes in Computer Science, 10513 à 10516 (vol. I à IV), 2017, IFIP-LNCS Volumes : Human-Computer Interaction – INTERACT 2017
Yamine Ait Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Dans : Science of Computer Programming, Elsevier, Vol. 131, 2016.
Sven Casteleyn, Gustavo Rossi, Marco Antonio Winckler
Engineering the Web for Users, Developers and the Crowd
Dans : Journal of Web Engineering, Rinton Press, Vol. 5&6 N. 14, novembre 2015.
Accès : http://www.rintonpress.com/journals/jweonline.html#v14n56
BibTeXLadjel Bellatreche, Yamine Ait Ameur, Anne Monceaux
Editorial
Dans : Computers in Industry, Elsevier, Vol. 65 N. 9, 2014.
Special Issue “Sixth Workshop on Fixed Points in Computer Science, FICS 2009”
Dans : RAIRO – Theoretical Informatics and Applications, EDP Sciences, Vol. 47 N. 1, 2013.
Ralph Matthes, Sergei Soloviev
CAMCAD ’09 Commutativity of Algebraic Diagrams
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 22 N. 6, décembre 2012.
Accès : http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=22&seriesId=0&issueId=06
BibTeXIngénierie dirigée par les modèles. Vers l’usage industriel
Dans : Technique et Science Informatiques, Hermès Science, Vol. 31 N. 7/2012, septembre 2012.
Thierry Millan, Agusti Canals, Jean-Claude Rault
Outils, test et IDM
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 101, juin 2012.
Agusti Canals, Thierry Millan, Jean-Claude Rault
LIngénierie Dirigée par les Modèles : Bilan et perspectives
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 27, 2011.
Sophie Ebersold, Thérèse Libourel, Philippe Roose
Réutilisation et Traçabilité des systèmes d’Information
Dans : Information – Interaction – Intelligence, Cépaduès Editions, Vol. 10 N. 2, janvier 2011.
María D. Lozano Lozano, José Gallud, Philippe Palanque
Mobile Context-Aware Applications for Ubiquitous Computing
Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 16 N. 15, juillet 2010.
Accès : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
Thuy Nguyen, Sophie Ebersold, Imen Sayar, Jean-Michel Bruel
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
27 th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), ACM / IEEE, Sep 2024, Linz, Austria. à paraître, ⟨10.1007/s10270-023-01142-0⟩
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⟩
Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober, Razan Abualsaud
AI-augmented Framework to Enable Process Awareness in Collaborative Teams
2024 International Joint Conference on Neural Networks (IJCNN), International Neural Network Society; IEEE Computational Intelligence Society, Jun 2024, Yokohama, Japan. pp.1-8, ⟨10.1109/IJCNN60899.2024.10650888⟩
From Event-B to Lambdapi
10th International Conference on Rigourous State-Based Methods (ABZ 2024), ABZ, Jun 2024, Bergamo, Italy. pp.387-391, ⟨10.1007/978-3-031-63790-2_29⟩
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL properties in Event-B
10th International Conference on Rigorous State-Based Methods (ABZ 2024), Jun 2024, Bergame, Italy. pp.255-261, ⟨10.1007/978-3-031-63790-2_20⟩
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⟩
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
Minh Khoi Nguyen, Hanh Nhi Tran, Razan Abualsaud, Ileana Ober
An AI-Enhanced Process Mining Framework for Software Process Insights
15th International Conference on Knowledge and Systems Engineering (KSE 2023), Oct 2023, Hanoï, Vietnam. pp.1-6, ⟨10.1109/KSE59128.2023.10299475⟩
Axel Carayon, Célia Martinie, Philippe Palanque
Task Models as a Mean to Identify and Justify Automations in Development Tasks
26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023), ACM; IEEE, Oct 2023, Västerås, Sweden. pp.757-764, ⟨10.1109/MODELS-C59198.2023.00122⟩
Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, Jörg Kienzle
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
From Event-B to Lambdapi (Journées FAC 2024)
FAC 2024, groupe IFSE du RTRA STAE, Apr 2024, Toulouse, France
Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin
Conception d’un système de révisions : une étude qualitative exploratoire pour identifier les besoins des enseignants et des élèves
11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.36-41
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant
Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique (EJCIM 2022), GDR Informatique Mathématique, Jun 2022, Nice, France
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Jeux incomplets algébriques
Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53
Érik Martin-Dorel, Pierre Roux
Flottants primitifs dans Coq
32èmes Journées Francophones des langages applicatifs (JFLA 2021), Apr 2021, virtuel, France
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons
Mise en oeuvre d’approches pédagogiques fondées sur des pratiques de l’industrie du logiciel pour l’apprentissage de la programmation
8ème Colloque Didapro : L’informatique, objets d’enseignements (DidaSTIC 2020), Feb 2020, Lille, France. pp.1-12
Aurélie Hurault, Philippe Quéinnec
Proving a Non-Blocking Algorithm for Process Renaming with TLA+
13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Collaborative Processes Management: from Modeling to Enacting
22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0
Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette
Heterogeneous design models alignment: from matching to consistency management
33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr 2018, Pau, France. pp.1695-1697
Andrey Sadovykh, Nan Messe, Ildar Nigmatullin, Sophie Ebersold, Maria Naumcheva, Jean-Michel Bruel
Security Requirements Formalization with RQCODE in
Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9
Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md. Imran Alam
Formal Verification and Code Generation for Solidity Smart Contracts
Rajiv Pandey; Sam Goundar; Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, Elsevier, pp.125-144, 2023, 978-0323961462. ⟨10.1016/B978-0-323-96146-2.00028-0⟩
Célia Martinie, Philippe Palanque, Eric Barboni
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models
Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Yamine Aït-Ameur, Ismail Mendil, Guillaume Dupont, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Jonathan Certes, Benoît Morgan
Remote attestation of bare-metal microprocessor software: a formally verified security monitor
Database and Expert Systems Applications – DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings, 1479, Springer International Publishing, pp.42-51, 2021, Communications in Computer and Information Science book series (CCIS), 978-3-030-87100-0. ⟨10.1007/978-3-030-87101-7_5⟩
José Espírito Santo, Ralph Matthes, Luís Pinto
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
Ugo de’Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Yamine Aït-Ameur, Shin Nakajima, Dominique Méry
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque
A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
Michael Harrison, Célia Martinie, Nicholas Micallef, Philippe Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana Zaina
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers
EICS 2023 – 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, LNCS-14517, Springer Nature Switzerland, pp.I–XIV, 1–224, 2024, Lecture Notes in Computer Science, 978-3-031-59234-8. ⟨10.1007/978-3-031-59235-5⟩
Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
Frontiers in Software Engineering Education: Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
Lecture Notes in Computer Science, 14387, Springer Nature Switzerland, pp.XV, 1–109, 2023, Lecture Notes in Computer Science (LNCS), 978-3-031-48638-8. ⟨10.1007/978-3-031-48639-5⟩
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent Monoidal Categories
Leibniz International Proceedings in Informatics , 269, Schloss Dagstuhl – Leibniz Center for Informatics, pp.15:1-15:21, 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022), 978-3-95977-285-3. ⟨10.4230/LIPIcs.TYPES.2022.15⟩
Benoit Combemale, Gunter Mussbacher, Stefanie Betz, Adrian Friday, Irit Hadar, June Sallou, Iris Groher, Henry Muccini, Olivier Le Meur, Christian Herglotz, Elina Eriksson, Birgit Penzenstadler, Anne-Kathrin Peters, Colin C Venters
Joint Proceedings of ICT4S 2023 Doctoral Symposium, Demonstrations & Posters Track and Workshops co-located with 9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023)
9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023), CEUR Workshop Proceedings, 3562, ceur-ws.org, 2023
Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Rigorous State-Based Methods – 9th International Conference, ABZ 2023, Nancy, France, May 30 – June 2, 2023, Proceedings
Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩
Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi
AutomationXP 2023: Intervening, Teaming, Delegating – Creating Engaging Automation Experiences, Proceedings of the Workshop on Intervening, Teaming, Delegating, co-located with the ACM CHI 2023
3394, ceur-ws.org, 2023, CEUR Workshop Proceedings
Philippe Cuenot, Marie de Roquemaurel, Kevin Delmas, Jean-Marc Gabriel, Adrien Gauffriau, Christophe Grand, Éric Jenn, Mohamed Kaâniche, Benoît Morgan
ERTS 2022 proceedings
2022
Sophie Ebersold, Régine Laleau, Manuel Mazzara
Welcome from the Organizers FormReq 2021 (IEEE 29th International Requirements Engineering Conference Workshops)
IEEE, pp.349-349, 2021, 978-1-6654-1898-0. ⟨10.1109/REW53955.2021.00061⟩
EICS ’21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Eindhoven (virtual), Netherlands. ACM: Association for Computing Machinery, New York, 2021, 978-1-4503-8449-0. ⟨10.1145/3459926⟩
Genny Tortora, Giuliana Vitiello, Marco Winckler
AVI ’20: Proceedings of the International Conference on Advanced Visual Interfaces
AVI 2020 – International Conference on Advanced Visual Interfaces, ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7535-1. ⟨10.1145/3399715⟩
Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods
Computer Science [cs]. Toulouse INP, 2024
Automatic generation of proof obligations parameterised by domain theories implementation in Event-B : The EB4EB Framework
Computer Science [cs]. Université de Toulouse, 2024. English. ⟨NNT : 2024TLSEP052⟩
Méthodes et modèles pour la vérification formelle de l’attestation à distance sur microprocesseur
Sciences de l’information et de la communication. Université Paul Sabatier – Toulouse III, 2023. Français. ⟨NNT : 2023TOU30168⟩
Méthodes et modèles pour la vérification formelle de l’attestation à distance sur microprocesseur
Informatique [cs]. Université Toulouse 3 – Paul Sabatier, 2023. Français. ⟨NNT : ⟩
An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support
Computer Aided Engineering. Université Paul Sabatier – Toulouse III, 2022. English. ⟨NNT : 2022TOU30267⟩
Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems.
Other [cs.OH]. Institut National Polytechnique de Toulouse – INPT, 2021. English. ⟨NNT : 2021INPT0118⟩
Seamless development of complex systems : a multirequirements approach
Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30130⟩
Rigorous development of secure architecture within the negative and positive statements : properties, models, analysis and tool support
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30251⟩
Algorithms and techniques for bot detection in social networks
Library and information sciences. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩
Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie Système
Modélisation et simulation. Université de Toulouse, 2021
Paul Kacimi, Sophie Ebersold, Nan Messe
Etat de l’Art des problèmes de sécurité de la BlockChain
IRIT/RR–2023–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
[Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52
Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Interfaces
[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Xavier Thirioux, Alexis Maffart
Taylor Series Revisited
ISAE/DISC/RT2020/1, Institut Supérieur de l’Aéronautique et de l’Espace. 2020
Maroun Koussaifi, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel
Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering
[Research Report] IRIT/RR–2020–06–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2020
Formal Semantics of Requirements Relationships for Traceability
[Research Report] IRIT. 2019
Thierry Millan, Hervé Leblanc, Christian Percebois
A Dynamic Type System for OCL
[Research Report] IRIT. 2017
Érik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Pay Functions
[Research Report] IRIT. 2017
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker
Rapport de recherche, 0, Archive of Formal Proofs, septembre 2016.
Accès : https://www.isa-afp.org/entries/CAVA_LTL_Modelchecker.shtml
BibTeXZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties
Rapport de recherche, IRIT/RT–2014-02–FR, IRIT, décembre 2014.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions in Coq
Rapport de recherche, IRIT/RR–2014-09–FR, IRIT, novembre 2014.
Accès : http://www.irit.fr/publis/ACADIE/IRIT-RR-2014-09-FR.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel
A Comparative Study of RELAX and SysML/KAOS
Rapport de recherche, IRIT/RR–2014-07–FR, IRIT, 2014.
Accès : http://www.irit.fr/publis/MACAO/AComparativeStudyofRELAXandSysMLKAOS.pdf
BibTeXRéseau de Recherche en Ingénierie des Modèles
Rapport de recherche, Préprojet PCSI AUF, Agence Universitaire pour la Francophonie – Asie Pacifique, juillet 2014.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Concurrent Systems with Priorities
Rapport de recherche, Report–2013-16–FR, IRIT, juin 2013.
Résumé Accès : http://www.irit.fr/~Manuel.Garnacho/Publications/MechPrio.pdf
BibTeXFrédéric Mayart, Jean-Michel Bruel, Brahim Hamid
Correlation analysis of modeling approach comparison criteria:methodology proposal
Rapport de recherche, IRIT/ RR–2013-34–FR, IRIT, septembre 2013.
Accès : http://www.irit.fr/publis/MACAO/IRIT RR–2013-34–FR.pdf
BibTeXManuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Concurrent Systems with Priorities
Rapport de recherche, RIT/RR–2013-16–FR, IRIT, février 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Real-Time Concurrent Systems
Rapport de recherche, IRIT/RR–2013-15–FR, IRIT, janvier 2013.
Validation d’interprètes OCL
Rapport de Master, IRIT, mai 2012.
Résumé Accès : https://www.irit.fr/publis/MACAO/memoire-ballarin-final.pdf
BibTeX
Vous trouverez ci-dessous les profils de postes au sein de notre département avec leurs liens sur la plateforme Galaxie.
- UT3 – MCF 27 – Génie Logiciel incluant approches à base de modèles et les aspects validation et vérification – Département FSL. Enseignement à la Faculté Sciences et Ingénierie, dépt Informatique
- UT3 – MCF 27 – Génie logiciel incluant approches à base de modèles, validation et vérification – Département FSL. Enseignement à l’IUT A Castres, département MMI
- INP – PR 27 – Méthodes formelles, vérification et validation, modélisation, explicabilité, spécifications formelles, preuves, systèmes distribués – Département FSL. Enseignement à l’ENSEEIHT, dépt Sciences du numérique