Home
>
Verimag
>
Workshops and Conferences
>
20 years of Verimag
>
20 years of Verimag
20 years of Verimag
Program
News
Seminars
Seminars
28 January 2021
Etienne André:
Symbolic monitoring against specifications parametric in time and data
11 February 2021
Franck Pommereau:
To be announced
New publications
Some Recent Publications
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
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Vers l'infini et au delà
Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Countermeasures Optimization in Multiple Fault-Injection Context
Mohammed Foughali:
A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
Jobs and internships
Jobs and internships
Certified compilation for security
Convex polyhedra in floating point
Decision Procedures for Separation Logic Modulo Theories of Data
Local Reasoning about Reconfigurable Component-based Systems
PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
Postdoctoral position at VERIMAG
Simulation of Distributed Algorithms
Verifying Concurrent Systems with Automata over Infinite Alphabets
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
20 years of Verimag, September
PERSYVAL-Lab Summer School on
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
AVM 2014
AVoCS 2019
BEeSy 2015
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
RESSI 2017 : les Rendez-vous
Seminars
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.13
+
AHUNTSIC
[CC License]
info visites
1699979
English
Français