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
Alexandre Rocca:
Formal methods for modelling and validation of biological models
Mohammad Al Khatib, Antoine Girard, Thao Dang:
Timing Contracts for Multi-Core Embedded Control Systems
Victor Magron, Alexandre Rocca, Thao Dang:
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
A Generalized Digraph Model for Expressing Dependencies
Nikolaos Kekatos:
Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
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
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Seminars
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.28
+
AHUNTSIC
[CC License]
info visites
1169493
English
Français