title = { On Timed Simulation Relations for Hybrid Systems and Compositionality },
author = {Frehse, Goran},
year = {2006},
booktitle = {FORMATS 2006},
pages = {200-214},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
Home > Verimag > Publications
bibtex
@inproceedings{Fre06,
title = { On Timed Simulation Relations for Hybrid Systems and Compositionality },
author = {Frehse, Goran},
year = {2006},
booktitle = {FORMATS 2006},
pages = {200-214},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
title = { On Timed Simulation Relations for Hybrid Systems and Compositionality },
author = {Frehse, Goran},
year = {2006},
booktitle = {FORMATS 2006},
pages = {200-214},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
Browsing
News
Seminars
- Seminars
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 18 January 2019 Chi-hong Cheng: When neural networks meet dependability
- 21 January 2019 Sergio Yovine: Formal specification and implementation of an automated pattern-based parallel-code (...)
- 22 January 2019 Georg Struth: Verifying hybrid systems with modal kleene algebra
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 7 February 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis: The Refinement Calculus of Reactive Systems Toolset
- Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil: A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs
- Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem: Left-Eigenvectors Are Certificates of the Orbit Problem
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Synchronous Gathering without Multiplicity Detection: a Certified Algorithm
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
