| 2024 | ICFEM | Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. | David Doose, Julien Brunel |
| 2024 | RTCSA | Optimal Real-Time Task Allocation in Heteregeneous Multi-Core Embedded Systems. | David Doose, Youcef Bouchebaba, Alfonso Mascareas Gonzlez |
| 2023 | ICRA | Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. | Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant |
| 2022 | DSD | Real-Time Polling Task: Design and Analysis. | Benoit Varillon, David Doose |
| 2022 | EUC | The Generalized Graph Real-Time Task Model. | David Doose, Luca Santinelli |
| 2020 | IROS | Formalization of Robot Skills with Descriptive and Operational Models. | Charles Lesire, David Doose, Christophe Grand |
| 2019 | ICRA | Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. | Charles Lesire, Stphanie Roussel, David Doose, Christophe Grand |
| 2019 | SETTA | Mixed Criticality Scheduling of Probabilistic Real-Time Systems. | Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo |
| 2016 | IROS | Measurement-based real-time analysis of robotic software architectures. | Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli |
| 2015 | ETFA | Periodic state-machine aware real-time analysis. | Nicolas Gobillot, David Doose, Charles Lesire, Luca Santinelli |
| 2012 | RTNS | Combining network calculus and scheduling theory to improve delay bounds. | Marc Boyer, David Doose |
| 2011 | MEDI | Supporting Model Based Design. | Rmi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek |
| 2011 | SAC | Fault tolerance evaluation and schedulability analysis. | Florian Many, David Doose |
| 2011 | RTAS | Scheduling Analysis under Fault Bursts. | Florian Many, David Doose |
| 2005 | EUC | Polyhedra-Based Approach for Incremental Validation of Real-Time Systems. | David Doose, Zoubir Mammeri |