Le Forum Méthodes Formelles est un cycle de conférences consacré aux méthodes formelles de développement. La prochaine journée FMF8 aura lieu le 10 Octobre 2017, avec une programmation sur le thème du "Véhicule autonome et méthodes formelles". Verimag interviendra avec un exposé intitulé "Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes", qui sera présenté par Goran Frehse (MCF UGA).
Home > Verimag > Actualités
Verimag at Formal Methods Forum
Goran Frehse
View online : Forum Méthodes Formelles
Browsing
New publications
- Some Recent Publications
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
- David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
Jobs and internships
- Jobs and internships
- 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
