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
  • Adam Shimi, Aurélie Hurault, Philippe Quéinnec

    Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

    Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, Volume17,Issue3, ⟨10.46298/lmcs-17(3:26)2021⟩

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

  • Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi

    Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

    Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2021, Advances and Challenges for Model and Data Engineering, 27 (7), pp.755 – 773. ⟨10.3897/jucs.70515⟩

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

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

    Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems

    ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩

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

  • Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque

    On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

    Interacting with Computers, Oxford University Press (OUP), 2021, ⟨10.1093/iwcomp/iwab016⟩

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

  • Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer

    The Role of Formalism in System Requirements

    ACM Computing Surveys, Association for Computing Machinery, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩

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

  • Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe Palanque, Mauro Pisano, Lucio Davide Spano

    Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures

    Interacting with Computers, Oxford University Press (OUP), 2021, pp.iwab007. ⟨10.1093/iwcomp/iwab007⟩

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

  • José Espírito Santo, Ralph Matthes, Luís Pinto

    A Coinductive Approach to Proof Search through Typed Lambda-Calculi

    Annals of Pure and Applied Logic, Elsevier Masson, In press, 172 (10), ⟨10.1016/j.apal.2021.103026⟩

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

  • 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, Elsevier, In press

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

  • Jean-Paul Bodeveix, Arnaud Dieumegard, M Filali

    Event-B formalization of a variability-aware component model patterns framework

    Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩

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

  • José Creissac Campos, Fayollas Camille, Michael Harrison, Célia Martinie, Paolo Masci, Philippe Palanque

    Supporting the Analysis of Safety Critical User Interfaces

    ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩

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

  • National journals articles
  • 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, Lavoisier, 2017, 36 (1-2), pp.7-50. ⟨10.3166/tsi.2017.00003⟩

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

  • National journals articles
    Special issues of journal
    International conferences articles
  • Ismail Mendil, Yamine Aït-Ameur, Neeraj K. Singh, Dominique Méry, Philippe Palanque

    Standard Conformance-by-Construction with Event-B

    26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩

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

  • Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil

    Sound Verification Procedures for Temporal Properties of Infinite-State Systems

    33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States

    Accès: https://hal.archives-ouvertes.fr/hal-03243129v2

  • Guillaume Vidot, Paul Viallard, Emilie Morvant

    Une Analyse PAC-Bayésienne de la Robustesse Adversariale

    Conférence sur l’Apprentissage automatique (CAp 2021), Equipe Data Intelligence du laboratoire Hubert Curien de Saint-Etienne, Jun 2021, Saint Etienne, France

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

  • Erwan Le Merrer, Benoît Morgan, Gilles Trédan

    Setting the Record Straighter on Shadow Banning

    INFOCOM 2021 – IEEE International Conference on Computer Communications, IEEE, May 2021, Virtual, Canada. pp.1-10, ⟨10.1109/INFOCOM42981.2021.9488792⟩

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

  • Célia Martinie

    Challenges for operationalizing XAI in Critical Interactive Systems

    ACM CHI Workshop on Operationalizing Human-Centered Perspectives in Explainable AI (HCXAI @ CHI 2021), ACM, May 2021, Online Virtual Conference (originally Yokohama), Japan

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

  • Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec

    A Direct Formal Semantics for BPMN Time-Related Constructs

    16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), Apr 2021, online, Czech Republic. ⟨10.5220/0010462901380149⟩

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

  • Guillaume Dupont, Yamine Aït-Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel

    Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

    22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩

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

  • Nicolas Broders, Célia Martinie, Philippe Palanque, Marco Winckler, Kimmo Halunen

    A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

    HCSE 2020 – 8th International Conference on Human-Centered Software Engineering – IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩

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

  • Regina Bernhaupt, Célia Martinie, Philippe Palanque, Günter Wallner

    A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience

    8th International Conference on Human-Centered Software Engineering – IFIP WG 13.2 International Working Conference, HCSE 2020, Nov 2020, Eindhoven, Netherlands. pp.24-44, ⟨10.1007/978-3-030-64266-2_2⟩

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

  • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh

    An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

    16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩

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

  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-02875050

  • Conferences articles without published proceedings
    Books
  • 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.archives-ouvertes.fr/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 Brger on the Occasion of His 75th Birthday”, Lecture Notes in Computer Science (12750), Springer, pp.1-13, 2021, Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩

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

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

  • 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

  • Genny Tortora, Giuliana Vitiello, Marco Winckler

    AVI ’20: Proceedings of the International Conference on Advanced Visual Interfaces

    Genny Tortora; Giuliana Vitiello; Marco Winckler. International Conference on Advanced Visual Interfaces (AVI 2020), Sep 2020, Ischia Island, Italy. ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7535-1. ⟨10.1145/3399715⟩

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

  • 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.archives-ouvertes.fr/hal-02939069

  • Adrian Reuter, Karima Boudaoud, Marco Winckler, Ahmed Abdelmaksoud, Wadie Lemrazzeq

    Secure Email – A Usability Study

    FC 2020: Workshops, International Conference on Financial Cryptography and Data Security, 12063, pp.36-46, 2020, Lecture Notes in Computer Science book series (LNCS, volume 12063), 978-3-030-54454-6. ⟨10.1007/978-3-030-54455-3_3⟩

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

  • Philippe Palanque, Andy Cockburn, Carl Gutwin

    A Classification of Faults Covering the Human-Computer Interaction Loop

    Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩

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

  • Judy Bowen, Jean Vanderdonckt, Marco Winckler

    EICS ’20 Companion: Companion Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

    Marco Winckler. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), Jun 2020, Sophia Antipolis (virtual), France. ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7984-7. ⟨10.1145/3393672⟩

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

  • Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe Becerra, Fabio Paternò

    Proceedings of the Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems

    Peter Fröhlich; Matthias Baldauf; Philippe Palanque; Virpi Roto; Thomas Meneweger; Manfred Tscheligi; Zoe Becerra; Fabio Paternó. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu, Hawaii, United States. 2700, CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University, 2020

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

  • Thesis and HDR
  • 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.archives-ouvertes.fr/tel-03201997

  • Elodie Bouzekri

    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

    Automatique. Université Paul Sabatier – Toulouse III, 2021. Français. ⟨NNT : 2021TOU30003⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03208713

  • Maroun Koussaifi

    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant

    Interface homme-machine [cs.HC]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30212⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03209249v2

  • Adam Shimi

    On the Power of Rounds: Explorations of the Heard-Of Model

    Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Toulouse, 2020. English

    Accès: https://hal.archives-ouvertes.fr/tel-03123969

  • Mamadou Lakhassane Cisse

    Modélisation et exécution flexible de processus collaboratifs

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Cheikh Anta Diop (Dakar), 2020. Français. ⟨NNT : 2020TOU20038⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03280101v2

  • Renan Leroux-Beaudout

    Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles

    Système d’exploitation [cs.OS]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30089⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03098563

  • Saloua Bennani

    Une approche IDM pour l’alignement collaboratif de modèles hétérogènes

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Mohammed V (Rabat), 2020. Français. ⟨NNT : 2020TOU20029⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03267969

  • Célia Martinie

    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions

    Human-Computer Interaction [cs.HC]. Université Paul Sabatier (Toulouse 3), 2020

    Accès: https://hal.archives-ouvertes.fr/tel-02930976

  • Ian Malakhovski

    Sur le pouvoir expressif des structures applicatives et monadiques indexées

    Analyse numérique [cs.NA]. Université Paul Sabatier – Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02735749

  • Ronan Baduel

    An integrated model-based early validation approach for railway systems

    Other [cs.OH]. Université Toulouse le Mirail – Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩

    Accès: https://hal-univ-tlse2.archives-ouvertes.fr/tel-03012187v2

  • Reports
  • Albert Benveniste, Kim 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.archives-ouvertes.fr/hal-03120776

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

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

  • Thierry Millan, Hervé Leblanc, Christian Percebois

    A Dynamic Type System for OCL

    [Research Report] IRIT. 2017

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

  • É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.archives-ouvertes.fr/hal-03109258

  • Reports
    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 14 September 2020, 10h00
    Un environnement formel pour la sémantique des systèmes hétérogènes
    Mathieu MONTIN – Team ACADIE, IRIT INP-ENSEEIHT, Auditorium et via visioconférence
    #these
    Thursday 16 July 2020, 15h00
    Collaborative Alignment of Heterogeneous Models in a Complex System Design
    Saloua BENNANI – Team SMART, IRIT UT2 Jean Jaurès, En visioconférence
    #these
    Friday 12 June 2020, 14h00
    Semantic transformations for the evolution of data models
    Lynda AIT OUBELLI – Team ACADIE, IRIT INP-ENSEEIHT, En visioconférence
    #these
    Tuesday 15 October 2019, 14h00
    Sur le pouvoir expressif des structures applicatives et monadiques indexées
    Ian MALAKHOVSKI – Team ACADIE, IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Monday 30 September 2019, 10h00
    Une approche intégrée des systèmes ferroviaires et prenant en charge leur validation
    Ronan BADUEL – Team SMART, Team ARGOS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Thursday 18 July 2019, 14h00
    Ingénierie des annotations pour le support de processus de conception de systèmes interactifs: une approche basée modèle et outillée
    Jean-Luc HAK – Team ICS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #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
    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
    Tuesday 21 February 2017, 16h00 – 17h30
    Symbolic Dynamics, Asymptotic Combinatorics and Game Theory
    Nicolaï VASILYEV – Inst. de Mathématiques Steklov, St. Petersbourg (Russie) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Thursday 9 February 2017, 14h00 – 15h30
    Ingénierie des Exigences
    Nacer Eddine ZAROURDE – Université Constantine 2 (Algérie) UT2J, Maison de la Recherche, Bât Olympe de Gouges, GS 121
    #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