Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Raymond R. Devillers

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 Johan Arcile

> Home > Persons > Raymond R. Devillers

Publications

2023
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ArcileDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ArcileDK23
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. 17: 246-263 (2023)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/ArcileDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/ArcileDK23
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Factorization of the State Space Construction for Cyclic Systems with Data. VECoS 2023: 1-14
2020
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ArcileDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ArcileDK20
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae 175(1-4): 59-95 (2020)
[c48]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/ArcileDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ArcileDK20
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets 2020: 29-48
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/ArcileDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/ArcileDK20
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS 2020: 2126-2127
2019
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/ArcileDK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/ArcileDK19
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agents Multi Agent Syst. 33(3): 353-381 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-07591
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-07591
Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR abs/1911.07591 (2019)
2017
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/dcai/ArcileDKKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcai/ArcileDKKW17
Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak:
Modeling and checking robustness of communicating autonomous vehicles. DCAI 2017: 173-180
2015
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icmmi/ArcileCDDKR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmmi/ArcileCDDKR15
Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj:
Modelling and Analysing Mixed Reality Applications. ICMMI 2015: 3-17
[c32]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ArcileDKDR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArcileDKDR15
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj:
Indefinite waitings in MIRELA systems. ESSS 2015: 5-18
2014
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DevillersDKA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DevillersDKA14
Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile:
Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE 2014: 55-65

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.