Head : Philippe PALANQUE
LINKED SCIENTIFIC ISSUES
LINKED APPLICATION AREAS
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
publications du domaine d’application stratégique
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2022, EICS, 6 (Article N° 164), pp.1-25. ⟨10.1145/3534518⟩
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 , Association for Computing Machinery (ACM), In press, Journal PACM EICS series, EICS 2022
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, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
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, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
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, John Wiley & Sons, Ltd., inPress, ⟨10.1002/smr.2439⟩
Iulian Ober, Kamal Boumaza, Cherif Tolba
Formal Verification of Emergent Properties
Informatica, Slovene Society Informatika, Ljubljana, 2021, 45 (3), ⟨10.31449/inf.v45i3.3160⟩
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⟩
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, M Filali
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software
Journal of Systems Architecture, Elsevier, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩
Mickael Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira
Applying MDE to ROS Systems: A Comparative Analysis
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2021, 31 (1), pp.111 – 144. ⟨10.7561/sacs.2021.1.111⟩
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⟩
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), ATIEF, 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Isabelle Blasquez, Hervé Leblanc, Christian Percebois
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 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
In : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Vol. 35, N. 6, pp. 695-719, 2016.
Yang Zhibin, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu
Towards a verified compiler prototype for the synchronous language SIGNAL
In : Frontiers of Computer Science, Springer, Vol. 10, N. 1, pp. 37-53, February 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
In : Technique et Science Informatiques (TSI), Hermès Science, Vol. 34, N. 6, pp. 667-702, December 2015.
URL : 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
In : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 26, N. 2, pp. 1-20, February 2015.
Jean-Michel Bruel, Nicolas Belloir, Raphaël Faudou
Modélisation des exigences en UML/SysML
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 111, pp. 12-18, December 2014.
Mustapha Hain, Abdelaziz Marzak, Bernard Coulette, Mahmoud Nassar
Vers une démarche pour le développement de modèles à base de Composants Multivue
In : Revue des Nouvelles Technologies de l’Information (RNTI), Cépaduès Editions, Vol. L6 – ISBN : 9782705684174, (on line), June 2012.
URL : 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
In : Techniques de l’ingénieur, Techniques de l’Ingénieur, Paris, France, Vol. H3880, (on line), August 2011.
URL : 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, pp. 41-46, June 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 1, N. 97, pp. 9-15, June 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, pp. 53-58, May 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.
URL : 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.
URL : 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.
URL : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
Célia Martinie, Philippe Palanque
Task Models Based Gameful Design as a Mean to Increase Engagement with Automation
Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States
Peter Riviere, Neeraj K. Singh, Yamine Aït-Ameur
EB4EB: A Framework for Reflexive Event-B
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp. 71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Md Siddiqur Rahman, Laurent Lapasset, Josiane Mothe
Multi-label Classification of Aircraft Heading Changes using Neural Network to Resolve Conflicts
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, United States. pp.403-411, ⟨10.5220/0010829500003116⟩
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
Implementing a Category-Theoretic Framework for Typed Abstract Syntax
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant
A PAC-Bayes Analysis of Adversarial Robustness
Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), NIPS: Neural Information Processing Systems Foundation, Dec 2021, Virtual-only Conference, Australia
Célia Martinie, Christos Grigoriadis, Eleni-Maria Kalogeraki, Panayiotis Kotzanikolaou
Modelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems
25th Pan-Hellenic Conference on Informatics (PCI 2021), Nov 2021, Volos, Greece. pp.375-380, ⟨10.1145/3503823.3503892⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Célia Martinie, Philippe Palanque
Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults
International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩
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⟩
Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Brown
Examining Requirements Documentation through the Focused Conversation Method
29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
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
Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B development process for the distributed BIP framework
In : FAC, Toulouse, 30/03/16-31/03/16.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
In : Journées FAC 2016, LAAS, Toulouse, 30/03/16-31/03/16.
URL : 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
In : The MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, CIRM, Luminy, Marseille, 11/01/16-15/01/16.
Engineering 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?
In : 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
In : 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
In : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
Formal proofs and certified computation in Coq
In : 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
In : HCI Aero 2014 (Industrial track), Santa Clara, 30/07/14-01/08/14.
URL : 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
In : Formalisation des Activités Concurrentes, Toulouse, 16/04/14-17/04/14.
Jean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
In : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
URL : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeX
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⟩
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⟩
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⟩
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⟩
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 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⟩
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⟩
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⟩
Verifying Embedded Systems
HDR, Institut National Polytechnique de Toulouse, September 2016.
Engineering secure systems: patterns, properties, models, analysis and experimental evaluations
HDR, Université de Toulouse-le-Mirail, December 2016.
Systematic use of models of concurrency in executable domain-specific modelling languages
Master’s Thesis, Institut National Polytechnique de Toulouse, July 2016.
Engineering Interactive Systems across application domains
HDR, Université Paul Sabatier, July 2016.
Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes
Master’s Thesis, Université de Toulouse, March 2016.
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.
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages
Master’s Thesis, Institut National Polytechnique de Toulouse, January 2015.
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.
An Approach to Modeling Repository-Centric Secure Software Engineering Processes
Master’s Thesis, Université Paul Sabatier, September 2015.
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.
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
[Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52
Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Interfaces
[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
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
Érik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Pay Functions
[Research Report] IRIT. 2017
Thierry Millan, Hervé Leblanc, Christian Percebois
A Dynamic Type System for OCL
[Research Report] IRIT. 2017
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker
Research report, 0, Archive of Formal Proofs, September 2016.
URL : 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
Research report, IRIT/RT–2014-02–FR, IRIT, December 2014.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions in Coq
Research report, IRIT/RR–2014-09–FR, IRIT, November 2014.
URL : 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
Research report, IRIT/RR–2014-07–FR, IRIT, 2014.
URL : http://www.irit.fr/publis/MACAO/AComparativeStudyofRELAXandSysMLKAOS.pdf
BibTeXRéseau de Recherche en Ingénierie des Modèles
Research report, Préprojet PCSI AUF, Agence Universitaire pour la Francophonie – Asie Pacifique, July 2014.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Concurrent Systems with Priorities
Research report, Report–2013-16–FR, IRIT, June 2013.
Abstract URL : 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
Research report, IRIT/ RR–2013-34–FR, IRIT, September 2013.
URL : 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
Research report, RIT/RR–2013-16–FR, IRIT, February 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
Mechanized Semantics of Real-Time Concurrent Systems
Research report, IRIT/RR–2013-15–FR, IRIT, January 2013.
Validation d’interprètes OCL
Master’s report, IRIT, May 2012.
Abstract URL : https://www.irit.fr/publis/MACAO/memoire-ballarin-final.pdf
BibTeX