Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. - David Doose; Zoubir Mammeri (DIPES, 2004)

Polyhedra-Based Approach for Incremental Validation of Real-Time Systems. - David Doose; Zoubir Mammeri (EUC, 2005)

IDM : Vers une aide ? la conception. - Rémi Delmas; Thomas Polacsek; David Doose; Anthony Fernandes Pires (INFORSID, 2011)

Supporting Model Based Design. - Rémi Delmas; David Doose; Anthony Fernandes Pires; Thomas Polacsek (MEDI, 2011)

Scheduling Analysis under Fault Bursts. - Florian Many; David Doose (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Fault tolerance evaluation and schedulability analysis. - Florian Many; David Doose (SAC, 2011)

Combining network calculus and scheduling theory to improve delay bounds. - Marc Boyer; David Doose (RTNS, 2012)

A Modeling Framework for Software Architecture Specification and Validation. - Nicolas Gobillot; Charles Lesire; David Doose (SIMPAR, 2014)

Periodic state-machine aware real-time analysis. - Nicolas Gobillot; David Doose; Charles Lesire; Luca Santinelli (ETFA, 2015)

Measurement-based real-time analysis of robotic software architectures. - Nicolas Gobillot; Fabrice Guet; David Doose; Christophe Grand; Charles Lesire; Luca Santinelli (IROS, 2016)

MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time. - David Doose; Christophe Grand; Charles Lesire (IRC, 2017)

Schedulability analysis for mixed critical cyber physical systems. - Luca Santinelli; David Doose; Guy Durrieu; Frédéric Boniol; Charles Lesire-Cabaniols; Christophe Grand (ICPS, 2018)

Source Code Analysis with a Temporal Extension of First-Order Logic. - David Come; Julien Brunel; David Doose (SBMF, 2018)

Improving code quality in ROS packages using a temporal extension of first-order logic. - David Come; Julien Brunel; David Doose (Encycl. Semantic Comput. Robotic Intell., 2018)

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. - Charles Lesire; Stéphanie Roussel 001; David Doose; Christophe Grand (ICRA, 2019)

Mixed Criticality Scheduling of Probabilistic Real-Time Systems. - Jasdeep Singh; Luca Santinelli; Federico Reghenzani; Konstantinos Bletsas; David Doose; Zhishan Guo (SETTA, 2019)

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems. - Nicolas Gobillot; Charles Lesire; David Doose (J. Intell. Robotic Syst., 2019)

Formalization of Robot Skills with Descriptive and Operational Models. - Charles Lesire; David Doose; Christophe Grand (IROS, 2020)

Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. - Alexandre Albore; David Doose; Christophe Grand; Charles Lesire; Augustin Manecy (RoSE@ICSE, 2021)

Building Resource-Dependent Conditional Plans for an Earth Monitoring Satellite. - Cédric Pralet; David Doose; Julien Anxionnat; Jérémie Pouly (ICAPS, 2022)

Real-Time Polling Task: Design and Analysis. - Benoit Varillon; David Doose (DSD, 2022)

The Generalized Graph Real-Time Task Model. - David Doose; Luca Santinelli (EUC, 2022)

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. - Baptiste Pelletier; Charles Lesire; David Doose; Karen Godary-Dejean; Charles Dramé-Maigné (FMAS/ASYDE@SEFM, 2022)

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. - Baptiste Pelletier; Charles Lesire; Christophe Grand; David Doose; Mathieu Rognant (ICRA, 2023)

Exploring iGPU Memory Interference Response to L2 Cache Locking. - Alfonso Mascareñas González; Jean-Baptiste Chaudron; Régine Leconte; Youcef Bouchebaba; David Doose (WCET, 2023)

Skill-based design of dependable robotic architectures. - Alexandre Albore; David Doose; Christophe Grand; Jérémie Guiochet; Charles Lesire; Augustin Manecy (Robotics Auton. Syst., 2023)

Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. - David Doose; Julien Brunel (ICFEM, 2024)

Optimal Real-Time Task Allocation in Heteregeneous Multi-Core Embedded Systems. - David Doose; Youcef Bouchebaba; Alfonso Mascareñas González (RTCSA, 2024)

Cross-layer Formal Verification of Robotic Systems. - Sylvain Raïs; Julien Brunel; David Doose; Frédéric Herbreteau (FMAS@iFM, 2024)