Event-clock automata : From theory to practice

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Organisme financeur Cornell University Library, arXiv.org
Publication Publié, 2011

Rapport

Titre:	Event-clock automata : From theory to practice
Auteur:	Geeraerts, Gilles; Raskin, Jean-François; Sznajder, NATHALIE
Organisme financeur:	Cornell University Library, arXiv.org
Statut de publication:	Publié, 2011
Sujet CREF:	Informatique générale
Langue:	N/A

On regions and zones for event-clock automata
par Geeraerts, Gilles , Raskin, Jean-François , Sznajder, Nathalie
Publication 2014
Real-time synthesis is hard!
par Brihaye, Thomas , Estievenart, Morgane , Geeraerts, Gilles , Ho, Hsi Ming , Monmege, Benjamin , Sznajder, Nathalie
Publication 2016
Event clock automata: From theory to practice
par Geeraerts, Gilles , Raskin, Jean-François , Sznajder, Nathalie
Publication 2011
Models and algorithms for chronology
par Geeraerts, Gilles , Levy, Eythan , Pluquet, Frédéric
Publication 2017-10
Safe and optimal scheduling of hard and soft tasks
par Geeraerts, Gilles , Guha, Shibashis , Raskin, Jean-François
Publication 2018

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.