Responsable : Yamine AIT AMEUR
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 du domaine
Sergei Soloviev, Nadezda Orlova
Logic and logicians in Russia before 1917: Living in a wider world
Dans : Historia Mathematica, Elsevier, Vol. 46, p. 38-55, février 2019.
Résumé Accès : https://www.sciencedirect.com/science/article/pii/S0315086018300612 – https://doi.org/10.1016/j.hm.2018.05.002 – https://oatao.univ-toulouse.fr/26301/
BibTeXSergei Soloviev, Ian Malakhovski
Automorphisms of Types and Their Applications.
Dans : Journal of Mathematical Sciences, Springer, Vol. 240 N. 5, p. 692-706, août 2019.
Fei Wang, Zhibin Yang, Zhi-Qiu Huang, Cheng-Wei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models
Dans : IEEE Transactions on Reliability, IEEE : Institute of Electrical and Electronics Engineers, Vol. 1 N. 1, p. 1-20, septembre 2019.
Résumé Accès : http://doi.org/10.1109/TR.2019.2936072 – https://oatao.univ-toulouse.fr/25027/
BibTeXJosé Espírito Santo, Ralph Matthes, Luís Pinto
Decidability of several concepts of finiteness for simple types
Dans : Fundamenta Informaticae, IOS Press, Vol. 170 N. 1-3, p. 111-138, octobre 2019.
Résumé Accès : https://doi.org/10.3233/FI-2019-1857 – https://hal.archives-ouvertes.fr/hal-02119503v1
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
Dans : Journal of Logical and Algebraic Methods in Programming, Elsevier, Vol. 108, p. 24-46, novembre 2019.
Accès : http://pardi.enseeiht.fr/Papers/jlamp.pdf – https://oatao.univ-toulouse.fr/24923/
BibTeXSven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe Palanque, Christine Gris
Fortunettes: Feedforward about the Future State of GUI Widgets
Dans : Proceedings of the ACM on Human-Computer Interaction, ACM SIGCHI, USA, Vol. 3 N. 20, (en ligne), juin 2019.
Accès : https://doi.org/10.1145/3331162 – https://oatao.univ-toulouse.fr/24921/
BibTeXCelia Martinie De Almeida, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
Analysing and Demonstrating Tool-Supported Customizable Task Notations
Dans : Proceedings of the ACM on Human-Computer Interaction, ACM SIGCHI, USA, Vol. 3 N. 12, (en ligne), juin 2019.
Accès : https://doi.org/10.1145/3331154 – https://oatao.univ-toulouse.fr/24920/
BibTeXAndy Cockburn, Damien Masson, Carl Gutwin, Philippe Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask
Design and evaluation of braced touch for touchscreen input stabilisation
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 122, p. 21-37, 2019.
Résumé Accès : https://doi.org/10.1016/j.ijhcs.2018.08.005 – https://oatao.univ-toulouse.fr/24803/
BibTeXHelena Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussel, Susan Dray, Dan Olsen, Aaron Quigley, Julie R. Williamson, Eunice Ratna Sari, Loren G. Terveen, Allison Druin, Philippe Palanque
The new SIGCHI EC’s values and strategic initiatives
Dans : ACM Interactions, ACM : Association for Computing Machinery, New York, États-Unis, Vol. 26 N. 1, p. 84-85, 2019.
Résumé Accès : https://doi.org/10.1145/3292013 – https://oatao.univ-toulouse.fr/24802/
BibTeXAlexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
AutoReq: expressing and verifying requirements for control systems
Dans : Journal of Visual Languages and Computing, Elsevier, Vol. 51, p. 131-142, avril 2019.
Résumé Accès : https://doi.org/10.1016/j.cola.2019.02.004 – https://oatao.univ-toulouse.fr/26171/
BibTeX
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL
Dans : Frontiers of Computer Science, Springer, Numéro spécial Semantic-focused Modelling of Embedded Architectures, Vol. 13, N. 4, p. 715-734, août 2019.
Accès : https://doi.org/10.1007/s11704-017-6485-y – https://oatao.univ-toulouse.fr/24993/
BibTeXIsabelle Blasquez, Hervé Leblanc, Christian Percebois
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles
Dans : Technique et Science Informatiques (TSI), Hermès Science, Vol. 36, N. 1-2, p. 7-50, 2017.
Résumé Accès : https://tsi.revuesonline.com/article.jsp?articleId=39250 – https://oatao.univ-toulouse.fr/22306/
BibTeXStudes of Hilbert’s Epsilon Operator in the USSR
Dans : The IfCoLog Journal of Logics and their Applications, College Publications, UK, Numéro spécial Hilbert’s epsilon and tau in Logics, Informatics and Linguistics, Vol. 4, N. 2, p. 427-437, avril 2017.
Résumé Accès : http://collegepublications.co.uk/contents/ifcolog00011.pdf – https://oatao.univ-toulouse.fr/19099/
BibTeXUtilisation 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
BibTeX
Ladjel Bellatreche, Yamine Ait Ameur, George Angelos Papadopoulos
Models and Data Engineering
Dans : Future Generation Computer Systems, Elsevier, Vol. 70, 2017.
Ladjel Bellatreche, Yamine Ait Ameur, George Angelos Papadopoulos
Models and Data Engineering
Dans : Future Generation Computer Systems, Elsevier, Vol. 68, 2017.
David Baelde, Arnaud Carayol, Ralph Matthes, Igor Walukiewicz
Fixed Points in Computer Science (FICS) 2013
Dans : Fundamenta Informaticae, IOS Press, Vol. 150 N. 3-4, mars 2017.
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.
K-set agreement bounds in round-based models through combinatorial topology (regular paper)
Dans : ACM Symposium on Principles of Distributed Computing (PODC 2020), Salerno, Italy, 03/08/20-07/08/20, ACM : Association for Computing Machinery, août 2020.
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns (regular paper)
Dans : International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Online, 15/06/20-19/06/20, juin 2020.
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
Modeling and verification method for an early evaluation of Systems of Systems interactions (regular paper)
Dans : ACM Symposium on Applied Computing (SAC 2020), Brno, Czech Republic, 30/03/20-03/04/20, ACM : Association for Computing Machinery, (en ligne), mars 2020.
Résumé Accès : https://www.irit.fr/~Iulian.Ober/docs/SAC2020.pdf – https://doi.org/10.1145/3341105.3373944 – https://oatao.univ-toulouse.fr/26362/
BibTeXAlexis Maffart, Xavier Thirioux
Taylor Series Revisited (regular paper)
Dans : International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Hammamet, Tunisia, 31/10/19-04/11/19, Vol. 11884, Springer, Lecture Notes in Computer Science, p. 335-352, novembre 2019.
Neeraj Singh, Yamine Ait Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 (regular paper)
Dans : International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Shenzhen, China, 09/11/19-09/11/19, Springer, Communications in Computer and Information Science, 2019.
Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets (regular paper)
Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Porto, Portugal, 07/10/19-11/10/19, Springer, 2019.
Ulrich Berger, Ralph Matthes, Anton Setzer
Martin Hofmann’s case for non-strictly positive data types (regular paper)
Dans : International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18/06/18-21/06/18, Vol. 130, Peter Dybjer, José Espírito Santo, Luís Pinto (Eds.), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, LIPIcs : Leibniz International Proceedings in Informatics, p. 1-22, novembre 2019.
Résumé Accès : https://doi.org/10.4230/LIPIcs.TYPES.2018.1
BibTeXDominique Larchey-Wendling, Ralph Matthes
Certification of Breadth-First Algorithms by Extraction (regular paper)
Dans : International Conference on Mathematics of Program Construction (MPC 2019), Porto, 07/10/19-09/10/19, Vol. 11825, Graham Hutton (Eds.), Springer Nature Switzerland, LNCS, p. 45-75, octobre 2019.
Résumé Accès : https://doi.org/10.1007/978-3-030-33636-3_3
BibTeXArmando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in Modular Proofs of Concurrent Algorithms (regular paper)
Dans : International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italia, 22/10/19-25/10/19, Springer, Lecture Notes in Computer Science 11914, p. 69-83, octobre 2019.
Résumé Accès : http://arxiv.org/abs/1909.05537 – https://doi.org/10.1007/978-3-030-34992-9_6 – https://oatao.univ-toulouse.fr/26273/
BibTeXJean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (regular paper)
Dans : Formal Methods (FM 2019), Porto, 07/10/19-11/10/19, Vol. 11800, Maurice N. ter Beek, Annabelle McIver, José N. Oliveira (Eds.), Springer, Lecture Notes in Computer Science, p. 45-63, octobre 2019.
Accès : https://hal.archives-ouvertes.fr/hal-02332531/
BibTeX
Amani Makhlouf, Han Nhi Tran, Christian Percebois
Reasoning about Global Graph Properties from Local Graph Transformation Rules
Dans : First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019), Guilin, Chine, 01/07/19.
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol
Dans : Journées du Groupe de Travail Vérification du GDR GPL, Nantes, 17/06/19-19/06/19 (conférencier invité).
Mickaël Trezzy, Ileana Ober, Raquel Araujo Oliveira
Enhancing Robot Model Validation with Outdoor Environment Information.
Dans : CIEL – Conférence en Ingénierie du Logiciel, Grenoble, 12/06/18-15/06/18, Clémentine Nebut, Tewfik Ziadi (Eds.).
Elodie Bouzekri, Alexandre Canny, Celia Martinie De Almeida, Philippe Palanque
Specific Task Modeling for Cyber Physical Systems
Dans : EICS 2018 – Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, Paris, France, 19/06/18-19/06/18.
Accès : https://www.researchgate.net/publication/331741889_Specific_Task_Modeling_for_Cyber_Physical_Systems
BibTeXElodie Bouzekri, Alexandre Canny, Celia Martinie De Almeida, Philippe Palanque
A Generic Software and Hardware Architecture for Hybrid Interactive Systems
Dans : EICS 2018 – Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, Paris, France, 19/06/18-19/06/18.
Accès : https://www.researchgate.net/publication/331742164_A_Generic_Software_and_Hardware_Architecture_for_Hybrid_Interactive_Systems
BibTeXCelia Martinie De Almeida, Philippe Palanque
Explicit representation of function allocation and authority sharing (initiative and responsibility)
Dans : CHI 2018 Workshop – Interacting with Autonomous Vehicles: Learning from other Domains, Montréal, Canada, 22/04/18-22/04/18.
Accès : https://hci.sbg.ac.at/wp-content/uploads/2018/03/martinie2018.pdf
BibTeXFormalisation des relations entre exigences
Dans : Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18.
Seamless development of complex systems: a multirequirements approach. (poster)
Dans : Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18.
Accès : https://www.esof.eu/en/
BibTeXErik Martin-Dorel, Sergei Soloviev
Cumulative Effects in Learning
Dans : Conference on Artificial Intelligence and Theorem Proving (AITP), Aussois, France, 25/03/18-30/03/18.
Accès : http://aitp-conference.org/2018/aitp18-proceedings.pdf
BibTeXRobin Bussenot, Hervé Leblanc, Christian Percebois
Integration Testing based on Behavior-driven Development
Dans : ETSI User Conference on Advanced Automated Testing (UCAAT 2017), Berlin (Germany), 11/10/17-13/10/17.
Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Roberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim Larsen
Contracts for System Design, Now Publishers, 2018.
Accès : https://www.nowpublishers.com/article/Details/EDA-053
BibTeXGame User Experience Evaluation, Springer, juillet 2015.
Un me¿tamode¿le et un environnement pour la mode¿lisation et la mise en uvre assiste¿e de processus IDM (thèse de S. Diaw), Presses Académiques Francophones, ISBN 978-3-8381-4168-8, juin 2014.
Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions, CEUR-WS : Workshop proceedings, Vol. 1190, juillet 2014.
User Experience Evaluation for Games and Entertainment, 2nd Edition., Springer, HumanComputer Interaction Series, 2, juillet 2014.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Revising and Extending the Uppaal Communication Mechanism, Springer-Verlag, Vol. 7306, Lecture Notes in Computer Science, juin 2012.
Olga Antonova, Sergei Soloviev
La théorie et la pratique de la réalité virtuelle: l’analyse logique et philosophique., Universite d’Etat de St. Petersbourg, août 2008.
Tuncer Ören, Lucile Torres, Frédéric Amblard, J.-P. Belaud, J. Caussanel
Modelling and Simulation Dictionary English-French-Turkish, Université d’Aix-Marseille, 2006.
Modélisation et simulation multi-agents : applications pour les Sciences de l’Homme et de la Société, Hermès Science, septembre 2006.
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, novembre 2003.
Explicitation de la sémantique du domaine dans les modèles de systèmes/ Une approche à base d’ontologies.
Thèse de doctorat, Institut National Polytechnique de Toulouse, mars 2018.
Rendre Agile les tests d’int ́egration des syst`emes avioniques par des langages d ́edi ́es
Thèse de doctorat, Université Paul Sabatier, juillet 2018.
Accès : http://thesesups.ups-tlse.fr/4037/1/2018TOU30128.pdf
BibTeXA risk management framework for a complex adaptive transport system
Thèse de doctorat, Université Paul Sabatier, mars 2018.
Identification systématique et représentation des erreurs humaines dans les modèles de tâches
Thèse de doctorat, Université Paul Sabatier, décembre 2018.
A Behavior-Driven Approach for Specifying and Testing User Requirements in Interactive Systems
Thèse de doctorat, Université Paul Sabatier, septembre 2018.
Formalisations pour les compositions de services
Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, juillet 2018.
A Bottom-up Process Management Environment dedicated to Process Actors
Thèse de doctorat, Université Paul Sabatier, janvier 2018.
Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique
Thèse de doctorat, Université Paul Sabatier, décembre 2017.
Engineering Secure Software Architectures: Patterns, Models and Analysis
Thèse de doctorat, Université Paul Sabatier, novembre 2017.
Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2017.
Formal Semantics of Requirements Relationships for Traceability
Rapport de recherche, 2019_04_30, IRIT, avril 2019.
Erik Martin-Dorel, Sergei Soloviev
A Formal Study of Boolean Games with Random Formulas as Pay Functions
Rapport de recherche, IRIT/RR–2017–01–FR, IRIT, février 2017.
Accès : https://www.irit.fr/publis/ACADIE/IRIT-RR-2017-01-FR.pdf
BibTeXThierry Millan, Hervé Leblanc, Christian Percebois
A Dynamic Type System for OCL
Rapport de recherche, IRIT/RR–2017–02–FR, IRIT, janvier 2017.
Résumé Accès : http://www.irit.fr/publis/MACAO/Rapport-Interne-IRIT_RR–2017–02–FR.pdf
BibTeXJavier 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
BibTeX