My research activities are conducted in the ACADIE team from the Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505 from the Centre National de la Recherche Scientifique (CNRS).

I am associate professor at Ecole Nationale Supérieure d'Electrotechnique, Electronique, Informatique, Hydraulique et des Télécommunications (ENSEEIHT), a public engineering school part of Institut National Polytechnique de Toulouse (INPT), which is a member of the Pôle de Recherche et Enseignement Supérieur (PRES) Université de Toulouse.

Surface Mail: ENSEEIHT, Bureau F305, 2 rue Charles Camichel, 31071 TOULOUSE Cedex FRANCE

Electronic Mail: Marc dot Pantel at enseeiht dot fr

Phone +(33) 534 32 2185, Fax +(33) 534 32 2157, Professional Cellphone +(33) 676 221 687

• 2012/02/09-10: Participation to an openETCS meeting in Frankfurt, Germany
• 2012/02/08: Participation to a CESAR meeting in Oxford, England
• 2012/02/01-03: Presentation of our three contributions to the ERTSS conference in Toulouse, France
• 2012/01/30-02/01: Organisation of the AADL consortium meeting at IRIT in Toulouse, France
• 2012/01/25: Participation to an openETCS meeting in Paris, France
• 2012/01/23: Eric Féron, professor at Georgia Tech is visiting our team for 3 months thanks to INPT and RTRA STAE funding
• 2012/01/20: Our contribution to LDTA'2012 has been accepted
• 2012/01/20: Timothy Wang, PhD student in Eric Féron team at Georgia Tech is visiting our team for 3 months
• 2012/01/09-11: Participation to a Projet P meeting in Paris, France
• Older ones...

• Model Driven Engineering for Safety Critical Systems
  • Domain Specific (Modeling) Language Semantics
  • Model transformation specification and verification
• Applied formal methods
  • Static analysis
  • Proof assistant

• Combining Object Oriented Programming and Pure Functional Programming, from 1990 to 1994
• Actor Languages Static Analysis, from 1994 to 2009
• Constraint Solver based Static Analysis, from 1990 to 2009
• Scientific Application Modeling, from 2002 to 2009

• IRIT Database
• DBLP
• Google Scholar

• Block sequencer for the GeneAuto toolset written in Java, CaML and Coq (with Nassima Izerrouken et Xavier Thirioux)

• Matteo Bordin, started Q4 2011 (in cooperation with AdaCore)
• Arnaud Dieumegard, started Q4 2011
• Ning Ge, started Q4 2010 (in cooperation with Xavier Crégut)
• Faiez Zalila, started Q4 2010 (in cooperation with Xavier Crégut)
• Mounira Kezadri, started Q4 2009 (in cooperation with Xavier Thirioux)
• Andres Toom, started Q4 2009 (in cooperation with Tarmo Uustaluu)
• Ricardo Bedin Franca, started Q2 2009 (in cooperation with Airbus)

• Nassima Izerrouken: Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié (2007 to 2011, in cooperation with Xavier Thirioux, funded by Continental Automotive), Teaching Assistant at ENSEEIHT
• Benoît Combemale: Approche de métamodélisation pour la simulation et la vérification de modèle (2006 to 2009, in cooperation with Xavier Crégut and Xavier Thirioux), Associate Professor at Université de Rennes
• Pierre-Loïc Garoche: Analyse statique d'un calcul d'acteurs par interprétation abstraite (2006 to 2009, in cooperation with Xavier Thirioux), Research Associate at ONERA
• Aurélie Hurault: Courtage sémantique de services de calcul (2004 to 2007, in cooperation with Michel Daydé), Associate Professor at ENSEEIHT
• Vincent Hennebert, Computer Science Engineer, from 2004 to 2007 (in cooperation with Xavier Thirioux)
• Matthias Colin: Analyse statique de la communication dans un langage d'acteurs fonctionnel (1999 to 2003, in cooperation with Xavier Thirioux), Assistant Professor at EISTI
• Fabien Dagnat: Vérification statique de programmes répartis (1998 to 2001, in cooperation with Patrick Sallé), Associate Professor at ENST-Bretagne
• Jean-Louis Colaço: Analyses Statiques de Langages d'Acteurs par inférence de types (1994 to 1997, in cooperation with Patrick Sallé), Research and Development Engineer at Prover Technologies

• FUI Projet P, 2011 to 2014, Intermediate languages and code generation for safety critical systems (GeneAuto and TOPCASED followup)
• EuroStars HiMoCo, 2011 to 2013, High Integrity Model Compiler
• ITEA2 OPEES, 2010 to 2013
• ITEA2 openETCS, 2011 to 2014, Application of TOPCASED technologies to the European Train Control Systems domain
• ARTEMIS CESAR, 2010 to 2012
• RTRA STAE TORRENTS, 2011 to 2014
• RTRA STAE IFSE, 2011 to 2014
• RTRA STAE BriefCase, 2012 to 2015

• Safety critical systems
  • FUI TOPCASED, 2006 to 2010
  • ITEA GeneAuto, 2006 to 2008
  • ITEA ES_PASS, 2008 to 2010
  • ANR SPaCIFY, 2008 to 2010
• Distributed systems
  • GRID-TLSE, 2002 to 2004
  • ANR LEGO, 2006 to 2008
  • ANR RNTL SCORWARE, 2007 to 2009

• Object Oriented Technologies: Java programming, UML design
• Formal Foundation of Computer Science: Propositional and Predicate Logic, Set Theory, Coq Proof Assistant, Hoare Logic, Why Toolset, Finite Automaton, Regular Expression, Non Contextual Grammar, Lex, Yacc

• Software and System Engineering: Advanced UML and SysML, Model Driven Engineering, Design Patterns
• Compilers and Formal Semantics: Recursive Descent Parsing, Attribute semantics, Type systems, Code generation, Operational semantics, Axiomatic semantics, Denotational semantics, Proof of static analyser and code generator correctness

• Model Driven Engineering
• Static Analysis based Verification of software

• Development of safety critical systems

• Model Driven Engineering

• Member of the TISECA platform writing board in the AESE IRT
• Member of the ISAURE scientific board from the Aerospace Valley cluster
• Member of the Action IDM scientific board from the GDR GPL and GDR ASR
• Member of the EICOSE management board
• Expert for the Luxembourg FNR, French ANR, French D2RT

• Member of the INPT management council
• Member of the IRIT management council
• Member of the ENSEEIHT Computer Science and Applied Mathematics department council
• Designer and Manager of the INPT/ENSEEIHT Mastere in Technologies des Applications Multimédia
• Manager of the INPT/ENSEEIHT Mastere in Méthodes Avancées Appliquées à l'Informatique