Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu Aerospace Lab, p. 1-8, 2012 | 68 | 2012 |
Scheduling analysis under fault bursts F Many, D Doose 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 39 | 2011 |
A modeling framework for software architecture specification and validation N Gobillot, C Lesire, D Doose Simulation, Modeling, and Programming for Autonomous Robots: 4th …, 2014 | 23 | 2014 |
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 | 21 | 2020 |
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 | 21 | 2008 |
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 | 20 | 2019 |
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 | 18 | 2017 |
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 | 18 | 2016 |
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 | 15 | 2012 |
Supporting model based design R Delmas, D Doose, AF Pires, T Polacsek Model and Data Engineering: First International Conference, MEDI 2011 …, 2011 | 13 | 2011 |
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 | 12 | 2023 |
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 | 11 | 2021 |
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 | 8 | 2019 |
Polyhedra-based approach for incremental validation of real-time systems D Doose, Z Mammeri Embedded and Ubiquitous Computing–EUC 2005: International Conference EUC …, 2005 | 8 | 2005 |
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 | 7 | 2018 |
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 | 7 | 2012 |
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 | 6 | 2010 |
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 | 5 | 2019 |
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 | 5 | 2019 |
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 | 5 | 2018 |