Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Charles Lesire

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with David Doose

> Home > Persons > Charles Lesire

Publications

2023
[j8]
- 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)
[c46]
- 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
2022
[c38]
- 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
[c35]
- 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
[c33]
- 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
2019
[j3]
- 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)
[c32]
- 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
2018
[c30]
- 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
2017
[c25]
- 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
[c23]
- 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
[c18]
- 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
[c14]
- 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

a service of

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.