Home
>
Verimag
>
Ongoing Phd Thesis
PhD
Lucas Bueri is preparing a PhD thesis in Verimag from September 2021 to August 2024, under the supervision of
Radu Iosif
Radu Iosif
Related Lab Topic :
Mohytos
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
News
Seminars
Seminars
6 February 2023
Bruno Ferres:
Using model checking for electrical rule checking of integrated circuits at (...)
20 February 2023
Anais Durand:
Exploration of 3d environments by swarms of luminous autonomous robots.
23 February 2023
Léo Robert:
How fast do you heal? a taxonomy for post-compromise security in secure-channel (...)
2 March 2023
Arthur Perais:
Exploring instruction fusion opportunities in general purpose processors
New publications
Some Recent Publications
Karine Altisen, Stéphane Devismes, Erwan Jahier:
sasa: a SimulAtor of Self-stabilizing Algorithms
Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Reasoning about distributed reconfigurable systems
Jobs and internships
Jobs and internships
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Measures against speculative attacks in a certified optimizing compiler
Security counter-measures in a certified optimizing compiler
Thèse CIFRE : Cybersecurity - Fault injection attacks
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] Analyzing fault parameters triggering timing anomalies
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
[Master] Simulation of Distributed Algorithms
[Master] Sûreté des essaims de robots mobiles
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Contact
|
Site Map
|
Site powered by SPIP 3.2.17
+
AHUNTSIC
[CC License]
info visites
1997029
English
Français