IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Budget
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes sociotechniques ambiants
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
• 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, autonomie, dialogue et coopération
    • Equipe IC3
    • Equipe IHCS
    • Equipe LIIHS
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe LILaC
    • Equipe RPDMP
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe ASTRE
    • Equipe IRT
    • Equipe SIERA
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Laboratoire ILIKS
  • Programme FREMIT
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets nationaux en cours
  • Europe et International
    • Projets européens en cours
    • Collaborations 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

Garoche Pierre-Loïc

 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

Articles de revues internationales / International journals articles

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.. Dans : Journal of Software, Academy Publisher, Finland, Vol. 4 N. 6, (support électronique), 2009 (à paraître).
  Résumé
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, F. Vernadat. A Property-Driven Approach to Formal Verification of Process Models. Dans : Enterprise Information Systems, Springer-Verlag, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Abstract Interpretation-based Static Safety for Actors. Dans : Journal of Software, Academy Publisher, Finland, Vol. 2 N. 3, p. 87-98, septembre 2007.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche. A Framework to formalise the MDE Foundations. Dans : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/2007, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), p. 14-30, juin 2007.
  Résumé
  BibTeX

• Benoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, F. Vernadat. Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study. Dans : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira - Portugal, 12/06/2007-16/06/2007, INSTICC Press, p. 80-89, juin 2007 (Best paper).
  BibTeX

• Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Honiden Shinichi, Pierre-Loïc Garoche. Adaptive Geographically Bound Mobile Agents. Dans : Mobile Ad-hoc and Sensor Networks (MSN 2006), Hong Kong, China, 13/12/2006-15/12/2006, Sajal K. Das, Xiaohua Jia (Eds.), Springer, LNCS 4325, (support électronique), 2006.
  Accès : http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4325&issue=preprint
  BibTeX

• Pierre-Loïc Garoche, Cyrille Artho. Accurate Centralization for Applying Model Checking on Networked Applications. Dans : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/2006-22/09/2006, Shinichi Honiden, Sebastian Uchitel, Steve Easterbrook (Eds.), IEEE, p. 177-188, septembre 2006.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Dans : IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, 14/06/2006-16/06/2006, Vol. 4037, Roberto Gorrieri, Heike Wehrheim (Eds.), Springer, LNCS , p. 78-92, juin 2006.
  Résumé
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution. Dans : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/2007-16/03/2007, CNRS, (en ligne), mars 2007.
  Accès : http://www.cert.fr/francais/deri/michel/FAC/
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Expérimentation pour la définition d'une sémantique dans l'IDM. Dans : Sémantique des (meta)Modèles, Toulouse, France, 29/01/2007, INPT, p. 146-161, mars 2007.
  BibTeX

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

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Analysis of Actors: From Type Systems to Abstract Interpretation. Dans : International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Vienna, Austria, 25/03/2006-02/04/2006, Francesco Ranzato (Eds.).
  Accès : http://www.enseeiht.fr/~garoche/
  BibTeX

Rapports / Reports

• Jacques Cazin, Pierre-Loïc Garoche, Marc Pantel, Virginie Wiels. D2.5.1 ES_PASS qualification guidelines for static analysis based verification tools. Rapport de contrat, D2.5.1, Institut National Polytechnique de Toulouse, novembre 2009.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case. Rapport de recherche, ?, IRIT, septembre 2006.
  Accès : http://www.enseeiht.fr/~garoche/
  BibTeX

Thèses et habilitations / Thesis and HDR

• 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