IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
    • Séminaires
  • Systèmes SocioTechniques Ambiants
    • Thématiques
    • Equipes
    • Projets
    • Thèses
    • Laboratoires et industriels en lien avec la thématique
    • Evénements
    • News
    • SSTApwd
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, Coopération, Adaptation paR l’Expérimentation (ICARE)
    • Equipe ELIPSE
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe ADRIA
    • Equipe LILaC
    • Equipe MELODI
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe IRT
    • Equipe SEPIA
    • Equipe SIERA
    • Equipe T2RS
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe ICS
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Programme FREMIT
  • Laboratoire ILIKS
  • Laboratoire LACII
  • Laboratoire Européen Associé (LEA) LIRP
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets en cours
    • Projets ANR (Agence Nationale de la Recherche)
    • Projets européens
  • Collaborations internationales
    • Carte des relations internationales
    • Consultation de la base des relations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

De Queiroz Max H

 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
• 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 / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Conférences et workshops internationaux / International conferences articles

• J.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut. A model-driven engineering approach to formal verification of PLC programs (regular paper). Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/2011-09/09/2011, IEEE, p. 1-8, septembre 2011.
  Résumé
  BibTeX