Dépt. Fiabilité des systèmes et des logiciels

Responsable :  Philippe PALANQUE

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

Méthodes formelles
Processus de développement
Ingénierie des modèles
Ingénierie des exigences
Vérification et validation
Systèmes embarqués
Certification des outils et des systèmes

publications of the apllication areas

Articles dans des revues internationales
  • 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⟩

    Accès: https://hal.science/hal-04549958v1

  • 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⟩

    Accès: https://hal.science/hal-04633693v1

  • 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⟩

    Accès: https://hal.univ-lorraine.fr/hal-04446384v1

  • 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⟩

    Accès: https://hal.science/hal-04701363v1

  • 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⟩

    Accès: https://hal.science/hal-04525414v1

  • 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⟩

    Accès: https://hal.science/hal-04534361v1

  • 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⟩

    Accès: https://hal.science/hal-04480199v1

  • 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⟩

    Accès: https://hal.science/hal-04668016v1

  • 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⟩

    Accès: https://inria.hal.science/hal-04425740v1

  • 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⟩

    Accès: https://hal.science/hal-04308405v1

  • Articles dans des revues nationales
  • 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⟩

    Accès: https://hal.science/hal-03617760v1

  • 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⟩

    Accès: https://hal.science/hal-02864393v1

  • Articles dans des revues nationales
    Rédaction de numéros spéciaux de revues
  • 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

    Accès: https://hal.science/hal-03376245v1

  • 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

    Accès: https://hal.science/hal-02976604v1

  • 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

    Accès: https://hal.science/hal-03012558v1

  • 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⟩

    Accès: https://hal.science/hal-03044260v1

  • 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⟩

    Accès: https://hal.science/hal-03128351v1

  • 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

    Accès: https://hal.science/hal-03131891v1

  • Rédaction de numéros spéciaux de revues
    Conférences et workshops internationaux avec actes édités et comité de lecture
  • 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⟩

    Accès: https://hal.science/hal-04700472v1

  • 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⟩

    Accès: https://hal.science/hal-04642448v1

  • 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⟩

    Accès: https://hal.science/hal-04701374v1

  • 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⟩

    Accès: https://hal.science/hal-04662665v1

  • Anne Grieu

    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⟩

    Accès: https://ut3-toulouseinp.hal.science/hal-04691826v1

  • 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⟩

    Accès: https://hal.science/hal-04375376v1

  • 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

    Accès: https://inria.hal.science/hal-04249049v1

  • 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⟩

    Accès: https://hal.science/hal-04334619v1

  • 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⟩

    Accès: https://hal.science/hal-04426794v1

  • 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

    Accès: https://inria.hal.science/hal-04216627v1

  • Conférences et workshops nationaux avec actes édités et comité de lecture
  • Anne Grieu

    From Event-B to Lambdapi (Journées FAC 2024)

    FAC 2024, groupe IFSE du RTRA STAE, Apr 2024, Toulouse, France

    Accès: https://ut3-toulouseinp.hal.science/hal-04692230v1

  • 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

    Accès: https://hal.science/hal-04164903v1

  • 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

    Accès: https://hal.science/hal-03709703v1

  • 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

    Accès: https://hal.science/hal-03298722v1

  • Érik Martin-Dorel, Pierre Roux

    Flottants primitifs dans Coq

    32èmes Journées Francophones des langages applicatifs (JFLA 2021), Apr 2021, virtuel, France

    Accès: https://hal.science/hal-03463839v1

  • 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

    Accès: https://hal.science/hal-02960444v1

  • 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

    Accès: https://hal.science/hal-02442015v1

  • 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⟩

    Accès: https://hal.science/hal-02930097v1

  • 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

    Accès: https://hal.science/hal-02279376v1

  • 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

    Accès: https://hal.science/hal-02319706v1

  • Livres (monographies)
  • 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

    Accès: https://hal.science/hal-04324243v1

  • 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⟩

    Accès: https://hal.science/hal-04019340v1

  • 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⟩

    Accès: https://hal.science/hal-03862234v1

  • 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⟩

    Accès: https://inria.hal.science/hal-03904799v1

  • 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⟩

    Accès: https://hal.science/hal-03576711v1

  • 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⟩

    Accès: https://hal.science/hal-03255968v1

  • 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⟩

    Accès: https://inria.hal.science/hal-03250787v1

  • 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⟩

    Accès: https://inria.hal.science/hal-03199742v1

  • 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⟩

    Accès: https://inria.hal.science/hal-02910199v1

  • 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

    Accès: https://hal.science/hal-02939069v1

  • Recueils des communications
  • 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⟩

    Accès: https://hal.science/hal-04678911v1

  • 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⟩

    Accès: https://hal.science/hal-04324061v1

  • 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⟩

    Accès: https://hal.science/hal-03889672v1

  • 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

    Accès: https://inria.hal.science/hal-04425662v1

  • 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⟩

    Accès: https://inria.hal.science/hal-04183902v1

  • 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

    Accès: https://ut3-toulouseinp.hal.science/hal-04316322v1

  • 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

    Accès: https://hal.science/hal-03704287v1

  • 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⟩

    Accès: https://hal.science/hal-04182579v1

  • Philippe Palanque

    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⟩

    Accès: https://hal.science/hal-03376247v1

  • 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⟩

    Accès: https://hal.science/hal-03138779v1

  • Thèses et habilitations
  • Neeraj Kumar Singh

    Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods

    Computer Science [cs]. Toulouse INP, 2024

    Accès: https://hal.science/tel-04695651v1

  • Peter Riviere

    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⟩

    Accès: https://theses.hal.science/tel-04677532v1

  • Jonathan Certes

    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⟩

    Accès: https://theses.hal.science/tel-04349901v1

  • Jonathan Certes

    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 : ⟩

    Accès: https://hal.science/tel-04457569v1

  • Megha Quamara

    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⟩

    Accès: https://theses.hal.science/tel-04103912v1

  • Alexandra Halchin

    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⟩

    Accès: https://theses.hal.science/tel-04186724v1

  • Florian Galinier

    Seamless development of complex systems : a multirequirements approach

    Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30130⟩

    Accès: https://theses.hal.science/tel-03599456v1

  • Quentin Rouland

    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⟩

    Accès: https://theses.hal.science/tel-03699867v1

  • Maksim Kalameyets

    Algorithms and techniques for bot detection in social networks

    Library and information sciences. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩

    Accès: https://theses.hal.science/tel-03560882v1

  • Sophie Ebersold

    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

    Accès: https://hal.science/tel-03201997v1

  • Rapports
  • 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

    Accès: https://hal.science/hal-04336635v1

  • 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

    Accès: https://inria.hal.science/hal-03531059v1

  • 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

    Accès: https://inria.hal.science/hal-02985273v1

  • Xavier Thirioux, Alexis Maffart

    Taylor Series Revisited

    ISAE/DISC/RT2020/1, Institut Supérieur de l’Aéronautique et de l’Espace. 2020

    Accès: https://hal.science/hal-04357221v1

  • 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

    Accès: https://hal.science/hal-03120776v1

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

    Accès: https://hal.science/hal-03012573v1

  • Érik Martin-Dorel, Sergei Soloviev

    A Formal Study of Boolean Games with Random Formulas as Pay Functions

    [Research Report] IRIT. 2017

    Accès: https://hal.science/hal-03109258v1

  • Thierry Millan, Hervé Leblanc, Christian Percebois

    A Dynamic Type System for OCL

    [Research Report] IRIT. 2017

    Accès: https://hal.science/hal-03109257v1

  • Rapports
    Vendredi 7 Juin 2024, 10h00
    Génération automatique d’obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB
    Peter RIVIERE – Equipe ACADIE, IRIT Toulouse INP-ENSEEIHT, Salle des thèses C002
    #these
    Lundi 18 Décembre 2023, 10h00
    Décision individuelle et stratégique sous incertitude : une approche algébrique et formelle
    Pierre POMERET-COQUOT – Equipe ADRIA, Equipe ACADIE, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Jeudi 5 Octobre 2023, 14h00
    Un cadre formel pour la modélisation explicite des connaissances de domaine dans les méthodes formelles orientées états : application à des systèmes critiques interactifs
    Ismail MENDIL – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #these
    Jeudi 22 Juin 2023, 14h00
    Méthodes et modèles pour la vérification formelle de l’attestation à distance sur microprocesseur
    Jonathan CERTES – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #these
    Jeudi 15 Décembre 2022, 9h30
    Towards the certification of Machine~Learning-based Avionic Systems : leveraging mathematical proofs for ensuring trustworthiness
    Eric VIDOT – Equipe ARGOS, IRIT ISAE-SUPAERO salle 11.114, Toulouse
    #these
    Mercredi 5 Octobre 2022, 9h30
    Théorie de l’affordance dans l’évaluation de l’expérience utilisateur
    Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Lundi 13 Décembre 2021, 14h00
    Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
    Mohammad CHAMI – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
    #these
    Vendredi 3 Décembre 2021, 14h00
    Development of a Formal Verification Methodology for B specifications using PERF toolkit. Application to safety requirements of railway systems
    Alexandra HALCHIN – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle du Conseil (F501)
    #these
    Lundi 8 Novembre 2021, 14h30
    Développement sans rupture de systèmes complexes : une approche basée multi-exigences
    Florian GALINIER – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Vendredi 29 Octobre 2021, 14h00
    Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support
    Quentin ROULAND – Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Lundi 28 Octobre 2019 – Jeudi 31 Octobre 2019
    MEDI 2019 : 9th International Conference on Model and Data Engineering
    INP-ENSEEIHT
    #congres En savoir plus
    Lundi 3 Septembre 2018 – Vendredi 7 Septembre 2018
    ISSA : International Workshop on Interplay of Security, Safety and System/Software Architecture in conjunction with ESORICS 2018 conference
    Barcelona (Espagne)
    #congres En savoir plus
    Lundi 11 Septembre 2017 – Vendredi 15 Septembre 2017
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Canterbury (Royaume-Uni)
    #congres En savoir plus
    Lundi 26 Juin 2017 – Vendredi 30 Juin 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #congres En savoir plus
    Lundi 12 Décembre 2016 – Vendredi 16 Décembre 2016
    World Champions Programming School at Toulouse
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres En savoir plus
    Lundi 5 Septembre 2016 – Mardi 6 Septembre 2016
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Istanbul (Turquie)
    #congres En savoir plus
    Mercredi 30 Septembre 2015 – Vendredi 2 Octobre 2015
    5th International Conference on Application and Theory of Automation in Command and Control Systems
    UT3 Paul Sabatier, IRIT
    #congres En savoir plus
    Mercredi 8 Mars 2023, 14h00 – 15h30
    Talking ‘bout my Generation … or not?: The Digital Technology Life Experiences of Older People
    Helen PETRIE – University of York (Royaume-Uni) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Jeudi 16 Juin 2022, 13h00 – 14h00
    Identifying and Analyzing Implicit Interactions in Critical Infrastructure Systems
    Jason JASKOLKA – Carleton University (Canada) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Mardi 13 Juillet 2021, 15h30 – 16h30
    It Seems (Un)Fair to Me…Users’ perception of algorithmic fairness: a framework and a case study
    Tsvii KUFLIK – University of Haifa (Israel) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Jeudi 27 Février 2020, 16h00 – 17h00
    Défis de génie logiciel dans l’évolution collaborative de l’assistant de preuve Coq et son écosystème
    Théo ZIMMERMANN – Inria, Université de Paris, IRIF, CNRS UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Jeudi 26 Septembre 2019, 14h00 – 15h00
    Security and Privacy in Smart Environments
    Andrey CHECHULIN – Saint-Petersbourg Institute for Informatics and Automatisation (Russie) UT3 Paul Sabatier, IRIT, Salle 003
    #seminaire
    Mercredi 29 Mai 2019, 14h30 – 15h30
    Sécurité avec SGAC et ASTD
    Marc FRAPPIER – Université de Sherbrooke, Groupe de recherche en informatique fondamentale (GRIF) (Canada) INP-ENSEEIHT, Salle des thèses
    #seminaire
    Mardi 9 Avril 2019, 15h00 – 16h00
    Amplification of the Human Mind and Intervention User Interfaces: New Interaction Paradigms in the Age of Artificial Intelligence
    Albrecht SCHMIDT – Ludwig-Maximilians-Universität München (Allemagne) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Vendredi 29 Mars 2019, 15h30 – 16h45
    Vers une taxonomie des exigences
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Vendredi 6 Avril 2018, 13h00 – 14h00
    Séminaire IRIT-UT2J – Initiation à la programmation par les objets, Eiffel et la conception par contrats : 15 ans et 5000 étudiants plus tard
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Vendredi 16 Février 2018, 10h30 – 12h00
    Algorithmes naturels et systèmes d’influence
    Bernadette CHARRON-BOST – Laboratoire d’informatique de l’École Polytechnique (LIX) (France) INP-ENSEEIHT, Salle des thèses
    #seminaire
    Vendredi 21 Juin 2024, 10h00
    Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods
    Neeraj SINGH – Equipe ACADIE, IRIT Toulouse INP-ENSEEIHT, Salle des thèses C002
    #hdr
    Vendredi 12 Mars 2021, 9h00
    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
    Sophie EBERSOLD – Equipe SMART, IRIT UT2 Jean Jaurès, en visioconférence
    #hdr
    Mercredi 1 Juillet 2020, 15h00
    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
    Celia MARTINIE DE ALMEIDA – Equipe ICS, IRIT UT3 Paul Sabatier, En visioconférence
    #hdr
    Vendredi 6 Juillet 2018, 9h30
    Formalisations pour les compositions de services
    Aurélie HURAULT – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #hdr
    Lundi 19 Septembre 2016, 9h30
    Verifying Embedded Systems
    Xavier THIRIOUX – Equipe ACADIE – IRIT INP-ENSEEIHT, Salle des theses
    #hdr
    Mercredi 13 Juillet 2016, 15h00
    Engineering Interactive Systems across application domains
    Marco Antonio WINCKLER – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #hdr
    Mercredi 18 Octobre 2023 – Vendredi 20 Octobre 2023
    SYNAISE@KSE 2023 : Synergies between AI and Software Engineering
    Ha Noi (Vietnam)
    #journee
    Jeudi 25 Juin 2015
    Journée du GDR GPL – Génie Logiciel et Transfert Technologique
    UT3 Paul Sabatier, IRIT
    #journee
    Mercredi 22 Avril 2015 – Jeudi 23 Avril 2015
    Journées FAC’2015 : Formalisation des Activités Concurrentes
    INP-ENSEEIHT, Salle des theses
    #journee

    Vous trouverez ci-dessous les profils de postes au sein de notre département avec leurs liens sur la plateforme Galaxie.