Follow
David Doose
David Doose
Verified email at onera.fr
Title
Cited by
Cited by
Year
Formal verification of critical aerospace software
V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu
Aerospace Lab, p. 1-8, 2012
682012
Scheduling analysis under fault bursts
F Many, D Doose
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011
392011
A modeling framework for software architecture specification and validation
N Gobillot, C Lesire, D Doose
Simulation, Modeling, and Programming for Autonomous Robots: 4th …, 2014
232014
Formalization of robot skills with descriptive and operational models
C Lesire, D Doose, C Grand
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
212020
Constraint-based Design of Avionics Platform: Preliminary Design Exploration
P Bieber, JP Bodeveix, C Castel, D Doose, M Filali, F Minot, C Pralet
4th International Coongress on Embedded Real Time Software and Systems (ERTS …, 2008
212008
A design and analysis methodology for component-based real-time architectures of autonomous systems
N Gobillot, C Lesire, D Doose
Journal of Intelligent & Robotic Systems 96 (1), 123-138, 2019
202019
MAUVE runtime: a component-based middleware to reconfigure software architectures in real-time
D Doose, C Grand, C Lesire
2017 First IEEE international conference on robotic computing (IRC), 208-211, 2017
182017
Measurement-based real-time analysis of robotic software architectures
N Gobillot, F Guet, D Doose, C Grand, C Lesire, L Santinelli
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016
182016
Combining network calculus and scheduling theory to improve delay bounds
M Boyer, D Doose
Proceedings of the 20th International Conference on Real-Time and Network …, 2012
152012
Supporting model based design
R Delmas, D Doose, AF Pires, T Polacsek
Model and Data Engineering: First International Conference, MEDI 2011 …, 2011
132011
Skill-based design of dependable robotic architectures
A Albore, D Doose, C Grand, J Guiochet, C Lesire, A Manecy
Robotics and Autonomous Systems 160, 104318, 2023
122023
Skill-based architecture development for online mission reconfiguration and failure management
A Albore, D Doose, C Grand, C Lesire, A Manecy
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021
112021
A centralized web-based platform for combined glider and satellite observation analysis
F Besson, O de Fommervault, J Romero, M Barbier, E Bensana, D Doose, ...
OCEANS 2019-Marseille, 1-5, 2019
82019
Polyhedra-based approach for incremental validation of real-time systems
D Doose, Z Mammeri
Embedded and Ubiquitous Computing–EUC 2005: International Conference EUC …, 2005
82005
Improving code quality in ROS packages using a temporal extension of first-order logic
D Come, J Brunel, D Doose
Encyclopedia with Semantic Computing and Robotic Intelligence 2 (01), 1850003, 2018
72018
Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.
C Lesire, D Doose, H Cassé
7th full day Workshop on Software Development and Integration in Robotics …, 2012
72012
Collaboration entre méthode d’ordonnancement et calcul réseau
M Boyer, D Doose
Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 21, 2010
62010
A mission management system for a fleet of gliders
M Barbier, E Bensana, D Doose, F Besson, Y Le Page, M Leopoldoff
OCEANS 2019-Marseille, 1-6, 2019
52019
Synthesis of real-time observers from past-time linear temporal logic and timed specification
C Lesire, S Roussel, D Doose, C Grand
2019 International Conference on Robotics and Automation (ICRA), 597-603, 2019
52019
Mixed criticality probabilistic real-time systems analysis using discrete time markov chain
J Singh, L Santinelli, G Infantes, D Doose, J Brunel
6th International Workshop on Mixed Criticality Systems (WMC), 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20