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
News
Seminars
New publications
- Some Recent Publications
- Thomas VIGOUROUX, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet: BAXMC: a CEGAR approach to Max\# SAT
- Joseph Sifakis: Testing System Intelligence
- Marius Bozga, Lucas Bueri, Radu Iosif: On an Invariance Problem for Parameterized Concurrent Systems
- Claire Maiza: Hardware and software analyses for precise and efficient timing analysis
Jobs and internships
- Jobs and internships
- [Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
- PERSYVAL Master 2 Scholarships
- Measures against speculative attacks in a certified optimizing compiler
- Security counter-measures in a certified optimizing compiler
- Verified hash tables and hash-consing
- [master/PhD] Formally verified optimizations for safety-critical embedded code
- [master/PhD] Static analysis of “pseudo-LRU” caches
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
- [Master] Simulation of Distributed Algorithms
- [Master]Leakage in presence of an active and adaptive adversary
- [PhD] Logical Foundations of Self-Adapting Distributed Systems
- [PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences