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
Hamza Rihani:
Many-Core timing Analysis of Real-Time Systems
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin:
Parallel Code Generation of Synchronous Programs for a Many-core Architecture
Mohammad Al Khatib, Antoine Girard, Thao Dang:
Scheduling of Embedded Controllers Under Timing Contracts
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring
Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke:
Ascertaining Uncertainty for Efficient Exact Cache Analysis
Alexandre Rocca, Victor Magron, Thao Dang:
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
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
988453
English
Français