David Doose

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 19

Top Topics

Autonomous Systems

Linear Temporal Logic

Software Architecture

Top Venues

Publications

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
Skill-based design of dependable robotic architectures. Robotics Auton. Syst. 160 (2023)
Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. ICRA (2023)
Alfonso Mascareñas González, Jean-Baptiste Chaudron, Régine Leconte, Youcef Bouchebaba, David Doose
Exploring iGPU Memory Interference Response to L2 Cache Locking. WCET (2023)
Benoit Varillon, David Doose
Real-Time Polling Task: Design and Analysis. DSD (2022)
Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. FMAS/ASYDE@SEFM (2022)
Cédric Pralet, David Doose, Julien Anxionnat, Jérémie Pouly
Building Resource-Dependent Conditional Plans for an Earth Monitoring Satellite. ICAPS (2022)
David Doose, Luca Santinelli
The Generalized Graph Real-Time Task Model. EUC (2022)
Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, Augustin Manecy
Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. RoSE@ICSE (2021)
Charles Lesire, David Doose, Christophe Grand
Formalization of Robot Skills with Descriptive and Operational Models. IROS (2020)
Nicolas Gobillot, Charles Lesire, David Doose
A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems. J. Intell. Robotic Syst. 96 (1) (2019)
Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo
Mixed Criticality Scheduling of Probabilistic Real-Time Systems. SETTA (2019)
Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand
Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. ICRA (2019)
David Come, Julien Brunel, David Doose
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. IRC (2018)
David Come, Julien Brunel, David Doose
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF (2018)
Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand
Schedulability analysis for mixed critical cyber physical systems. ICPS (2018)
David Come, Julien Brunel, David Doose
Improving code quality in ROS packages using a temporal extension of first-order logic. Encycl. Semantic Comput. Robotic Intell. 2 (1) (2018)
David Doose, Christophe Grand, Charles Lesire
MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time. IRC (2017)
Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli
Measurement-based real-time analysis of robotic software architectures. IROS (2016)
Nicolas Gobillot, David Doose, Charles Lesire, Luca Santinelli
Periodic state-machine aware real-time analysis. ETFA (2015)
Nicolas Gobillot, Charles Lesire, David Doose
A Modeling Framework for Software Architecture Specification and Validation. SIMPAR (2014)
Marc Boyer, David Doose
Combining network calculus and scheduling theory to improve delay bounds. RTNS (2012)
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek
Supporting Model Based Design. MEDI (2011)
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
IDM : Vers une aide ? la conception. INFORSID (2011)
Florian Many, David Doose
Fault tolerance evaluation and schedulability analysis. SAC (2011)
Florian Many, David Doose
Scheduling Analysis under Fault Bursts. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
David Doose, Zoubir Mammeri
Polyhedra-Based Approach for Incremental Validation of Real-Time Systems. EUC (2005)
David Doose, Zoubir Mammeri
Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. DIPES (2004)