Home
>
Verimag
>
Publications
bibtex
@incollection{CM05,
title = {From Control Loops to Real-Time Programs },
author = {Caspi, Paul and Maler, Oded},
year = {2005},
booktitle = {Handbook of Networked and Embedded Computing Systems},
publisher = {Birkh\"{a}user},
team = {SYNC, 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
Documents
Teams
Contact
Site Map
Search:
Building Access
News
NEWS
Master Scholarships for the academic year 2018-2019
Conferences
28 - 30 mai 2018
GT Verif 2018
13 July 2018
ADSL 2018
26-28 september 2018
VECoS 2018
10-13 November 2018
RV 2018
Seminars
Seminars
17 May 2018
Michael Perin:
Automatic grading: take a cegar and let the machine do your work
New publications
Recent Publications
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems
Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled:
Generation of Applicative Attacks Scenarios Against Industrial Systems
Oded Maler, Irini-Eleftheria Mens:
A Generic Algorithm for Learning Symbolic Automata from Membership Queries
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit:
Self-Stabilizing Leader Election in Polynomial Steps
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, others:
The W-SEPT Project: Towards Semantic-Aware WCET Estimation
Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau:
Collision Prevention in Distributed 6TiSCH Networks
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
[M1 internship] Modeling of Graph Topologies Using Coq
[M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[M2 internship] Models of Distributed Algorithms
Contact
|
Site Map
|
Site powered by SPIP 3.0.26
+
AHUNTSIC
[CC License]
info visites
988851
English
Français