Home
>
Verimag
>
Seminars
Seminar details
salle A. Turing CE4
31 January 2013 - 15h00
Seminaire doctorant
by Ahlem Triki from Verimag
Résumé : TBA
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Documents
Teams
Contact
Site Map
Search:
Building Access
News
NEWS
Master Scholarships for the academic year 2018-2019
Conferences
28 - 30 mai 2018
GT Verif 2018
13 July 2018
ADSL 2018
26-28 september 2018
VECoS 2018
10-13 November 2018
RV 2018
Seminars
Seminars
17 May 2018
Michael Perin:
Automatic grading: take a cegar and let the machine do your work
New publications
Recent Publications
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore:
Leader Election in Asymmetric Labeled Unidirectional Rings
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Jonathan Salwan, Sebastien Bardin, Marie-Laure Potet:
Deobfuscation of VM based software protection
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore:
Self-stabilizing silent disjunction in an anonymous network
Franck de Goer, Roland Groz, Laurent Mounier:
Metrics for runtime detection of allocators in binaries
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
A Framework for Certified Self-Stabilization
Jobs and internships
Jobs and internships
Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
[M1 internship] Modeling of Graph Topologies Using Coq
[M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[M2 internship] Models of Distributed Algorithms
Contact
|
Site Map
|
Site powered by SPIP 3.0.26
+
AHUNTSIC
[CC License]
info visites
987649
English
Français