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).
Accueil > Verimag > Actualités
Verimag au Forum Méthodes Formelles
Goran Frehse
Voir en ligne : Forum Méthodes Formelles
Navigation
Actualités
Séminaires
- Séminaires
- 7 décembre 2021 Alessio Mansutti: Efficient complementation of semilinear sets and the vc dimension of presburger (...)
- 9 décembre 2021 Le séminaire de Charlie Jacomme: est annulé ou reporté
- 13 décembre 2021 Joseph Sifakis: Specification and validation of autonomous driving systems: a multilevel semantic (...)
- 13 janvier 2022 Benjamin Blanc: Formal methods in practice: model checking in the railway industry
Nouvelles publications
- Quelques Publications
Récentes
- Salim CHEHIDA, Abdelhakim Baouya, Diego Fernández Alonso, Paul -, Guillemette Massot, Marius Bozga, Saddek Bensalem: Asset-Driven Approach for Security Risk Assessment in IoT Systems
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Felix Ingrand: Runtime Verification of Timed Properties in Autonomous Robots
Offres d'emploi et stages
- Offres d'emploi et stages
- PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
- (un)decidability of polyhedral invariant inference
- 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] 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
