Publications HAL

Reports

2022

auteur
Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
titre
A gentle introduction to C code verification using the Frama-C platform
article
[Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.science/hal-03625208/file/frama-c_verification_process.pdf BibTex
auteur
Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
titre
Formal Verification for Autopilot - Preliminary state of the art
article
[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.science/hal-03255656/file/formal_verification_for_autopilot_state-of-the-art.pdf BibTex

2021

auteur
Geoffrey Scozzaro, Clara Buire, Eric Féron, Daniel Delahaye
titre
A new visualization of Paris accessibility
article
[University works] ENAC. 2021
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-03176998/file/TimeMetricProject%20%2811%29.pdf BibTex

2018

auteur
Torbjørn Cunis, Laurent Burlion, Jean-Philippe Condomines
titre
Piecewise Polynomial Model of the Aerodynamic Coefficients of the Generic Transport Model and its Equations of Motion
article
[Technical Report] Third corrected version, ONERA -- The French Aerospace Lab; École Nationale de l'Aviation Civile. 2018
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.science/hal-01808649/file/supplement.pdf BibTex
auteur
Ahmed Khassiba, Fabian Bastin, Bernard Gendron, Sonia Cafieri, Marcel Mongeau
titre
Extended Aircraft Arrival Management under Uncertainty: A Computational Study
article
[Research Report] CIRRELT. 2018
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01971571/file/CIRRELT-2018-52.pdf BibTex
auteur
Ruohao Zhang, Jean-Philippe Condomines, Riad Chemali, Nicolas Larrieu
titre
Network intrusion detection system for drone fleet using both spectral analysis and robust controller / observer
article
[Research Report] RR-ENAC-2018-01, ENAC. 2018
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01652296/file/Research%20report%20v3.pdf BibTex

2017

auteur
Jean-Philippe Condomines
titre
Estimation non linéaire basée sur la théorie des observateurs invariants
article
[Rapport de recherche] RR-ENAC-2017-001, ENAC. 2017
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01434172/file/RR-2017-001.pdf BibTex

2016

auteur
Stergos Afantenos, Nicolas Couellan, Aurélien Garivier, Sébastien Gerchinovitz, Jean-Michel Loubes, François Malgouyres, Josiane Mothe, Sandrine Mouysset, Edouard Pauwels, Mathieu Serrurier, Tim van de Cruys
titre
Report on CIMI Thematic Trimester: Machine Learning
article
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 2016
typdoc
Reports
Accès au bibtex
BibTex

2014

auteur
Alexandre Gondran
titre
Recherche tabou générique pour problèmes à contraintes binaires
article
[Rapport de recherche] ENAC. 2014
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.science/hal-01063343/file/pb_contraintes_binaires.pdf BibTex
auteur
Thibault Lehouillier, Jérémy Omer, François Soumis, Cyril Allignol
titre
Measuring the interactions between air traffic control and flow management using a simulation-based framework
article
2014
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01061241/file/G-2014-51.pdf BibTex

2011

auteur
Olivier Planchon, Abdelkrim Bensaïd, Valérie Bonnardot, Bonnefoy Cyril, Olivier Cantat, Daniel Delahaye, Johnny Douvinet, Vincent Dubreuil, Nadia Dupont, Lamarre Denis, Lamy Chloe, Rémi Lecerf, Patrick Le Gouée, Hervé Quénol, Edwige Savouret
titre
Les risques climatiques liés aux changements en cours dans la dynamique des masses d'air sur l'Europe Occidentale
article
2011
typdoc
Reports
Accès au bibtex
BibTex

2006

auteur
David Gianazza
titre
Réseaux de neurones appliqués aux indicateurs de complexité et aux regroupements de secteurs aériens
article
2006
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01020633/file/Gianazza_NR-06-517.pdf BibTex

2005

auteur
Kevin Guittet, David Gianazza
titre
Analyse descriptive des indicateurs de complexité du trafic aérien à partir des données IMAGE et COURAGE
article
[Research Report] Ecole Nationale de l'Aviation Civile. 2005
typdoc
Reports
Accès au texte intégral et bibtex
https://enac.hal.science/hal-01020620/file/Gianazza_NR-05-905.pdf BibTex

2001

auteur
Alexandre Gondran
titre
Fentes de Young : trajectoires d'électrons ?
article
2001
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.science/hal-00656118/file/stage.pdf BibTex

1992

auteur
A.R. Conn, Marcel Mongeau
titre
Discontinuous piecewise differentiable optimization I : theory
article
[Research Report] RR-1694, INRIA. 1992
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00076929/file/RR-1694.pdf BibTex