Pierre-alain BOURDIL - Admis au titre de docteur

Projet professionnel :

Développement d'une expertise autour de la vérification et de l'analyse des systèmes critiques temps réels embarqués, pour exploiter ces compétences dans l'industrie.

Techniques maîtrisées :
Modélisation : UML Langage : JAVA, PHP5, Js, HTML, XHTML, CSS, SQL, XSLT, shell, XPATH Outils : Eclipse, Eclipse Pdt, Zend debugger, PHPDocumentor, LAMP, BIRT, Subversion, Git Sgbd : Mysql, Postgres Serveurs(Logiciels) : Apache, Tomcat, Nginx Tests: PHPUnit, JUnit. Autres : Xtext
Compétences :
Développement d'applications web ( PHP, J2EE) Responsabilités techniques : Maintenance, migration, validation, architecture, avancement, planification, gestion d'équipe. Définition de processus de développement.

Expérience professionnelle :
CDI
Type de contrat : IGR/IGE, PRAG
Fonction exercée : Responsable scientifique R&D
Sujet de recherche ou mission professionnelle :Systèmes Numériques
Unité de recherche ou entreprise : Scalian
Toulouse

Doctorat SURETE DE LOGICIEL ET CALCUL DE HAUTE PERFORMANCE

Thèse soutenue le 3 décembre 2015 - Institut National des Sciences Appliquées de Toulouse

Ecole doctorale : EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse

Sujet : Contribution à la modélisation et la vérification formelle par model-checking -- Prise en compte des symétries dans l'analyse des Réseaux de Petri Temporels

Mots-clés de la thèse : méthodes formelles,symétries,model-checking,systèmes critiques,

Direction de thèse : Bernard BERTHOMIEU

Co-encadrement de thèse : François VERNADAT

Unité de recherche : LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes UPR 8001 - Toulouse

Ingénieur - Diplome d'ingénieur de l'INSA

obtenu en février 2011 - INSA
Option : Informatique

Production scientifique

- P.A.BOURDIL, B.BERTHOMIEU, S.DAL ZILIO, F.VERNADAT 2015. Symmetry reduced state classes for time petri nets Annual ACM Symposium on Applied Computing ( ACM-SAC ) 2015 , Volume II page 1751, http://dl.acm.org/citation.cfm?id=2695803
- Pierre-Alain BOURDIL, Bernard BERTHOMIEU, Eric JENN 2014. Model-Checking Real-Time Properties of an AutoFlight Control System Function International Symposium on Software Reliability Engineering Workshops ( ISSREW ) 2014, Pages 120-123 , http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6983817
- PIerre-Alain BOURDIL, Bernard BERTHOMIEU, Silvano DALZILIO, Francois VERNADAT 2014. Réduction par symetrie du graphe des classes d'états des Réseaux de Petri Temporels Formalisation des activités concurrentes ( Journées FAC ) 2014 , Sans acte, http://seminaire-verif.enseeiht.fr/FAC/2014/Articles/bourdil.pdf
- Pierre-Alain BOURDIL, Bernard BERTHOMIEU, Silvano DALZILIO, Francois VERNADAT 2013. Modélisation et vérification d'un réseau de communication embarqué avec FIACRE/TINA MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France, Poster, http://hal.inria.fr/hal-00876644

Langues Vivantes : Anglais B2 - Intermédiaire supérieur

Dernière mise à jour le 2 mars 2016