Responsable : Philippe PALANQUE
SUJETS SCIENTIFIQUES LIÉS
CONCEPTS POUR LA COGNITION ET L’INTERACTIONDOMAINES D’APPLICATION LIÉS
AÉRONAUTIQUE, ESPACE, TRANSPORTS
SÉCURITÉ DU PATRIMOINE ET DES PERSONNESLe département « Fiabilité des Systèmes et du Logiciel » (FSL) mène des travaux de recherche centrés autour de deux activités complémentaires :
- la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
- le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;
avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés
Plusieurs domaines d’applications sont visés par les différentes études menées au sein du département FSL : systèmes embarqués et cyber-physiques, systèmes interactifs, systèmes distribués, logiciels de calculs numériques, aéronautique et transport, systèmes médicaux, etc.
Activités scientifiques
Les activités de recherche du département FSL traitent du développement de systèmes et de logiciels complexes de qualité ainsi que des processus supports à ces développements avec un intérêt particulier sur l’évaluation de la qualité (temps, sureté, sécurité, utilisabilité, etc.) à la fois de ces systèmes et des processus. Les systèmes et logiciels étudiés peuvent être aussi bien à base de processus ou de données, centralisés ou distribués, contrôlés en boucle ouverte ou fermée, communicants ou interagissant avec l’humain ou l’environnement, hybrides intégrant des comportements discrets et continus, et peuvent impliquer du logiciel et du matériel. Coté processus de développement, le département s’intéresse tout particulièrement aux changements et aux évolutions des systèmes avec la prise en compte de la gestion des évolutions, du reporting et de l’analyse d’impact définition des processus.
Les applications visées sont principalement les systèmes critiques comme les systèmes embarqués, les systèmes de transport, les systèmes médicaux, etc.
Les activités du département s’inscrivent dans le grand sujet scientifique de l’IRIT « Conception et construction de systèmes (fiables, surs, adaptatifs, distribués, communicants, dynamiques …). Les applications visées appartiennent aux domaines d’applications stratégiques de l’IRIT « Aéronautique et espace, transport », « Sécurité du patrimoine et des personnes » ou « Santé, autonomie, vivant, bien-être ».
Structure du département
En accord avec la structure adoptée au sein de l’IRIT, le département FSL est composé de 4 équipes de recherche ACADIE, ARGOS, ICS et SM@RT avec 34 chercheurs et enseignants-chercheurs permanents et 24 doctorants (Janvier 2019).
Les 4 équipes de recherche regroupent des permanents appartenant à quatre différents établissements : Université Paul Sabatier, (UPS), INPT-ENSEEIHT, Université de Toulouse 2 Jean Jaurès (UT2J) et Université de Toulouse 1 Capitole (UT1C). Les personnels sont répartis sur 7 sites géographiques (UPS IRIT, UPS IUT A, ENSEIHT, UT1 Capitole, IUT Rodez, UT2J, IUT Blagnac) comme suit : ACADIE (19 à l’ENSEEIHT et 10 à l’UPS), ARGOS (2 à l’UPS, 4 à l’UPS-IUT A, 1 à l’UT2J et 1 à UT2J IUT Blagnac), ICS (2 à l’UPS et 1 l’UT1C) et SM@RT (5 à l’UT2J).
Compétences
publications of the apllication areas
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, 17 (3), pp.26:1 – 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
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⟩
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⟩
Mathias Funk, Rong-Hao Liang, Philippe Palanque, Jun Hu, Panos Markopoulos
Designing and Engineering Interactive Computing Systems
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩
Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
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⟩
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⟩
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⟩
David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Model-based Engineering of Feedforward Usability Function for GUI Widgets
Interacting with Computers, Oxford University Press (OUP), 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩
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, 2021, 172 (10), ⟨10.1016/j.apal.2021.103026⟩
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⟩
Utilisation des bases de données orientées graphe comme référentiels de modèles
Dans : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Vol. 35, N. 6, p. 695-719, 2016.
Yang Zhibin, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu
Towards a verified compiler prototype for the synchronous language SIGNAL
Dans : Frontiers of Computer Science, Springer, Vol. 10, N. 1, p. 37-53, février 2016.
Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Bernard Coulette, Mahmoud Nassar
Maintien de la cohérence de modèles de conception hétérogènes
Dans : Technique et Science Informatiques (TSI), Hermès Science, Vol. 34, N. 6, p. 667-702, décembre 2015.
Accès : DOI:10.3166/TSI.34.667-702 – https://oatao.univ-toulouse.fr/16860/
BibTeXZhibin Yang, Kai Hu, Yongwang Zhao, Dianfu Ma, Jean-Paul Bodeveix
AADL Model Verification by Translating into TASM
Dans : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 26, N. 2, p. 1-20, février 2015.
Jean-Michel Bruel, Nicolas Belloir, Raphaël Faudou
Modélisation des exigences en UML/SysML
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 111, p. 12-18, décembre 2014.
Mustapha Hain, Abdelaziz Marzak, Bernard Coulette, Mahmoud Nassar
Vers une démarche pour le développement de modèles à base de Composants Multivue
Dans : Revue des Nouvelles Technologies de l’Information (RNTI), Cépaduès Editions, Vol. L6 – ISBN : 9782705684174, (en ligne), juin 2012.
Accès : http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=12&ref=RNTI+L.6+%3A+Avanc%E9es+r%E9centes+dans+le+domaine+des+Architectures+Logicielles&prodid=1325
BibTeXModélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental
Dans : Techniques de l’ingénieur, Techniques de l’Ingénieur, Paris, France, Vol. H3880, (en ligne), août 2011.
Accès : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/modelisation-en-uml-ocl-des-langages-de-programma
BibTeXMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Le calcul hautes performances: un nouveau champ d’application pour l’ingénierie de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 41-46, juin 2011.
Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski, Iulian Ober
Modèles système, modèles logiciel et modèles de code dans les applications spatiales
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, p. 9-15, juin 2011.
Brahim Hamid, Nicolas Desnos, Christophe Jouvray
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 53-58, mai 2011.
Yamine Ait Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Dans : Science of Computer Programming, Elsevier, Vol. 131, 2016.
Sven Casteleyn, Gustavo Rossi, Marco Antonio Winckler
Engineering the Web for Users, Developers and the Crowd
Dans : Journal of Web Engineering, Rinton Press, Vol. 5&6 N. 14, novembre 2015.
Accès : http://www.rintonpress.com/journals/jweonline.html#v14n56
BibTeXLadjel Bellatreche, Yamine Ait Ameur, Anne Monceaux
Editorial
Dans : Computers in Industry, Elsevier, Vol. 65 N. 9, 2014.
Special Issue “Sixth Workshop on Fixed Points in Computer Science, FICS 2009”
Dans : RAIRO – Theoretical Informatics and Applications, EDP Sciences, Vol. 47 N. 1, 2013.
Ralph Matthes, Sergei Soloviev
CAMCAD ’09 Commutativity of Algebraic Diagrams
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 22 N. 6, décembre 2012.
Accès : http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=22&seriesId=0&issueId=06
BibTeXIngénierie dirigée par les modèles. Vers l’usage industriel
Dans : Technique et Science Informatiques, Hermès Science, Vol. 31 N. 7/2012, septembre 2012.
Thierry Millan, Agusti Canals, Jean-Claude Rault
Outils, test et IDM
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 101, juin 2012.
Agusti Canals, Thierry Millan, Jean-Claude Rault
LIngénierie Dirigée par les Modèles : Bilan et perspectives
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 27, 2011.
Sophie Ebersold, Thérèse Libourel, Philippe Roose
Réutilisation et Traçabilité des systèmes d’Information
Dans : Information – Interaction – Intelligence, Cépaduès Editions, Vol. 10 N. 2, janvier 2011.
María D. Lozano Lozano, José Gallud, Philippe Palanque
Mobile Context-Aware Applications for Ubiquitous Computing
Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 16 N. 15, juillet 2010.
Accès : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant
A PAC-Bayes Analysis of Adversarial Robustness
NeurIPS 2021, Dec 2021, Sydney, Australia
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh
Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Games of Incomplete Information: A Framework Based on Belief Functions
16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Sep 2021, Prague, Czech Republic. pp.328-341, ⟨10.1007/978-3-030-86772-0_24⟩
Tilo Mentler, Philippe Palanque, Susanne Boll, Chris Johnson, Kristof van Laerhoven
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues
IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque, Katrina Atwood, Christine Gris
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs
18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People
18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩
Konrad Baumann, José Creissac Campos, Alan Dix, Laurence Nigay, Philippe Palanque, Jean Vanderdonckt, Gerrit Van der Veer, Benjamin Weyers
HCI-E²: HCI Engineering Education: For Developers, Designers and More
18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩
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⟩
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
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
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
Aurélie Hurault, Philippe Quéinnec
Proving a Non-Blocking Algorithm for Process Renaming with TLA+
13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Collaborative Processes Management: from Modeling to Enacting
22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0
Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette
Heterogeneous design models alignment: from matching to consistency management
33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr 2018, Pau, France. pp.1695-1697
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
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⟩
Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B development process for the distributed BIP framework
Dans : FAC, Toulouse, 30/03/16-31/03/16.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
Dans : Journées FAC 2016, LAAS, Toulouse, 30/03/16-31/03/16.
Accès : http://projects.laas.fr/IFSE/FAC/previous/journ%C3%A9es-fac-2016/
BibTeXErik Martin-Dorel, Guillaume Melquiond
CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in Coq
Dans : The MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, CIRM, Luminy, Marseille, 11/01/16-15/01/16.
Accès : http://scientific-events.weebly.com/1508.html
BibTeXEngineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community?
Dans : 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Mumbay, 17/12/15-20/12/15.
Philippe Palanque, Racim Mehdi Fahssi, Celia Martinie De Almeida, Marco Antonio Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse
Dans : GT Modèles de Tâches – IHM 2015, Toulouse, 27/10/15-30/10/15.
Celia Martinie De Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Dans : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
Formal proofs and certified computation in Coq
Dans : The French Symposium on Games – Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15.
From Safety Indicators to Measuring Risk:the RiskGuided Transport Safety Agency
Dans : HCI Aero 2014 (Industrial track), Santa Clara, 30/07/14-01/08/14.
Accès : http://www.trafi.fi/filebank/a/1434456797/19018fa995da55930a03c3af8bc4f1ed/17872-Nisula_From_Safety_Indicators_to_Measuring_Risk.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification
Dans : Formalisation des Activités Concurrentes, Toulouse, 16/04/14-17/04/14.
Jean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
Dans : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeX
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, CEUR-WS.org, pp.1-180, 2021, ISSN: 1613-0073
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⟩
José Espírito Santo, Ralph Matthes, Luís Pinto
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
Ugo de’Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon 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⟩
Yamine Aït-Ameur, Shin Nakajima, Dominique Méry
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque
A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
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⟩
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⟩
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⟩
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
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⟩
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⟩
On the Power of Rounds: Explorations of the Heard-Of Model
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Toulouse, 2020. English
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⟩
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⟩
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⟩
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
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⟩
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
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
Maroun Koussaifi, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel
Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering
[Research Report] IRIT/RR–2020–06–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2020
Formal Semantics of Requirements Relationships for Traceability
[Research Report] IRIT. 2019
Thierry Millan, Hervé Leblanc, Christian Percebois
A Dynamic Type System for OCL
[Research Report] IRIT. 2017
Érik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Pay Functions
[Research Report] IRIT. 2017
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker
Rapport de recherche, 0, Archive of Formal Proofs, septembre 2016.
Accès : https://www.isa-afp.org/entries/CAVA_LTL_Modelchecker.shtml
BibTeXZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties
Rapport de recherche, IRIT/RT–2014-02–FR, IRIT, décembre 2014.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions in Coq
Rapport de recherche, IRIT/RR–2014-09–FR, IRIT, novembre 2014.
Accès : http://www.irit.fr/publis/ACADIE/IRIT-RR-2014-09-FR.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel
A Comparative Study of RELAX and SysML/KAOS
Rapport de recherche, IRIT/RR–2014-07–FR, IRIT, 2014.
Accès : http://www.irit.fr/publis/MACAO/AComparativeStudyofRELAXandSysMLKAOS.pdf
BibTeXRéseau de Recherche en Ingénierie des Modèles
Rapport de recherche, Préprojet PCSI AUF, Agence Universitaire pour la Francophonie – Asie Pacifique, juillet 2014.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Concurrent Systems with Priorities
Rapport de recherche, Report–2013-16–FR, IRIT, juin 2013.
Résumé Accès : http://www.irit.fr/~Manuel.Garnacho/Publications/MechPrio.pdf
BibTeXFrédéric Mayart, Jean-Michel Bruel, Brahim Hamid
Correlation analysis of modeling approach comparison criteria:methodology proposal
Rapport de recherche, IRIT/ RR–2013-34–FR, IRIT, septembre 2013.
Accès : http://www.irit.fr/publis/MACAO/IRIT RR–2013-34–FR.pdf
BibTeXManuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Concurrent Systems with Priorities
Rapport de recherche, RIT/RR–2013-16–FR, IRIT, février 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Real-Time Concurrent Systems
Rapport de recherche, IRIT/RR–2013-15–FR, IRIT, janvier 2013.
Validation d’interprètes OCL
Rapport de Master, IRIT, mai 2012.
Résumé Accès : https://www.irit.fr/publis/MACAO/memoire-ballarin-final.pdf
BibTeX