Error 404
Error in query: No results found.
The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.
Select
previous page
Search
Home
Site Map
New publications
Recent Publications
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems
Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux:
Online and offline scheduling with cache-related preemption delays
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
Formally Verifying Flow Properties in Industrial Systems
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Vincent Villain:
Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge
Arvind S. Adimoolam, Thao Dang:
Template complex zonotopes for stability and invariant verification
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
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Documents
Teams
Pacss
RSD
Synchrone
Tempo
Contact
Whom to contact
How to reach us
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.0.26
+
AHUNTSIC
[CC License]
info visites
990871
English
Français