Home > Verimag > Jobs and Internships > Jobs and Internships
Jobs and Internships
Masters
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Models of Distributed Algorithms
- Self-Stabilization in TVG
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Decision Procedure for Equivalence Relations
- Simulation of Distributed Algorithms
