Home
>
Verimag
>
Ongoing Phd Thesis
>
Ongoing Phd Thesis
Ongoing Phd Thesis
Etienne Boespflug
(2018 - 2023)
Leo Gourdin
(2020 - 2024)
Hamzah Al-Qadasi
(2020 - 2024)
Soline Ducousso
(2020 - 2023)
Ihab Alshaer
(2020 - 2023)
Thomas Vigouroux
(2021 - 2024)
Bob Aubouin-Pairault
(2021 - 2024)
Lucas Bueri
(2021 - 2024)
Hadi Dayekh
(2021 - 2024)
Daniel De Carvalho
(2021 - 2024)
Alban Reynaud
(2022 - 2025)
Oussama Oulkaid
(2022 - 2025)
Ana Maria Gomez Ruiz
(2022 - 2025)
Abderrahmane Bouguern
(2023 - 2026)
Weicheng He
(2023 - 2026)
Alexandre Berard
(2023 - 2026)
Benjamin Bonneau
(2023 - 2026)
Baptiste De Go?r De Herve
(2023 - 2026)
Basile Gros
(2023 - 2026)
News
NEWS
CADE-24 Skolem Award
Seminars
Seminars
12 October 2023
Nicola Gigante:
Temporal logics modulo theories for infinite-state verification
19 October 2023
Michael Foster:
Active inference of extended finite state machines without reset
New publications
Some Recent Publications
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Reasoning about distributed reconfigurable systems
Thomas VIGOUROUX, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet:
BAXMC: a CEGAR approach to Max\# SAT
Jobs and internships
Jobs and internships
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
PERSYVAL Master 2 Scholarships
Measures against speculative attacks in a certiļ¬ed optimizing compiler
Security counter-measures in a certiļ¬ed optimizing compiler
Verified hash tables and hash-consing
[master/PhD] Formally verified optimizations for safety-critical embedded code
[master/PhD] Static analysis of āpseudo-LRUā caches
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
[Master] Simulation of Distributed Algorithms
[Master]Leakage in presence of an active and adaptive adversary
[PhD] Logical Foundations of Self-Adapting Distributed Systems
[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
Seminars
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2088995
English
FranƧais