Partenaires



Rechercher



Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe ICS > Publications

Publications

ICS

Recherche plus ciblée 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 / Books (monographies)

Ouvrages de synthèse / Books edition

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

Actes de conférences et de workshops / Conferences proceedings

Articles de revues internationales / International journals articles

Articles de revues nationales / National journals articles

Contributions à des ouvrages de synthèse / Books parts

Conférences et workshops internationaux / International conferences articles

Conférences et workshops nationaux / National conferences articles

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

Rapports / Reports

Thèses et habilitations / Thesis and HDR

  • Benjamin Tissoires. Conception (instrumentée), réalisation et optimisation de graphismes interactifs. Thèse de doctorat, Université Paul Sabatier, septembre 2011.
    BibTeX

  • Adrienne Tankeu Choitat. Approches outillées pour le développement des systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité. Thèse de doctorat, Université Paul Sabatier, décembre 2011.
    BibTeX

  • Celia Martinie De Almeida. Une approche à base de modèles synergiques pour la prise en compte simultanée de l'utilisabilité, la fiabilité et l'opérabilité des systèmes interactifs critiques. Thèse de doctorat, Université Paul Sabatier, décembre 2011.
    BibTeX

  • Christophe Hurter. Caractérisation de visualisations et exploration interactive de grandes quantités de données multidimensionnelles. Thèse de doctorat, Université de Toulouse, juillet 2010.
    Accès : http://tel.archives-ouvertes.fr/tel-00610623/fr/
    BibTeX

  • Gilles Tabart. Méthodes et outils pour l'aide à la conception et à la vérification du rendu graphique des systèmes interactifs. Thèse de doctorat, Université de Toulouse, décembre 2010.
    Résumé
    BibTeX

  • Jean-François Ladry. Une notation et un processus outillé pour le développement de systèmes interactifs multimodaux critiques. Thèse de doctorat, Université Paul Sabatier, octobre 2010.
    BibTeX

  • Joseph Xiong. Une méthode d'inspection automatique de recommandations ergonomiques tout au long du processus de conception des applications Web. Thèse de doctorat, Université Paul Sabatier, septembre 2008.
    Résumé Accès : http://ihcs.irit.fr/winckler/xiong-these2008.pdf
    BibTeX

  • Florence Pontico. Une méthode de conception basée sur des patrons d’interface pour les applications d’e-Gouvernement. Thèse de doctorat, Université Paul Sabatier, juillet 2008.
    Résumé Accès : http://ihcs.irit.fr/winckler/pontico-these2008.pdf
    BibTeX

  • Eric Barboni. Formal Methods for Software Components applied Interactive Safety Critical System. Thèse de doctorat, Université Paul Sabatier, septembre 2006.
    BibTeX

  • Sandra Basnyat. A Generic Integrated Modelling Framework for the Analysis, Design and Validation of Interactive Safety-critical Error-tolerant Systems. Thèse de doctorat, Université Paul Sabatier, décembre 2006.
    BibTeX

  • Amélie Schyn. Une approche fondée sur les modèles pour l'ingénierie des systèmes interactifs multimodaux. Thèse de doctorat, Université Paul Sabatier, 2005.
    BibTeX

  • Xavier Lacaze. La conception rationalisée pour les systèmes interactifs. Thèse de doctorat, Université des Sciences Sociales, juin 2005.
    Résumé Accès : http://liihs.irit.fr/lacaze/divers/These_Xavier_Lacaze.pdf
    BibTeX

  • Carmen Santoro. Task Model based Design and engineering of Interactive Systems. Thèse de doctorat, Université des Sciences Sociales, septembre 2004.
    BibTeX

  • Marco Antonio Winckler. StateWebCharts : a Formal Notation for Navigation Modelling of Web Applications. Thèse de doctorat, Université des Sciences Sociales, avril 2004.
    BibTeX

Autres types de publications / Other publications