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
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
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 ...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
International audienceWe consider the problems of efficiently diagnosing and predicting what did (or...
This is the author (and extended) version of the manuscript of the same name published in the procee...
The Concurrency Column, by Luca Aceto. Partially based on the invited talk at FORMATS'03 workshopCur...
We present a specification theory for timed systems implemented in the Ecdar tool. We illustrate the...
La vérification et la validation des composants logiciels des systèmes temps réel est un des enjeuxm...
OpenDP (http://opendp.sourceforge.net) is a free software (under GPL) written in C++ for control pro...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
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 ...
International audienceAdaptive systems can be regarded as a set of static programs and transitions b...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
International audienceWe consider the problems of efficiently diagnosing and predicting what did (or...
This is the author (and extended) version of the manuscript of the same name published in the procee...
The Concurrency Column, by Luca Aceto. Partially based on the invited talk at FORMATS'03 workshopCur...
We present a specification theory for timed systems implemented in the Ecdar tool. We illustrate the...
La vérification et la validation des composants logiciels des systèmes temps réel est un des enjeuxm...
OpenDP (http://opendp.sourceforge.net) is a free software (under GPL) written in C++ for control pro...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase ...
DOI
Add to ORKG