Dept. Reliability Systems and Software

Head :  Philippe PALANQUE

The “reliability of systems and software” (RSS) conducts research work centred around two complementary research activities

  • the design of rigorous techniques and methods supporting the development of high quality software and systems;
  • the development of high quality systems and software using rigorous methods and techniques;

with a permanent focus on the production of an assessment of the quality (safety, security, reliability, etc.)  of the developed systems and software.

Several application domains are targeted by the studies achieved in RSS: embedded systems and cyber-physical systems, human computer interaction, distributed systems, numerical computation in transportation systems, medical systems, etc.

Scientific themes

The research activities of the department study the development of high quality complex systems and software and the processes supporting such developments with a major focus on the assessment of the quality (time, safety, security, usability, etc.) of these systems and processes. The studied systems and software may be either process or data based, centralized or distributed, close or open loop controlled systems, communicating and interacting with the users and the environment, hybrid with both discrete and continuous behaviours and may involve both software and hardware. On the software process side the departement worked on a change‐aware process management system that allows process actors reporting emergent changes, analysing possible impacts, and notifying people affected by the changes.

The applications targeted by these studies are critical systems like embedded systems, transportation systems, medical systems, etc.

The department activities take part in the IRIT main research topic: “Design and Construction of systems (reliable, safe, adaptive, distributed, communicating, dynamic, …”. The target applications belong to the strategic application domains identified at IRIT: “on the application domains “Aeronautics and Space, transport” or “Security of Heritage and People” and “ Health, autonomy, living, and well-being”.

Structure of the department.

According to the structure adopted at IRIT, the RSS department is composed of 4 research teams: ACADIE, ARGOS, ICS and SM@RT with 34 permanent researchers and 24 PhD students and postdocs (January 2019).

The 4 research teams belong to 4 different universities: Université Paul Sabatier (UPS), INPT-ENSEEIHT, Université Toulouse 2 Jean-Jaurès (UT2J) and Université Toulouse 1 Capitole (UT1C). They are spread on 7 geographical sites (UPS IRIT, UPS IUT A, ENSEEIHT, UT1 Capitole, IUT Rodez , UT2J, IUT Blagnac) with the following distribution: ACADIE (19 at ENSEEIHT and 10 at UPS), ARGOS (2 at UPS, 4 at UPS-IUTA, 1 at UT2J and 1 UT2J IUT Blagnac), ICS (2 at UPS and 1 at UT1C) and SM@RT (5 at UT2J).

skills

Formal methods
Development process
Model engineering
Requirements engineering
Verification and validation
Embedded systems
Certification of tools and systems

publications du domaine d’application stratégique

International journals articles

  • Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque

    Formal domain-driven system development in Event-B: Application to interactive critical systems

    Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩

    Accès: https://hal.inria.fr/hal-03904803

  • Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel

    Games of Incomplete Information: a Framework Based on Belief Functions

    International Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩

    Accès: https://ut3-toulouseinp.hal.science/hal-03658700v2

  • Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur

    Reflexive Event-B: Semantics and Correctness The EB4EB framework

    IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩

    Accès: https://hal.science/hal-03836811

  • Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe Palanque, Thomas Kosch

    HCI for general aviation: current state and research challenges

    Interactions, 2022, 29 (6), pp.60-65. ⟨10.1145/3564040⟩

    Accès: https://hal.science/hal-03855018

  • Saloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar

    A Group Decision-Making Approach for Global Consistency of Heterogeneous Models

    International Journal of Information Technology and Decision Making, 2022, 21 (6), pp.1-34. ⟨10.1142/s0219622022500316⟩

    Accès: https://hal.science/hal-03781764

  • Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere

    Engineering Operations-based Training

    Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩

    Accès: https://hal.science/hal-03703942

  • Marco Winckler, Philippe Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves

    Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems

    Proceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022

    Accès: https://hal.inria.fr/hal-03657095

  • Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel

    Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B

    Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩

    Accès: https://hal.science/hal-03513847

  • Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloud

    A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations

    Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩

    Accès: https://hal.science/hal-03170863

  • Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel

    F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID

    Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩

    Accès: https://hal.science/hal-03617603

    • National journals articles

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

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

    • National journals articles
    Special issues of journal
    International conferences articles

  • Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto

    Operator-centered and model-based design for critical HMIS

    3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9

    Accès: https://hal.science/hal-03905124

  • L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais

    A Language-Parametric Approach to Exploratory Programming Environments

    SLE 2022 – 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩

    Accès: https://hal.inria.fr/hal-03921387

  • Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler

    A community-sourced view on engineering digital twins: A Report from the EDT.Community

    ModDiT 2022 – 2nd International Workshop on Model-Driven Engineering of Digital Twins, ACM; IEEE CS; University of Montreal, Oct 2022, Montréal, Canada. pp.481-485, ⟨10.1145/3550356.3561549⟩

    Accès: https://hal.inria.fr/hal-03933973

  • Philippe Palanque

    User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020

    17th International Conference on Human–Computer Interaction (RoCHI 2020), Oct 2022, Sibiu, Romania. pp.1-4, ⟨10.37789/rochi.2020.1.1.1⟩

    Accès: https://hal.science/hal-03857822

  • Célia Martinie, Philippe Palanque, Marco Winckler

    Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement

    VIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14

    Accès: https://hal.inria.fr/hal-03811274

  • Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale

    A task-model based approach for detecting ADL-related anomalies

    10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022, IEEE ComSoc, Oct 2022, Thessaloniki, Greece. pp.57-62, ⟨10.1109/WiMob55322.2022.9941688⟩

    Accès: https://hal.science/hal-03862889

  • Jörg Kienzle, Benoit Combemale, Gunter Mussbacher, Omar Alam, Francis Bordeleau, Loli Burgueño, Gregor Engels, Jessie Galasso, Jean-Marc Jézéquel, Bettina Kemme, Sébastien Mosser, Houari Sahraoui, Maximilian Schiedermeier, Eugene Syriani

    Global Decision Making Over Deep Variability in Feedback-Driven Software Development

    ASE 2022 – 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester, MI, United States. pp.1-6, ⟨10.1145/3551349.3559551⟩

    Accès: https://hal.inria.fr/hal-03770004

  • Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

    Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification

    27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩

    Accès: https://hal.science/hal-03855271

  • Maxime Savary-Leblanc, Xavier Le Pallec, Philippe Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickaël Clavreul, Thibault Raffaillac

    Mining human factors general trends from +100k UML class diagrams

    25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩

    Accès: https://hal.science/hal-03855035

  • Megha Quamara, Gabriel Pedroza, Brahim Hamid

    Formal analysis approach for multi-layered system safety and security co-engineering

    14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩

    Accès: https://hal-cea.archives-ouvertes.fr/cea-03789094

    • National conferences articles

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

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

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

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

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

  • Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer

    Intégration des (multi-)exigences tout au long du développement des systèmes complexes

    16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63

    Accès: https://hal.science/hal-02864409

  • Philippe Palanque, Célia Martinie de Almeida, Fayollas Camille

    Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)

    CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩

    Accès: https://hal.science/hal-02875050

    • Conferences articles without published proceedings
    Books

  • Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md Imran Alam

    Formal Verification and Code Generation for Solidity Smart Contracts

    Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462

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

  • Aline Menin, Pierre Maillot, Catherine Faron, Olivier Corby, Carla Maria Dal Sasso Freitas, Fabien Gandon, Marco Winckler

    LDViz: a tool to assist the multidimensional exploration of SPARQL endpoints

    WEBIST 2020/2021, LNBIP 469, In press

    Accès: https://hal.science/hal-03929913

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

  • Elodie Bouzekri, Célia Martinie, Philippe Palanque, Erwann Poupart, Sandra Steere

    UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers

    Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.357-367, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_31⟩

    Accès: https://hal.science/hal-03641769

  • Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni

    A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms

    Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Larusdottir; Lucio Davide Spano. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.290-301, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_26⟩

    Accès: https://hal.science/hal-03641759

  • Sybille Caffiau, José Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano

    Teaching HCI Engineering: Four Case Studies

    Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.195-210, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_18⟩

    Accès: https://hal.science/hal-03641764

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

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

  • 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://hal.inria.fr/hal-03250787

  • 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://hal.inria.fr/hal-03199742

    • Thesis and HDR

    • Xavier Thirioux

      Verifying Embedded Systems

      HDR, Institut National Polytechnique de Toulouse, September 2016.

      BibTeX

    • Brahim Hamid

      Engineering secure systems: patterns, properties, models, analysis and experimental evaluations

      HDR, Université de Toulouse-le-Mirail, December 2016.

      BibTeX

    • Florent Latombe

      Systematic use of models of concurrency in executable domain-specific modelling languages

      Master’s Thesis, Institut National Polytechnique de Toulouse, July 2016.

      BibTeX

    • Marco Antonio Winckler

      Engineering Interactive Systems across application domains

      HDR, Université Paul Sabatier, July 2016.

      BibTeX

    • Guillaume Verdier

      Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes

      Master’s Thesis, Université de Toulouse, March 2016.

      BibTeX

    • Régis Spadotti

      Une théorie mécanisée des arbres réguliers en théorie des types dépendants

      Master’s Thesis, Université Paul Sabatier, May 2016.

      Abstract
      BibTeX

    • Arnaud Dieumegard

      Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages

      Master’s Thesis, Institut National Polytechnique de Toulouse, January 2015.

      BibTeX

    • Camille Fayollas

      Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques

      Master’s Thesis, Université Paul Sabatier, July 2015.

      BibTeX

    • Jacob Geisel

      An Approach to Modeling Repository-Centric Secure Software Engineering Processes

      Master’s Thesis, Université Paul Sabatier, September 2015.

      Abstract
      BibTeX

    • Martina Ragosta

      A multi-modelS based approach for the modelling and the analysis of usable and resilient partly-autonomous interactive systems

      Master’s Thesis, Université Paul Sabatier, May 2015.

      Abstract
      BibTeX

    Reports

  • 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://hal.inria.fr/hal-03531059

  • 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://hal.inria.fr/hal-02985273

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

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

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

  • É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-03109258

  • Thierry Millan, Hervé Leblanc, Christian Percebois

    A Dynamic Type System for OCL

    [Research Report] IRIT. 2017

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

    • Reports
    Thursday 15 December 2022, 9h30
    Towards the certification of Machine~Learning-based Avionic Systems : leveraging mathematical proofs for ensuring trustworthiness
    Eric VIDOT – Team ARGOS, IRIT ISAE-SUPAERO salle 11.114, Toulouse
    #these
    Wednesday 5 October 2022, 9h30
    Affordance Theory in User Experience Evaluation
    Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Monday 13 December 2021, 14h00
    Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
    Mohammad CHAMI – Team SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
    #these
    Friday 3 December 2021, 14h00
    Development of a Formal Verification Methodology for B specifications using PERF toolkit. Application to safety requirements of railway systems
    Alexandra HALCHIN – Team ACADIE, IRIT INP-ENSEEIHT, Salle du Conseil (F501)
    #these
    Monday 8 November 2021, 14h30
    Développement sans rupture de systèmes complexes : une approche basée multi-exigences
    Florian GALINIER – Team SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Friday 29 October 2021, 14h00
    Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support
    Quentin ROULAND – Team ARGOS, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Thursday 14 January 2021, 15h00
    Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof
    Guillaume DUPONT – Team ACADIE, IRIT INP-ENSEEIHT, En visioconférence
    #these
    Thursday 14 January 2021, 14h00
    Notation et processus outillé pour la description, l’analyse et la compréhension de l’automatisation dans les systèmes de commande et contrôle
    Elodie BOUZEKRI – Team ICS, IRIT UT3 Paul Sabatier, Salle des thèses et en visioconférence
    #these
    Friday 18 December 2020, 9h00
    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
    Maroun KOUSSAIFI – Team SMAC, Team SMART, IRIT UT3 Paul Sabatier, En visioconférence
    #these
    Thursday 1 October 2020, 14h00
    Méthodologie de conception de systèmes de simulation en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles
    Renan LEROUX-BEAUDOUT – Team ARGOS, Team SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Monday 28 October 2019 – Thursday 31 October 2019
    MEDI 2019 : 9th International Conference on Model and Data Engineering
    INP-ENSEEIHT
    #congres Know more
    Monday 3 September 2018 – Friday 7 September 2018
    ISSA : International Workshop on Interplay of Security, Safety and System/Software Architecture in conjunction with ESORICS 2018 conference
    Barcelona (Espagne)
    #congres Know more
    Monday 11 September 2017 – Friday 15 September 2017
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Canterbury (Royaume-Uni)
    #congres Know more
    Monday 26 June 2017 – Friday 30 June 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #congres Know more
    Monday 12 December 2016 – Friday 16 December 2016
    World Champions Programming School at Toulouse
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres Know more
    Monday 5 September 2016 – Tuesday 6 September 2016
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Istanbul (Turquie)
    #congres Know more
    Wednesday 30 September 2015 – Friday 2 October 2015
    5th International Conference on Application and Theory of Automation in Command and Control Systems
    UT3 Paul Sabatier, IRIT
    #congres Know more
    Tuesday 1 July 2014 – Friday 4 July 2014
    ICWE 2014 : International Conference on Web Engineering
    UT1 Capitole
    #congres Know more
    Wednesday 18 June 2014 – Friday 20 June 2014
    LACL 2014 : Logical Aspects of Computational Linguistics
    UT3 Paul Sabatier, IRIT
    #congres Know more
    Monday 2 June 2014 – Thursday 5 June 2014
    ABZ 2014 : 4th International Conference ASM, Alloy, B, TLA, VDM, Z
    Toulouse
    #congres Know more
    Wednesday 8 March 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
    Thursday 16 June 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
    Tuesday 13 July 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
    Thursday 27 February 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
    Thursday 26 September 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
    Wednesday 29 May 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
    Tuesday 9 April 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
    Friday 29 March 2019, 15h30 – 16h45
    Vers une taxonomie des exigences
    Bertrand MEYER – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Friday 6 April 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 – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Friday 16 February 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
    Friday 12 March 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 – Team SMART, IRIT UT2 Jean Jaurès, en visioconférence
    #hdr
    Wednesday 1 July 2020, 15h00
    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
    Celia MARTINIE DE ALMEIDA – Team ICS, IRIT UT3 Paul Sabatier, En visioconférence
    #hdr
    Friday 6 July 2018, 9h30
    Formalisations pour les compositions de services
    Aurélie HURAULT – Team ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #hdr
    Monday 19 September 2016, 9h30
    Verifying Embedded Systems
    Xavier THIRIOUX – Team ACADIE – IRIT INP-ENSEEIHT, Salle des theses
    #hdr
    Wednesday 13 July 2016, 15h00
    Engineering Interactive Systems across application domains
    Marco Antonio WINCKLER – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #hdr
    Thursday 25 June 2015
    Journée du GDR GPL – Génie Logiciel et Transfert Technologique
    UT3 Paul Sabatier, IRIT
    #journee
    Wednesday 22 April 2015 – Thursday 23 April 2015
    Journées FAC’2015 : Formalisation des Activités Concurrentes
    INP-ENSEEIHT, Salle des theses
    #journee