Yanhong Liu
FoToVP 2008-2009
Analytical versus computational models for the performance analysis of embedded systems.
Navigation
Actualités
Séminaires
- Séminaires
- 28 mars 2019 Olivier Vidal: Matières premières et énergie à l’échelle mondiale dans le contexte de la transition (...)
- 1er avril 2019 Edward a. Lee: Living digital beings
- 4 avril 2019 Radu Iosif: Checking deadlock-freedom of parametric component-based systems
- 5 avril 2019 Radu Iosif: On the expressive completeness and complexity of prenex separation logic
- 29 avril 2019 Invited Speakers: Journée thématique verimag : many-core kalray mppa, implementation and (...)
Nouvelles publications
- Publications
Récentes
- Amaury Graillat: Code Generation for Multi-Core Processor with Hard Real-Time Constraints
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Pascal Fradet, Maxime Lesourd, Jean-Franç cois Monin, Sophie Quinton: A Generic Coq Proof of Typical Worst-Case Analysis
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
Offres d'emploi et stages
- Offres d'emploi et stages
- 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
