Skip to Main content Skip to Navigation

Search by documents

hal-01113889v1  Conference papers
Stéphane PuechmorelDaniel Delahaye. Functional interior point programming applied to the aircraft path planning problem
EuroGNC, European Aerospace Guidance, Navigation and Control Conference 2015, Apr 2015, Toulouse, France. 2015, Apr 2015, Toulouse, France. ⟨10.1007/978-3-319-17518-8⟩
hal-02333423v1  Conference papers
Dominique Larchey-WendlingRalph Matthes. Certification of Breadth-First Algorithms by Extraction
13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
hal-01154189v1  Journal articles
Michaël LauerFrédéric BoniolClaire PagettiJérôme Ermont. End-to-end latency and temporal consistency analysis in networked real-time systems
International Journal of Critical Computer-Based Systems, Inderscience, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩