|
BiCoq : Bigraphs Formalisation with Coq
Cécile Marcon
,
Cyril Allignol
,
Celia Picard
,
Blair Archibald
,
Michele Sevegnani
et al.
SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩
Communication dans un congrès
hal-05088148
v1
|
|
Towards a User Interface Description Language Based on Bigraphs
Nicolas Nalpon
,
Cyril Allignol
,
Célia Picard
Theoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia
Communication dans un congrès
hal-03790499
v1
|
|
Représentation de programmes SMALA grâce à la théorie des bigraphes
Cécile Marcon
,
Nicolas Nalpon
,
Cyril Allignol
,
Célia Picard
AFADL, Jun 2021, En ligne, France
Communication dans un congrès
hal-03457039
v1
|
|
Vers la vérification de SMALA, un langage réactif interactif
Nicolas Nalpon
,
Célia Picard
,
Cyril Allignol
,
Sébastien Leriche
AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France
Communication dans un congrès
hal-02916890
v1
|
|
Departure Management with Robust Gate Allocation
Ruixin Wang
,
Cyril Allignol
,
Nicolas Barnier
,
Jean-Baptiste Gotteland
ATM 2019, 13th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2019, Vienna, Austria
Communication dans un congrès
hal-02090426
v1
|
|
Large Scale 3D En-Route Conflict Resolution
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Alexandre Gondran
,
Ruixin Wang
ATM Seminar, 12th USA/Europe Air Traffic Management R&D Seminar, Jun 2017, Seattle, United States
Communication dans un congrès
hal-01592235
v1
|
|
Assessing the Robustness of a UAS Detect & Avoid Algorithm
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Guido Manfredi
,
Éric Blond
12th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2017, Seattle, United States
Communication dans un congrès
hal-01519659
v1
|
|
Résolution de Conflits Aériens par Méthodes Exactes et Approchées
Alexandre Gondran
,
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
ROADEF 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
Communication dans un congrès
hal-01712866
v1
|
|
Detect & Avoid, UAV Integration in the Lower Airspace Traffic
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Éric Blond
ICRAT 2016, 7th International Conference on Research in Air Transportation, Jun 2016, Philadelphia, United States
Communication dans un congrès
hal-01351007
v1
|
|
Detect and Avoid Algorithm for UAS with 3D-Maneuvers
Richard Alligier
,
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Ruixin Wang
ICRAT 2018, 8th International Conference on Research in Air Transportation , Jun 2018, Castelldefels, Spain
Communication dans un congrès
hal-01822712
v1
|
|
Integration of UAS in Terminal Control Area
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Guido Manfredi
,
Éric Blond
Communication dans un congrès
hal-01418171
v1
|
|
Detect and Avoid, UAV Integration in the Lower Airspace Traffic
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Eric Blond
7th International Conference on Research in Air Transportation (ICRAT 2016), Jun 2016, Philadelphia, PA, United States
Communication dans un congrès
hal-03165027
v1
|
|
Interactions between Operations and Planning in Air Traffic Control
Thibault Lehouillier
,
Jérémy Omer
,
François Soumis
,
Cyril Allignol
ICRAT 2014, 6th International Conference on Research in Air Transportation, May 2014, Istanbul, Turkey. pp xxxx
Communication dans un congrès
hal-00998973
v1
|
|
Framework for the aircraft conflict resolution problem
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Jean-Marc Alliot
OPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada
Communication dans un congrès
hal-00911729
v1
|
|
Interactions between operations and planning decisions in ATC
Thibault Lehouillier
,
François Soumis
,
Cyril Allignol
OPDE 2013, 4e conférence " des Outils Pour Décider Ensemble ", May 2013, Montréal, Canada
Communication dans un congrès
hal-00911725
v1
|
|
A new framework for solving en-routes conflicts
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
,
Jean-Marc Alliot
ATM 2013, 10th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2013, Chicago, United States. pp 1-9
Communication dans un congrès
hal-00828736
v1
|
|
Conflict resolution by speed regulation
Maxime Galloux
,
Alexandre Gondran
,
Cyril Allignol
,
Nicolas Barnier
INAIR 2012, International Conference on Air Transport, Sep 2012, Zilina, Slovakia. pp xxxx
Communication dans un congrès
hal-00938859
v1
|
|
Optimized flight level allocation at the continental scale
Cyril Allignol
,
Nicolas Barnier
,
Alexandre Gondran
ICRAT 2012, 5th International Conference on Research in Air Transportation, May 2012, Berkeley, United States. pp xxxx
Communication dans un congrès
hal-00938896
v1
|
|
Optimized vertical separation in Europe
Nicolas Barnier
,
Alexandre Gondran
,
Cyril Allignol
Communication dans un congrès
hal-01859786
v1
|
|
Allocation de créneaux de décollage sans conflit
Cyril Allignol
,
Nicolas Barnier
,
Nicolas Durand
ROADEF 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
Communication dans un congrès
hal-00934796
v1
|
|
The Influence of Uncertainties on Traffic Control using Speed Adjustments
Géraud Granger
,
Cyril Allignol
,
Nicolas Durand
ATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar , Eurocontrol, Jun 2011, Berlin, Germany
Communication dans un congrès
hal-01293549
v1
|
|
Combining flight level allocation with ground holding to optimize 4D-deconfliction
Nicolas Barnier
,
Cyril Allignol
ATM Seminar 2011, 9th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2011, Berlin, Germany. pp xxxx
Communication dans un congrès
hal-00938500
v1
|
|
A ground holding model for aircraft deconfliction
Nicolas Durand
,
Cyril Allignol
,
Nicolas Barnier
DASC 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⟩
Communication dans un congrès
hal-00938499
v1
|
|
Allocation de créneaux de décollage sans conflit en programmation par contraintes
Cyril Allignol
,
Nicolas Barnier
ROADEF 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
Communication dans un congrès
hal-00934797
v1
|
|
An efficient airspace configuration forecast
David Gianazza
,
Cyril Allignol
,
Nicolas Saporito
ATM 2009, 8th USA/Europe Air Traffic Management Research and Developpment Seminar, Jun 2009, Napa, United States. pp xxxx
Communication dans un congrès
hal-01020720
v1
|
|
4D-trajectory deconfliction through departure time adjustment
Nicolas Barnier
,
Cyril Allignol
ATM 2009, 8th USA/Europe Air Traffic Management Research and Development Seminar, Jun 2009, Napa, United States. pp xxxx
Communication dans un congrès
hal-00938231
v1
|
|
Deconfliction with constraint programming
Nicolas Barnier
,
Cyril Allignol
INO 2008, 7th Eurocontrol Innovative Research Workshop & Exhibition, Dec 2008, Brétigny-sur-Orge, France. pp xxxx
Communication dans un congrès
hal-00938416
v1
|