Home
>
Verimag
>
Publications
bibtex
@inproceedings{UM8,
title = {Specifying Timed Patterns using Temporal Logic },
author = {Ulus, Dogan and Maler, Oded},
year = {2018},
booktitle = {Hybrid Systems: Computation and Control ({HSCC})},
pages = {167--176},
team = {TEMPO},
}
Publication Sections
Synchrone by years
Synchrone by kinds
RSD by years
RSD by kinds
PACSS by years
PACSS by kinds
Tempo by years
Tempo by kinds
Verimag by years
Verimag by kinds
Browsing
Sections
Verimag
Members
Publications
Peer reviewed
Technical Reports
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Contact
Site Map
Search:
Building Access
News
Seminars
Seminars
8 March 2019
Mathias Bourgoin:
An overview of the tezos blockchain
1 April 2019
Edward a. Lee:
Living digital beings
New publications
Recent Publications
Arvind S. Adimoolam, Thao Dang:
Template Complex Zonotope Based Stability Verification
Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke:
Fast and Exact Analysis for LRU Caches
Klaus Havelund, Doron Peled, Dogan Ulus:
DejaVu: A Monitoring Tool for First-Order Temporal Logic
Xavier Avon, Thao Dang:
Stimulus Generator for Circuit Model Generation
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives
Nicolas Basset, Ismael Jecker, Arno Pauly, Jean-Francois Raskin, Marie van den Bogaard:
Beyond Admissibility: Dominance Between Chains of Strategies
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
PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
Post-Doc and/or Research Engineer positions on Software Security
STMicroelectronics
[M2 internship] Self-Stabilization in TVG
Contact
|
Site Map
|
Site powered by SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1172432
English
Français