@inproceedings{DT1,
title = { Hybridization Domain Construction using Curvature Estimation },
author = {Dang, Thao and Testylier, Romain},
year = {2011},
booktitle = {Proceedings HSCC 2011},
team = {axe_Mohytos, TEMPO},
}
Home > Verimag > Publications
bibtex
Browsing
New publications
- Some Recent Publications
- Jorge Ocon, Iulia Dragomir, Andrew Coles, Lars Kunze, Robert Marc, Carlos Perez, Thierry Germa, Vincent Bissonnette, Genny Scalise, Mohammed Foughali, Konstantinos Kapellos, Raul Dominguez, Florian Cordes, Gerhard Paar, Giulio Reina: ADE: Autonomous DEcision making in very long traverses
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Infinite Grid Exploration by Disoriented Robots
- Stéphane Devismes, Pascal Lafourcade: Un jour sans fin
- Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
Jobs and internships
- Jobs and internships
- PhD position: software vulnerability analysis guided by countermeasures and attacker capabilities
- (un)decidability of polyhedral invariant inference
- PhD position: Decision Procedures for Inductive Separation Logic Modulo Data Theories
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- verified decomposition of arithmetic operators
- Verified global value numbering
- [L3/M1/M2 Internship] Topics in Formally Verified Compilation
- [M2 Internship] Leakage in presence of an active and adaptive adversary
- [M2 Internship] Security counter-measures in a certified optimizing compiler
- [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
- [M2R Internship] Patch analysis of IIoT components
- [master or PhD] Convex polyhedra in floating point
- [master] automatic insertion of countermeasures in a verified compiler
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Decision Procedures for Separation Logic Modulo Theories of Data
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [master] formally verified hash-consing
- [Master] Local Reasoning about Reconfigurable Component-based Systems
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
- [Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
