| Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu Aerospace Lab, p. 1-8, 2012 | 69 | 2012 |
| Scheduling analysis under fault bursts F Many, D Doose 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 40 | 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 | 22 | 2014 |
| 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 |
| 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 | 19 | 2020 |
| 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 |
| Supporting model based design R Delmas, D Doose, AF Pires, T Polacsek Model and Data Engineering: First International Conference, MEDI 2011 …, 2011 | 14 | 2011 |
| 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 | 13 | 2012 |
| 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 | 9 | 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 |
| 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 | 7 | 2023 |
| 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 |
| 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 |
| Periodic state-machine aware real-time analysis N Gobillot, D Doose, C Lesire, L Santinelli 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 5 | 2015 |
