Responsable : Philippe PALANQUE
SUJETS SCIENTIFIQUES LIÉS
CONCEPTS POUR LA COGNITION ET L’INTERACTIONDOMAINES D’APPLICATION LIÉS
AÉRONAUTIQUE, ESPACE, TRANSPORTS
SÉCURITÉ DES BIENS 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
Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 19 N. 2, p. 133-140, 2016.
Yamine Ait Ameur, Dominique Méry
Making explicit domain knowledge in formal system development
Dans : Science of Computer Programming, Elsevier, Vol. 121, p. 100-127, 2016.
Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnes Front, Claudia Roncancio
Integrating run-time changes into system and software process enactment
Dans : Journal of Software: Evolution and Process, Wiley Interscience Publications, Vol. 28 N. 9, p. 762-782, 2016.
Résumé Accès : https://doi.org/10.1002/smr.1783 – https://oatao.univ-toulouse.fr/22311/
BibTeXMounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale
Correct-by-construction model driven engineering composition operators
Dans : Formal Aspects of Computing, Springer, Vol. 28 N. 3, p. 409-440, 2016.
Jonathan Lazar, Julio Abascal, Simone D. J. Barbosa, Jeremy Barksdale, Batya Friedman, Jens Grossklags, Jan Gulliksen, Jeff A. Johnson, Tom Mcewan, Loïc Martínez Normand, Wibke Michalk, Janice Tsai, Gerrit Van Der Veer, Hans Von Axelson , Ake Walldius, Gill Whitney, Marco Antonio Winckler, Wolker Wulf, Elizabeth Churchill, Lorrie Faith Cranor, Janet Davis, Alain Hedge, Harry Hochheiser, Juan Pablo Hourcade, Clayton Lewis, Lisa Nathan, Fabio Paternò, Blake Reid, Whitney Quesenbery, Ted Selker, Brian Wentz
Human-Computer Interaction and International Public Policymaking: A Framework for Understanding and Taking Future Actions.
Dans : Foundations and Trends in Human-Computer Interaction, ACM : Association for Computing Machinery, New York, États-Unis, Vol. 9 N. 1, p. 69-149, mai 2016.
Thiago Rocha Silva, Jean-Luc Hak, Marco Antonio Winckler
An Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development
Dans : Complex Systems Informatics and Modeling Quarterly, Vol. 7, p. 81-107, 2016.
Accès : http://doi.org/10.7250/csimq.2016-7.05 – https://oatao.univ-toulouse.fr/18852/
BibTeXMarco Antonio Winckler, Regina Bernhaupt, Cédric Bach
Identification of UX dimensions for incident reporting systems with mobile applications in urban contexts: a longitudinal study
Dans : Cognition, Technology & Work, Springer, Vol. 18 N. 4, p. 673-694, novembre 2016.
Résumé Accès : http://link.springer.com/article/10.1007/s10111-016-0383-1 – https://oatao.univ-toulouse.fr/18838/
BibTeXSupporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 122, p. 239-273, novembre 2016.
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
IDF: A framework for the incremental development and conformance verification of UML active primitive components
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 113, p. 275-295, mars 2016.
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Dans : Formal Aspects of Computing, Springer, Vol. 28 N. 5, p. 847-879, septembre 2016.
Accès : http://queinnec.perso.enseeiht.fr/publis/Formaspects.pdf – https://oatao.univ-toulouse.fr/16963/
BibTeX
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
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ? (regular paper)
Dans : Conference on Human Factors in Computing Systems – Workshop: HCI and Autonomous Vehicles (CHI Workshop 2016), San Jose, USA, 07/05/16-12/05/16, ACM SIGCHI, (en ligne), mai 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/94e05008d2aabfaf.php – https://oatao.univ-toulouse.fr/24970/1/martiniedealmeida_24970.pdf – https://oatao.univ-toulouse.fr/24970/
BibTeXSarah Benyagoub, Meriem Ouederni, Yamine Ait Ameur
Towards correct Evolution of Conversation Protocols (regular paper)
Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Tunis, Tunisie, 06/10/16-07/10/16, Vol. 1689, Mohamed GHAZEL, Mohamed JMAIEL (Eds.), CEUR-WS : Workshop proceedings, p. 193-201, octobre 2016.
Résumé Accès : http://ceur-ws.org/Vol-1689/paper16.pdf – https://oatao.univ-toulouse.fr/24899/
BibTeXSarah Benyagoub, Meriem Ouederni, Neeraj Singh, Yamine Ait Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2016), Almeria, Espagne, 21/09/16-23/09/16, Vol. 9893, Ladjel BELLATRECHE, Oscar PASTOR, Jesus Manuel ALMENDROS-JIMENEZ, Yamine AIT AMEUR (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-45546-4, p. 260-273, septembre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-45547-1_21 – https://oatao.univ-toulouse.fr/24898/
BibTeXKahina Hacid, Yamine Ait Ameur
Annotation of Engineering Models by References to Domain Ontologies (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2016), Almeria, Espagne, 21/09/16-23/09/16, Vol. 9893, Ladjel BELLATRECHE, Oscar PASTOR, Jesus Manuel ALMENDROS-JIMENEZ, Yamine AIT AMEUR (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-45546-4, p. 234-244, septembre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-45547-1_19 – https://oatao.univ-toulouse.fr/24897/
BibTeXKahina Hacid, Yamine Ait Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Corfu, Grèce, 10/10/16-14/10/16, Vol. 9952, Tiziana MARGARIA, Bernhard STEFFEN (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-47165-5, p. 340-357, octobre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-47166-2_24 – https://oatao.univ-toulouse.fr/24896/
BibTeXJon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable (regular paper)
Dans : International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipei, Taiwan, ROC, 24/10/16-31/10/16, Vol. 9965, Augusto Sampaio, Farn Wang (Eds.), Springer, Lecture Notes in Computer Science, p. 315-332, octobre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-46750-4_18
BibTeXJon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems (regular paper)
Dans : International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal, 22/06/16-26/06/16, Delia Kesner, Brigitte Pientka (Eds.), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, (en ligne), juin 2016.
Résumé Accès : https://doi.org/10.4230/LIPIcs.FSCD.2016.14 – https://oatao.univ-toulouse.fr/22715/
BibTeXJon Haël Brenas, Rachid Echahed, Martin Strecker
On the Closure of Description Logics under Substitutions (regular paper)
Dans : International Workshop on Description Logics (DL workshop 2016), Cape Town, South Africa, 22/04/16-25/04/16, Vol. 1577, Maurizio Lenzerini, Rafael Penaloza (Eds.), CEUR-WS : Workshop proceedings, (en ligne), avril 2016.
Résumé Accès : http://ceur-ws.org/Vol-1577/paper_47.pdf – https://oatao.univ-toulouse.fr/22714/
BibTeXPierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
Hierarchical State Machines as Modular Horn Clauses (regular paper)
Dans : Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The Netherlands, 03/04/16, Vol. 219, Electronic Proceedings in Theorical Computer Science (EPTCS), p. 15-28, avril 2016.
Résumé Accès : https://doi.org/10.4204/EPTCS.219.2 – https://oatao.univ-toulouse.fr/22653/
BibTeXMohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed
Towards a MARTE Extension to Address Adaptation Mechanisms (regular paper)
Dans : IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Orlando, FL, USA, 07/01/16-09/01/16, IEEE Computer Society, p. 240-243, janvier 2016.
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
Game 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.
Jean-Paul Bahsoun, A. Yonezawa, Takanobu Baba, Jean-Pierre Briot
Object-Oriented Parallel and Distributed Programming, HERMES, HERMES Science Publications 8, quai du Marché-Neuf 75004 Paris, Science, janvier 2000.
Verifying Embedded Systems
Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, septembre 2016.
Engineering secure systems: patterns, properties, models, analysis and experimental evaluations
Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2016.
Systematic use of models of concurrency in executable domain-specific modelling languages
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2016.
Engineering Interactive Systems across application domains
Habilitation à diriger des recherches, Université Paul Sabatier, juillet 2016.
Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes
Thèse de doctorat, Université de Toulouse, mars 2016.
Une théorie mécanisée des arbres réguliers en théorie des types dépendants
Thèse de doctorat, Université Paul Sabatier, mai 2016.
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages
Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
Thèse de doctorat, Université Paul Sabatier, juillet 2015.
An Approach to Modeling Repository-Centric Secure Software Engineering Processes
Thèse de doctorat, Université Paul Sabatier, septembre 2015.
A multi-modelS based approach for the modelling and the analysis of usable and resilient partly-autonomous interactive systems
Thèse de doctorat, Université Paul Sabatier, mai 2015.
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