Nouvelles publications
- Quelques Publications
Récentes
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- Mohammed Foughali: A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
- Matheus Schuh, Claire Maiza, Joël Goossens, Pascal Raymond, Benoît Dupont De Dinechin: A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
Offres d'emploi et stages
- Offres d'emploi et stages
- PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
- Convex polyhedra in floating point
- PhD Position : Decision Procedures for Inductive Separation Logic Modulo Data Theories
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- PhD position : Proving Correctness of Reconfigurable Systems
- [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
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
