Our partners

CNRS

Search





Home page > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe ACADIE > Publications

Publications

ACADIE

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Livres (monographies) / Books (monographs)

Ouvrages de synthèse / Edited volumes

Numéros spéciaux de revues / Special issues of journal

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Soukayna M'Sirdi. 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.
    Résumé
    BibTeX

  • Guillaume Babin. A formal approach for correct-by-construction system substitution. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2017.
    Accès : https://www.theses.fr/2017INPT0061
    BibTeX

  • Florent Chevrou. Formalisation of Asynchronous Interactions. Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 2017.
    BibTeX

  • Badr Siala. Décomposition formelle des spécifications centraliseées Event-B : application aux systèmes distribués BIP. Thèse de doctorat, Université Paul Sabatier, décembre 2017.
    Résumé
    BibTeX

  • Florent Latombe. Systematic use of models of concurrency in executable domain-specific modelling languages. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2016.
    BibTeX

  • Guillaume Verdier. Variantes de spécifications à ensembles d'acceptation pour la conception modulaire de systèmes. Thèse de doctorat, Université de Toulouse, mars 2016.
    BibTeX

  • Régis Spadotti. 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.
    Résumé
    BibTeX

  • Arnaud Dieumegard. Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages. Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.
    BibTeX

  • Nadezhda Baklanova. Analyse formellement vérifiée des conflits de partage de ressources en Java multi-tâche. Thèse de doctorat, Université Paul Sabatier, décembre 2014.
    Résumé Accès : https://www.irit.fr/publis/ACADIE/main.pdf
    BibTeX

  • Hajer Herbegue Bouhachem. Approche ADL pour la modélisation d'architecture basée sur les contraintes (calcul de WCET). Thèse de doctorat, Université Paul Sabatier, septembre 2014.
    BibTeX

  • Ning Ge. Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs. Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2014.
    BibTeX

  • Bertrand Boisvert. Catégories, lambda-calcul typé et preuves pour la transformation de graphes attribués. Thèse de doctorat, Université Paul Sabatier, septembre 2013.
    Résumé
    BibTeX

  • Mathieu Giorgino. Inductive Representation, Proofs and Refinement of Pointer Structures. Thèse de doctorat, Université Paul Sabatier, juin 2013.
    Résumé Accès : http://www.andrew.cmu.edu/user/giorgino/Publications/Giorgino2013PhD.html
    BibTeX

  • Mounira Kezadri. Validation et vérification de systèmes critiques: Ontologies et intégration de composants. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2013.
    BibTeX

  • Elie Fares. Raffinement de systèmes temps réel. Application à la vérification de services WEB. Thèse de doctorat, Université Paul Sabatier, mars 2013.
    BibTeX

  • Erik Martin-Dorel. Contributions to the Formal Verification of Arithmetic Algorithms. Thèse de doctorat, Ecole Normale Supérieure de Lyon, Lyon, septembre 2012.
    Accès : http://tel.archives-ouvertes.fr/tel-00745553/
    BibTeX

  • Ricardo Bedin Franca. Processes and qualifiable tools for the development of safety critical certified systems in avionics based on automated code generation. Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2012.
    BibTeX

  • Celia Picard. Représentation coinductive des graphes. Thèse de doctorat, Université Paul Sabatier, juin 2012.
    Résumé Accès : http://tel.archives-ouvertes.fr/tel-00862507
    BibTeX

  • Abdeldjalil Boudjadar. Sémantique Compositionnelle et Raffinement de Systèmes Temporisés. Application aux Automates temporisés d'Uppaal et au Langage Fiacre. Thèse de doctorat, Université de Toulouse, décembre 2012.
    BibTeX

  • Nassima Izerrouken. Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2011.
    Résumé
    BibTeX

  • Philippe Quéinnec. Variété de la cohérence dans les systèmes répartis. Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, mai 2011.
    Accès : http://queinnec.perso.enseeiht.fr/publis/hdr-memoire.pdf
    BibTeX

  • Antoine El Khoury. Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoidales fermées libres et non-libres. Thèse de doctorat, Université Paul Sabatier, décembre 2010.
    BibTeX

  • Lei Pi. Langage de description d'architecture: sémantique et analyse comportementale. Thèse de doctorat, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (SupAéro), juillet 2010.
    Résumé
    BibTeX

  • Lionel Marie-Magdeleine. Sous-typage coercitif en presence de reductions non-standards dans un système aux types dépendants. Thèse de doctorat, Université Paul Sabatier, mars 2010.
    Accès : http://tel.archives-ouvertes.fr/tel-00495360/fr/
    BibTeX

  • Tanguy Le Berre. Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles. Thèse de doctorat, Institut National Polytechnique de Toulouse, mars 2010.
    Résumé Accès : http://tel.archives-ouvertes.fr/tel-00472469/fr/
    BibTeX

  • Nadège Pontisso. Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2009.
    Résumé Accès : http://tel.archives-ouvertes.fr/tel-00459071/fr/
    BibTeX

  • Rachid Bouaziz. Test des systèmes temps réel embarqués. Thèse de doctorat, Université Paul Sabatier, décembre 2008.
    BibTeX

  • Jean-François Rolland. Développement et validation d'architectures dynamiques. Thèse de doctorat, Université Paul Sabatier, décembre 2008.
    BibTeX

  • Pierre-Loïc Garoche. Analyse statique d'un calcul d'acteurs par interprétation abstraite. Thèse de doctorat, Institut National Polytechnique de Toulouse, juin 2008.
    Résumé
    BibTeX

  • Benoit Combemale. Approche de métamodélisation pour la simulation et la vérification de modèle. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2008.
    Résumé Accès : http://ethesis.inp-toulouse.fr/archive/00000666/ - http://www.combemale.fr/research/phd/phd-2008-combemale-finalversion.pdf
    BibTeX

  • Maxime Rebout. Une approche catégorique unifiée pour la récriture de graphes attribués. Thèse de doctorat, Université Paul Sabatier, juillet 2008.
    Résumé Accès : https://www.irit.fr/publis/MACAO/TheseMRebout.pdf
    BibTeX

  • Freiric Barral. Decidability for Non-Standard Conversions in Typed Lambda-Calculus. Thèse de doctorat, Université Paul Sabatier, avril 2008.
    Résumé
    BibTeX

  • Julien Brunel. Combinaison des logiques temporelles et déontiques pour la spécification de politiques de sécurité. Combining temporal and deontic logics for the specification of security policies.. Thèse de doctorat, Université de Toulouse, décembre 2007.
    BibTeX

  • Odile Nasr. Spécification et Vérification des ordonnanceurs temps réel en B. Thèse de doctorat, Université Paul Sabatier, novembre 2007.
    BibTeX

  • Miloud Rached. Spécification et vérification des systèmes temps réel réactifs en B. Thèse de doctorat, Université Paul Sabatier, mai 2007.
    BibTeX

  • Aurélie Hurault. Courtage sémantique de services de calcul. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2006.
    Résumé Accès : http://ethesis.inp-toulouse.fr/archive/00000374/01/hurault.pdf
    BibTeX

  • Cristophe Cubat-Dit Cros. Agents mobiles coopérants pour les environnements dynamiques. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2005.
    BibTeX

  • Laurent Méhats. Théorie de la preuve des catégories monoidales symétriques fermées: cohérence et equivalence de derivations.. Thèse de doctorat, Université Paul Sabatier, décembre 2005.
    BibTeX

  • Ralph Matthes. Types inductifs au-delà de la stricte positivité. Habilitation à diriger des recherches, Université Paul Sabatier, mai 2005.
    BibTeX

  • Xuan Loc Pham Thi. Adaptation des composants centrée sur l'utilisation. Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 2004.
    BibTeX

  • David Chemouil. Types inductifs, isomorphismes et récriture extensionnelle. Thèse de doctorat, Université Paul Sabatier, septembre 2004.
    Résumé
    BibTeX

  • Jean-Paul Bodeveix. Méthodes formelles et sûreté de développement. Habilitation à diriger des recherches, Université Paul Sabatier, octobre 2001.
    BibTeX

  • Marc Pantel. Représentations et Transformations : Un modèle de la réutilisabilité dans les langages fonctionnels à objets. Thèse de doctorat, Institut National Polytechnique de Toulouse, février 1994.
    BibTeX

Autres types de publications / Other publications