Domaines de recherche

• Vérification
  
• Analyse statique par interprétation abstraite (IA)
  
• Compositions d'analyses (IA et méthodes déductives, IA et BMC)
• Concurrence
• Langages à base d'acteurs (cf. Actor Model et Actor model and process calculi sur Wikipedia)

Encadrements

• Antoine Ferlin 2010-2013 CIFRE Airbus (co-encadrement avec Virginie Wiels et Jacques Cazin)
  
• Pierre Roux 2010-2013 [page web]
  
• Adrien Champion 2010-2013 CIFRE Rockwell Collins (co-encadrement avec Rémi Delmas)

• Adel Seraoui (co-encadrement avec Rémi Delmas)
• Jorge Luis Honorat Poblette (co-encadrement avec Xavier Thirioux)

Publications

Vérification

Articles de revues internationales et Chapitres de Livres

• Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. [HAL]
  B. Combemale, X. Crégut, P.-L. Garoche and X. Thirioux
  JSW, volume 4(6), Academy Publisher, Dec 2009
  
• A Property-Driven Approach to Formal Verification of Process Models
  B. Combemale, X. Crégut, P.-L. Garoche, X. Thirioux and F. Vernadat
  Accepted to be published in "Enterprise Information Systems IX" (subsume ICEIS'07 paper), Springer-Verlag
• Abstract Interpretation-based Static Safety for Actors [DOI]
  P.-L. Garoche, M. Pantel, and X. Thiroux
  JSW, volume 2(3), Academy Publisher

Conférences internationales

• Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study
  B. Combemale, P.-L. Garoche, X. Crégut, X. Thirioux and F. Vernadat
  INSTICC proceedings of ICEIS'07 (long paper), June 12-16, 2007 - Funchal, Madeira - Portugal (AR:12%)
• Accurate Centralization for Applying Model Checking on Networked Applications [DOI]
  C. Artho, and P.-L. Garoche
  IEEE proceedings of ASE'06, (long paper), September 18-22, 2006 - Tokyo, Japan (AR:18%)
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [DOI][preprint ps.gz]
  P.-L. Garoche, M. Pantel, and X. Thiroux
  Springer LNCS proceedings of FMOODS'06, June 14-16, 2006 - Bologna, Italy (AR:31%)

Workshops internationaux

• SMT-AI: an Abstract Interpreter as Oracle for k-induction [DOI]
  P. Roux, R. Delmas and P.-L. Garoche
  Accepted at TAPAS'10, ENTCS Volume 267, Issue 2, October 2010, Pages 55-68
• A Framework to Formalise the MDE Foundations [.pdf]
  X. Thirioux, B. Combemale, X. Crégut and P.-L. Garoche
  Accepted at TOWERS'07, p. 14-30, June 25, 2007 - Zurich
• Static Analysis of Actors: Type systems vs. Abstract Interpretation [ps.gz]
  P.-L. Garoche, M. Pantel, and X. Thiroux
  Accepted at EAAI'06, no proceedings edited, March 26, 2006 - Vienna, Austria

Conférences et workshops nationaux

• Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT
  P. Roux and P.-L. Garoche
  JFLA'11
• Expérimentation pour la définition d'une sémantique dans l'IDM
  B. Combemale, P.-L. Garoche, X. Crégut, X. Thirioux and F. Vernadat
  Proceedings of SéMo'07, part of IDM'07 proceedings, March 29-30, 2007 - Toulouse, France
• Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution [pdf]
  P.-L. Garoche, M. Pantel, and X. Thiroux
  Electronics proceedings of FAC'07, March 16, 2007 - Toulouse, France

Mémoire(s)

• Static Analysis of an Actor-based Process Calculus by Abstract Interpretation [pdf]
  P.-L. Garoche
  PhD Thesis of the Toulouse University, delivered by INPT
  Plus de détail sur la page de la thèse.
• Static Analysis of Actors by Abstract Interpretation (Master Thesis in french) [dvi.Z] [ps.gz] [pdf]
  P.-L. Garoche
  Master Parisien de Recherche en Informatique (MPRI), Paris, France

Rapports de recherche

• Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case
  P.-L. Garoche, M. Pantel, and X. Thiroux
  RR., IRIT, September 2006 - Toulouse, France
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [ps.gz]
  (with the proof removed in FMOODS'06)
  P.-L. Garoche, M. Pantel, and X. Thiroux
  RR., IRIT, December 2005 - Toulouse, France

Autre

• Adaptive Geographically Bound Mobile Agents [DOI]
  K. Tei, Ch. Sommer, S. Honiden, Y. Fukazawa, and P.-L. Garoche
  Springer LNCS proceedings of MSN'06, Decembre 13-15, 2006 - Hong Kong, China (AR:28%)

Séminaires et présentations

• April, 2011 -- Workshop of Behavioral Type Systems, Lisboa, Portugal
• March, 2011 -- Seminar, AIST Tsukuba, Osaka, Japan
• January, 2011 -- Séminaire de l'équipe MeASI au CEA, Palaiseau, France
• June, 2010 -- Séminaire de l'équipe DALI, Université de Perpignan, France
• June, 2010 -- Airbus Formal methods workshop, Toulouse, France
  
• February, the 18th 2008 -- Séminaire de l'équipe PPS/X/MeASI au LiX -- Polytechnique, Palaiseau, France
• Januray, the 31st 2008 -- Informatics and Mathematical Modelling -- DTU, Lyngby, Denmark
• December, the 10th 2007 -- Séminaire "Vérification" -- LIAFA, Paris, France
• June, the 6th 2006 -- École des Jeunes Chercheurs en Programmation (EJCP) -- Student presentation
• May, the 22th 2006 -- Colloque des Doctorants de l'École Doctorale d'Informatique et de Télécommunication (EDIT) -- Toulouse, France
• February, 14th 2006 -- Tokyo Programming Seminar (ToPS) -- Tokyo University, Tokyo, Japan
• February, 1st 2006 -- Honiden Laboratory Student Seminar -- NII Tokyo, Japan
• January, 6th 2006 -- Séminaire Sémantique et Interprétation Abstraite (SIA) -- ENS Paris, France

Prototypes

• PACSA: un analyseur statique pour CAP, le Calcul d'Acteurs Primitifs;
• Zen: un outil de centralisation qui permet d'utiliser le model-checker JavaPathFinder sur des applications Java distribuées ou concurrentes.

Écoles d'été

• EJCP - École Jeunes Chercheurs en Programmation, Luchon-Toulouse, France, June 5.-16., 2006
• PAT2005 - Program Analysis and Transformation, Copenhagen, Denmark, June 6.-10., 2005

Tâches administratives

• Représentant doctorant au Conseil de Laboratoire de l'IRIT en 2007/2008
• Participation au comité d'organisation de la conférence française LMO'07 - Langages et Modèles à Objets, à Toulouse, du 27 au 29 mars 2007

Postes occupés

• Ingénieur de recherche à l'Onera-DTIM dans l'unité de recherche ISC
• Doctorant à l'IRIT dans l'équipe Acadie, sous la direction de Patrick Sallé, inscrit à l'INPT
• Chercheur invité au NII, Tokyo, Japan -- 9 jan. au 24 mars 2006 (10 semaines)
• Élève fonctionnaire de l'École Normale Supérieure de Cachan de sept. 2004 à août 2006

Projets

Enseignement

• Programmation fonctionnelle
• Validation par Analyse Statique
• Systèmes concurrents
• TLA : Temporal Logic of Action de Leslie Lamport
  • Leslie Lamport, The temporal logic of actions, ACM TOPLAS, v.16(3) 1994 - [disponible sur le site de l'ACM]
  • Page web de TLA chez Lamport (avec le livre et les outils)

Divers

• L'article de Michael Karr publié dans Acta Informatica en 1976 et intitulé Affine relationships between program variables [JPG TGZ] -- indisponible électroniquement sur ScienceDirect
• Compte rendu (non officiel) de l'université d'automne de Sauvons la recherche
  • Complet [pdf]
  • Extrait sur LRU, entretien avec V. Pécresse [pdf]

Liens

• Interesting (young) computer scientists
• APRON - LA librarie de domaines abstraits numériques (interfaces pour C et OCaml)
• Publications
  • citeseer.ist.psu.edu - bibliothèque numérique des publications scientifiques dans le domaine de l'informatique
  • www.arXiv.org - un serveur de preprint
• www.ctan.org - the Comprehensive TeX Archive Network
• www.wikipedia.org - The Free Encyclopedia
• www.archive.org - The Internet Archive - Universal access to human knowledge
• www.gutenberg.org - Le projet Gutenberg
• Associations
  • AMESAT - Association des Moniteurs de l'Enseignement Supérieur de l'Académie de Toulouse
  • CDT - Collectifs des Doctorants Toulousains
  • SLR - Sauvons la Recherche
  • SPECIF - Société des Personnels Enseignants et Chercheurs en Informatique de France

Comment me contacter ?

Mon bureau se trouve à l'Onera au sud est de Toulouse, près du campus scientifique de Rangueil et de l'ISAE (anciennement Supaéro).

Vous pouvez également me joindre par :

• téléphone +33 (0)5 62 25 29 33,
• fax +33 (0)9 55 35 75 62,
• et par courrier
  Onera, Centre Midi-Pyrénées
  BP 74025 -- 2, avenue Édouard Belin
  31055 TOULOUSE CEDEX 4

Mon email : pierre-loic.garoche@(RETIREZ CET ANTISPAM)onera.fr