Cyril Allignol
- ENAC - Equipe Optim (OPTIM)
Présentation
Je suis enseignant-chercheur dans l'équipe OPTIM du laboratoire de recherche de l'ENAC. Mes travaux s'inscrivent principalement dans deux grandes thématiques :
Publications
Publications
|
|
Reactive Semantics for User Interface Description Languages18th Interaction and Concurrency Experience, Jun 2025, Lille, France. ⟨10.48550/arXiv.2508.13610⟩ |
|
|
BiCoq : Bigraphs Formalisation with CoqSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩ |
|
|
Towards a User Interface Description Language Based on BigraphsTheoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia |
|
|
Représentation de programmes SMALA grâce à la théorie des bigraphesAFADL, Jun 2021, En ligne, France |
|
|
Vers la vérification de SMALA, un langage réactif interactifAFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France |
|
|
Departure Management with Robust Gate AllocationATM 2019, 13th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2019, Vienna, Austria |
|
|
Assessing the Robustness of a UAS Detect & Avoid Algorithm12th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2017, Seattle, United States |
|
|
Large Scale 3D En-Route Conflict ResolutionATM Seminar, 12th USA/Europe Air Traffic Management R&D Seminar, Jun 2017, Seattle, United States |
Résolution de Conflits Aériens par Méthodes Exactes et ApprochéesROADEF 2017, 18ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2017, Metz, France |
|
|
|
Detect and Avoid Algorithm for UAS with 3D-ManeuversICRAT 2018, 8th International Conference on Research in Air Transportation , Jun 2018, Castelldefels, Spain |
|
|
Detect & Avoid, UAV Integration in the Lower Airspace TrafficICRAT 2016, 7th International Conference on Research in Air Transportation, Jun 2016, Philadelphia, United States |
|
|
Integration of UAS in Terminal Control AreaDASC 2016 IEEE/AIAA 35th Digital Avionics Systems Conference, Sep 2016, Sacramento, United States. ⟨10.1109/DASC.2016.7778052⟩ |
|
|
Detect and Avoid, UAV Integration in the Lower Airspace Traffic7th International Conference on Research in Air Transportation (ICRAT 2016), Jun 2016, Philadelphia, PA, United States |
|
|
Interactions between Operations and Planning in Air Traffic ControlICRAT 2014, 6th International Conference on Research in Air Transportation, May 2014, Istanbul, Turkey. pp xxxx |
|
|
A new framework for solving en-routes conflictsATM 2013, 10th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2013, Chicago, United States. pp 1-9 |
Framework for the aircraft conflict resolution problemOPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada |
|
Interactions between operations and planning decisions in ATCOPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada |
|
|
|
Conflict resolution by speed regulationINAIR 2012, International Conference on Air Transport, Sep 2012, Zilina, Slovakia. pp xxxx |
|
|
Optimized flight level allocation at the continental scaleICRAT 2012, 5th International Conference on Research in Air Transportation, May 2012, Berkeley, United States. pp xxxx |
Optimized vertical separation in Europe2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), Oct 2012, Williamsburg, United States. ⟨10.1109/DASC.2012.6383010⟩ |
|
|
|
Combining flight level allocation with ground holding to optimize 4D-deconflictionATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2011, Berlin, Germany. pp xxxx |
|
|
Allocation de créneaux de décollage sans conflitROADEF 2011, 12ème congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, St-Etienne, France |
|
|
The Influence of Uncertainties on Traffic Control using Speed AdjustmentsATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar , Eurocontrol, Jun 2011, Berlin, Germany |
|
|
A ground holding model for aircraft deconflictionDASC 2010, 29th IEEE/AIAA Digital Avionics Systems Conference, Oct 2010, Salt Lake City, United States. pp 2.D.3-1 - 2.D.3-10, ⟨10.1109/DASC.2010.5655481⟩ |
|
|
Allocation de créneaux de décollage sans conflit en programmation par contraintesROADEF 2010, 11ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2010, Toulouse, France |
|
|
4D-trajectory deconfliction through departure time adjustmentATM 2009, 8th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2009, Napa, United States. pp xxxx |
|
|
An efficient airspace configuration forecastATM 2009, 8th USA/Europe Air Traffic Management Research and Developpment Seminar, Jun 2009, Napa, United States. pp xxxx |
|
|
Deconfliction with constraint programmingINO 2008, 7th Eurocontrol Innovative Research Workshop & Exhibition, Dec 2008, Brétigny-sur-Orge, France. pp xxxx |
|
|
Implémentation des Bigraphes dans CoqAFADL24, Jun 2024, Paris, France. 2024 |
|
|
Planification de trajectoires pour l'optimisation du trafic aérienAutre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2011. Français. ⟨NNT : 2011INPT0104⟩ |