Home
>
Verimag
>
Workshops and Conferences
>
20 years of Verimag
>
20 years of Verimag
20 years of Verimag
Program
News
NEWS
Joseph Sifakis elected member of the National Academy of Sciences
New publications
Some Recent Publications
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Erwan Jahier, Karine Altisen, Stéphane Devismes:
Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certified Round Complexity of Self-Stabilizing Algorithms
Léo Gourdin:
Lazy Code Transformations in a Formally Verified Compiler
Jobs and internships
Jobs and internships
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
PERSYVAL Master 2 Scholarships
[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
[Funded PhD] Formal Modeling and Verification of Parameterized and Distributed Systems
[Funded PhD] Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level
[Funded PhD] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
[Funded PhD] Quantitative analysis of software security against adaptive attacks
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Browsing
Sections
Verimag
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
20 years of Verimag, September
PERSYVAL-Lab Summer School (…)
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 (…)
ASL 2022 : Advances in Separat
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
Journée informatique frugale
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 2011,
VECoS 2018
VVS
WCET 2013, July 9, 2013, (…)
WFAC’2008 - October 19th, (…)
Workshop CAPITAL
Workshop CAPITAL 2022: sCalab
Workshop on Timing Anomalies
RESSI 2017 : les Rendez-vous
Seminars
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.13
+
AHUNTSIC
[CC License]
info visites
4007579
English
Français