Accueil
>
Verimag
>
Verimag
Verimag
La science taille XX’Elles
Best Paper Award at NETYS’2020
Actualités et faits marquants
Présentation
Membres
Publications
Avec comité de lecture
Rapports Techniques
Outils
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Séminaires Verimag
Documents
titre documents joints
Poster
11 février 2010
info document : PDF
793.5 ko
Perspectives
11 février 2010
info document : PDF
1.1 Mo
Rapport d’activités
11 février 2010
info document : PDF
1.8 Mo
Actualités
ACTUALITÉS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Conférences
July 31, 2022
ASL 2022 : Advances in Separation Logic
Séminaires
Séminaires
7 juillet 2022
Franz Meyer:
Towards efficient active learning of pdfa
Nouvelles publications
Quelques Publications Récentes
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar:
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Output-sensitive Information flow analysis
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Lamani Anissa:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality
Offres d'emploi et stages
Offres d'emploi et stages
(un)decidability of polyhedral invariant inference
Thèse CIFRE : Cybersecurity - Fault injection attacks
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
verified decomposition of arithmetic operators
Verified global value numbering
[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
Navigation
Rubriques
Verimag
Membres
Publications
Outils
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.15
+
AHUNTSIC
[CC License]
info visites
1862036
English
Français