David Doose - RankMe

30 papers A* 3A 3B 1C 6Misc 3Journal 3Unranked 11

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