International audiencePYECDAR is an open source implementation for reasoning on timed systems. PYECDAR's main objective is not efficiency, but rather flexibility to test and implement new results on timed systems
International audiencePartial observability and controllability are two well-known issues in test-ca...
This is the author (and slightly extended) version of the manuscript of the same name published in t...
International audienceWe consider the problems of efficiently diagnosing and predicting what did (or...
International audiencePYECDAR is an open source implementation for reasoning on timed systems. PYECD...
Abstract. PYECDAR is an open source implementation for reasoning on timed systems. PYECDAR’s main ob...
Recently, we have proposed a new design theory for timed systems.This theory, building on Timed I/O ...
This is the author (and extended) version of the manuscript of the same name published in the procee...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
We present a specification theory for timed systems implemented in the Ecdar tool. We illustrate the...
Dans le domaine des systèmes temps-réel embarqués critiques, les méthodes de conception et de spécif...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
International audiencePartial observability and controllability are two well-known issues in test-ca...
La vérification et la validation des composants logiciels des systèmes temps réel est un des enjeuxm...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
International audienceIn this paper, we review some recent results on the efficient synthesis of con...
International audiencePartial observability and controllability are two well-known issues in test-ca...
This is the author (and slightly extended) version of the manuscript of the same name published in t...
International audienceWe consider the problems of efficiently diagnosing and predicting what did (or...
International audiencePYECDAR is an open source implementation for reasoning on timed systems. PYECD...
Abstract. PYECDAR is an open source implementation for reasoning on timed systems. PYECDAR’s main ob...
Recently, we have proposed a new design theory for timed systems.This theory, building on Timed I/O ...
This is the author (and extended) version of the manuscript of the same name published in the procee...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
We present a specification theory for timed systems implemented in the Ecdar tool. We illustrate the...
Dans le domaine des systèmes temps-réel embarqués critiques, les méthodes de conception et de spécif...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
International audiencePartial observability and controllability are two well-known issues in test-ca...
La vérification et la validation des composants logiciels des systèmes temps réel est un des enjeuxm...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
International audienceIn this paper, we review some recent results on the efficient synthesis of con...
International audiencePartial observability and controllability are two well-known issues in test-ca...
This is the author (and slightly extended) version of the manuscript of the same name published in t...
International audienceWe consider the problems of efficiently diagnosing and predicting what did (or...
DOI
Add to ORKG