Home
>
Archives
>
Synchrone (Archive)
>
Some Synchrone Former Members
>
Some Synchrone Former Members
Some Synchrone Former Members
Tayeb Bouhadiba
Laure Danthony-Gonnord
David Stauch
Youssef Bouzouzou
Claude Helmstetter
Ludovic Samper
Olivier Bezet
Yanhong Liu
Jérôme Cornet
Jan Mikac
Lionel Morel
Fabien Gaucher
Yann Rémond
Muriel Jourdan
News
Seminars
Seminars
12 December 2023
Leo Gourdin:
Formal validation of intra-procedural transformations by defensive symbolic (...) (Phd)
New publications
Some Recent Publications
Paolo Torrini, Sylvain Boulmé:
A CompCert Backend with Symbolic Encryption
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem:
Formal Modelling and Security Analysis of Inter-Operable Systems
Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
Jobs and internships
Jobs and internships
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
PERSYVAL Master 2 Scholarships
[Master] Modeling and Characterizing Fault Attacks exploiting the Memory Architecture
[Master] Proved-Secure Compilation for RISC-V Processor
[Master] A Solver for Monadic Second Order Logic of Graphs of Bounded Tree-width
[Master] Analyzing fault parameters triggering timing anomalies
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
[Master] Modeling and Simulation of Modular Robots with DR-BIP
[Master] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
[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
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2138992
English
Français