Accueil
>
Verimag
>
Colloques et Conférences
>
20 ans de Verimag
>
20 ans de Verimag
20 ans de Verimag
Programme
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
12 juillet 2022
Dejan Nickovic:
Information-flow interfaces
Nouvelles publications
Quelques Publications Récentes
Sylvain Boulmé:
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
Abdelhakim Baouya, Salim CHEHIDA, Samir Ouchani, Saddek Bensalem, Marius Bozga:
Generation and verification of learned stochastic automata using k-NN and statistical model checking
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Guillaume Brau, Mohammed Foughali:
Contract-Based Verification of Model Transformations: A Formally Founded Approach
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] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[master] formally verified hash-consing
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Navigation
Rubriques
Verimag
Membres
Publications
Outils
Emplois et stages
Projets
Partenaires
Colloques et Conférences
20 ans de Verimag, 26-28 (...)
École d’été PERSYVAL-Lab sur (...)
ACES’2008 September 29th, (...)
ADSL 2018
ADSL 2020 (@POPL 2020)
AlgoTel 2017
AlgoTel et CoRes 2020
ARCH14
ARTIST Summer School in (...)
ARTIST2 Summer School 2008 in
ASL 2022 : Advances in (...)
AVM 2014
AVoCS 2019
BEeSy 2015
CAPITAL Workshop - sCalable
CAS 2012, January 13, Grenoble
CAV 2009 June 26 - July (...)
EMSOFT 2009 October 12 - (...)
ETAPS 2014
Euro-Par 2016
FAC 2014
FIMCP 2013, May 2nd, Marrakech
FORMATS 2014
FORMATS 2015
GreHack 2016
GT Verif 2018
HSB 2014
HSCC 2012, Apr 17-19, Beijing
ICDCN 2012, January 3-6, (...)
IWHSB 2013
MEMOCODE 2010, July 26-28,
MEMOCODE 2011, July 11-13,
MeTRiD 2018
MOVEP 2020
RESSI 2017
RTNS 2017
RV 2018
SSS 2020
SSS’2011, October 10-12, (...)
SSS’2016
Synchron 2019
SynCoP 2014
Toward Systems Biology (...)
VECoS 2018
VVS
WCET 2013, July 9, 2013, (...)
WFAC’2008 - October 19th, (...)
Workshop CAPITAL
Workshop CAPITAL 2022 : (...)
Workshop on Timing Anomalies
RESSI 2017 : les Rendez-vous
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
1862604
English
Français