Skip to Main content Skip to Navigation

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  Book sections
Dominique Larchey-WendlingRalph Matthes. Certification of Breadth-First Algorithms by Extraction
Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science, 11825, pp.45-75, 2019, ⟨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⟩