default search action

combined dblp search
author search
venue search
publication search

ask others

David Doose

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DooseB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DooseB24
David Doose, Julien Brunel:
Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. ICFEM 2024: 375-390
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/DooseBG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/DooseBG24
David Doose, Youcef Bouchebaba, Alfonso Mascareñas González:
Optimal Real-Time Task Allocation in Heteregeneous Multi-Core Embedded Systems. RTCSA 2024: 108-113
2023
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/AlboreDGGLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/AlboreDGGLM23
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: 104318 (2023)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/PelletierLGDR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/PelletierLGDR23
Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant:
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. ICRA 2023: 10580-10586
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/wcet/GonzalezCLBD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/GonzalezCLBD23
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: 3:1-3:11
2022
[c22]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/PraletDAP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/PraletDAP22
Cédric Pralet, David Doose, Julien Anxionnat, Jérémie Pouly:
Building Resource-Dependent Conditional Plans for an Earth Monitoring Satellite. ICAPS 2022: 490-498
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/VarillonD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/VarillonD22
Benoit Varillon, David Doose:
Real-Time Polling Task: Design and Analysis. DSD 2022: 624-631
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/DooseS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/DooseS22
David Doose, Luca Santinelli:
The Generalized Graph Real-Time Task Model. EUC 2022: 120-127
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14039
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: 120-138
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/rose-ws/AlboreDGLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rose-ws/AlboreDGLM21
Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, Augustin Manecy:
Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. RoSE@ICSE 2021: 47-54
2020
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/LesireDG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/LesireDG20
Charles Lesire, David Doose, Christophe Grand:
Formalization of Robot Skills with Descriptive and Operational Models. IROS 2020: 7227-7232

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jirs/GobillotLD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/GobillotLD19
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): 123-138 (2019)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LesireRDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LesireRDG19
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: 597-603
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/SinghSRBDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/SinghSRBDG19
Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo:
Mixed Criticality Scheduling of Probabilistic Real-Time Systems. SETTA 2019: 89-105
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/escri/ComeBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/escri/ComeBD18
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): 1850003:1-1850003:11 (2018)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/SantinelliDDBLG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/SantinelliDDBLG18
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: 297-303
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/ComeBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/ComeBD18
David Come, Julien Brunel, David Doose:
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. IRC 2018: 1-8
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ComeBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ComeBD18
David Come, Julien Brunel, David Doose:
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF 2018: 20-38
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/DooseGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/DooseGL17
David Doose, Christophe Grand, Charles Lesire:
MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time. IRC 2017: 208-211
2016
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/GobillotGDGLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/GobillotGDGLS16
Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli:
Measurement-based real-time analysis of robotic software architectures. IROS 2016: 3306-3311
2015
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GobillotDLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GobillotDLS15
Nicolas Gobillot, David Doose, Charles Lesire, Luca Santinelli:
Periodic state-machine aware real-time analysis. ETFA 2015: 1-8
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/GobillotLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/GobillotLD14
Nicolas Gobillot, Charles Lesire, David Doose:
A Modeling Framework for Software Architecture Specification and Validation. SIMPAR 2014: 303-314
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/BoyerD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/BoyerD12
Marc Boyer, David Doose:
Combining network calculus and scheduling theory to improve delay bounds. RTNS 2012: 51-60
2011
[c6]
- view
  - electronic edition @ cnrs.fr (archived)
  - details & citations
- export record
  dblp key:
  - conf/inforsid/DelmasPDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inforsid/DelmasPDP11
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires:
IDM : Vers une aide ? la conception. INFORSID 2011: 147-162
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/DelmasDPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/DelmasDPP11
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek:
Supporting Model Based Design. MEDI 2011: 237-248
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/ManyD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/ManyD11
Florian Many, David Doose:
Scheduling Analysis under Fault Bursts. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 113-122
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ManyD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ManyD11
Florian Many, David Doose:
Fault tolerance evaluation and schedulability analysis. SAC 2011: 729-734

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/DooseM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/DooseM05
David Doose, Zoubir Mammeri:
Polyhedra-Based Approach for Incremental Validation of Real-Time Systems. EUC 2005: 184-193
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/DooseM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/DooseM04
David Doose, Zoubir Mammeri:
Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. DIPES 2004: 167-176

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.