Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems

FEANICSES (2018-2022) is a Jeune Chercheuse–Jeune Chercheur project funded by the Agence Nationale de la Recherche, the French Research Agency

  • Young Researcher Project ANR-17-CE25-0018 FR EN
  • Proposal PDF

FEANICSES project is related to compagnion projects:

  • SYFI - Synthèse de code en virgule fixe, with the SME Numalis, Univ. of Perpignan, IRIT and Onera, funded by the program Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE) of the Région Occitanie, led by Matthieu Martel
  • Feasible and Optimal Semi-Definite Programs for Piecewise Affine Systems Verification, with Univ. of Perpignan and Onera, funded by the Programme Gaspard Monge pour l’Optimisation (PGMO) of the Jacques Hamadard Fondation, led by Assalé Adjé
  • Validation de drones et essaims de drones autonomes, with Ecole Polytechnique, ENSTA ParisTech, ENSTA Bretagne and ISAE-Supaero, funded by the Agence de l’innovation de défense (AID)

People

Researchers

Avatar

Didier Henrion

Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University

Avatar

Pierre-Loic Garoche

Researcher at ONERA

Avatar

Xavier Thirioux

Associate Professor at INPT/IRIT

Avatar

Eric Feron

Professor at Georgia Tech

Avatar

Christophe Garion

Professor at ISAE-Supaero

Avatar

Pierre Roux

Researcher at Onera

Avatar

Alexandre Chapoutot

Professor at ENSTA

Avatar

Assalé Adjé

Associate Professor at Univ. of Perpignan

Avatar

Behçet Açıkmeşe

Professor at Univ. of Washington

Avatar

Guillaume Brat

Researcher at NASA Ames

Avatar

Matthieu Martel

Professor at Univ. of Perpignan

Avatar

Remi Delmas

Researcher at ONERA

Grad Students

Avatar

Paul Rousse

PhD student (2016-)

Avatar

Guillaume Davy

PhD student (2015-2018)

Avatar

Raphael Cohen

PhD Student (2015-2018)

Avatar

Farah Benmouhoub

PhD student (2018-)

Avatar

Hamza Bourbouh

PhD student (2017-)

Avatar

Hanane Benmagnia

PhD student (2019-)