David Doose

Publications

161

Citations

H-Index

2011

Active since

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

Université Fédérale de Toulouse Midi-Pyrénées

David Doose is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, systems engineering, and computer science.

ORCID

Top concepts

EngineeringSystems EngineeringAutomationComputer ScienceRoboticsReal-time SystemsComputer EngineeringRobot LearningIntelligent SystemsRobot Systems

Publications per year

2011–2022

Publications

Formal Verification of Critical Aerospace Software

Virginie Wiels, Robert C. delMas, David Doose et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 30 citations · Full text

Scheduling Analysis under Fault Bursts

Florian Many, David Doose · 2011 · 29 citations

Engineering, Reliability Engineering, Fault Analysis +16

Skill-based design of dependable robotic architectures

Alexandre Albore, David Doose, Christophe Grand et al. · Robotics and Autonomous Systems · 2022 · 22 citations · Full text

Artificial Intelligence, Robot Control, Engineering +8

Formalization of Robot Skills with Descriptive and Operational Models

Charles Lesire, David Doose, Christophe Grand · 2020 · 20 citations · Full text

Artificial Intelligence, Engineering, Robotic Agent +16

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

David Doose, Christophe Grand, Charles Lesire · 2017 · 18 citations

Software Maintenance, Robotic Systems, Engineering +30

Rows per page

1–5 of 8