Professeur des universités à l’UJF (IMAG/VERIMAG) et responsable du projet MARAE au niveau de l’UJF, Saddek Bensalem a également reçu lors de cet événement un des trois prix de la meilleure publication scientifique des programmes de recherche qui ont été remis par les dirigeants des groupes EADS, Safran et Thalès.
Accueil > Verimag > Actualités
Prix de la meilleure publication scientifique pour Saddek Bensalem
Financement du projet MARAE, prix de la meilleure publication scientifique des programmes de recherche. Le laboratoire VERIMAG est doublement distingué par la Fondation de Recherche pour l’Aéronautique et l’Espace
Voir en ligne : http://www.ujf-grenoble.fr/12749657...
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
- Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo: Learning Specifications for Labelled Patterns
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
- Proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020), Vienna, Austria, August 2020, editors Thao Dang and Stefan Ratschan
- Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: A SimulAtor of Self-stabilizing Algorithms
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
