Home > Verimag > Publications

bibtex

@phdthesis{Abd12a,
    title = {Rigorous Implementation of Real-Time Systems },
    author = {Abdellatif, Tesnim},
    year = {2012},
    school = {Universi\'e de Grenoble, France},
    team = {DCS},
}

Publication Sections

New publications

Recent Publications
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Jorge Ocon, Francisco Colemenero, Joaquin Estremera, Karl Buckley, Mercedes Alonso, Enrique Heredia, Javier Garcia, Amanda Coles, Andrew Coles, Moises Martinez, Emre Savas, Florian Pommerening, Thomas Keller, Spyros Karachalios, Mark Woods, Iulia Dragomir, Saddek Bensalem, Pierre Dissaux, Arnaud Schach, Robert Marc, Piotr Weclewski: The ERGO framework and its use in planetary/orbital scenarios
- Alexey Bakhirkin, Thomas Ferrére, Thomas A. Henzinger, Dejan Nickovic: The First-Order Logic of Signals
- Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD/ETAPS 2018, Thessaloniki, Greece, 15th April 2018

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1156048

CNRS

INP Grenoble