David Doose

According to our database, David Doose authored at least 28 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimal Real-Time Task Allocation in Heteregeneous Multi-Core Embedded Systems.

David Doose, Youcef Bouchebaba, Alfonso Mascareñas González

Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains.

David Doose, Julien Brunel

Proceedings of the Formal Methods and Software Engineering, 2024

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., February, 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

Proceedings of the 21th International Workshop on Worst-Case Execution Time Analysis, 2023

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.

Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

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é

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

The Generalized Graph Real-Time Task Model.

David Doose, Luca Santinelli

Proceedings of the 20th IEEE International Conference on Embedded and Ubiquitous Computing, 2022

Real-Time Polling Task: Design and Analysis.

Benoit Varillon, David Doose

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Building Resource-Dependent Conditional Plans for an Earth Monitoring Satellite.

Cédric Pralet, David Doose, Julien Anxionnat, Jérémie Pouly

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management.

Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, Augustin Manecy

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

2020

Formalization of Robot Skills with Descriptive and Operational Models.

Charles Lesire, David Doose, Christophe Grand

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

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

Mixed Criticality Scheduling of Probabilistic Real-Time Systems.

Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification.

Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand

Proceedings of the International Conference on Robotics and Automation, 2019

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

Source Code Analysis with a Temporal Extension of First-Order Logic.

David Come, Julien Brunel, David Doose

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Schedulability analysis for mixed critical cyber physical systems.

Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time.

David Doose, Christophe Grand, Charles Lesire

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Measurement-based real-time analysis of robotic software architectures.

Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

Periodic state-machine aware real-time analysis.

Nicolas Gobillot, David Doose, Charles Lesire, Luca Santinelli

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

A Modeling Framework for Software Architecture Specification and Validation.

Nicolas Gobillot, Charles Lesire, David Doose

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

2012

Combining network calculus and scheduling theory to improve delay bounds.

Marc Boyer, David Doose

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2011

Fault tolerance evaluation and schedulability analysis.

Florian Many, David Doose

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Scheduling Analysis under Fault Bursts.

Florian Many, David Doose

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Supporting Model Based Design.

Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek

Proceedings of the Model and Data Engineering - First International Conference, 2011

IDM : Vers une aide ? la conception.

Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires

Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011

2005

Polyhedra-Based Approach for Incremental Validation of Real-Time Systems.

David Doose, Zoubir Mammeri

Proceedings of the Embedded and Ubiquitous Computing, 2005

2004

Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions.

David Doose, Zoubir Mammeri

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004