Home
>
Archives
>
Synchrone (Archive)
>
Synchrone Research Topics
>
Synchrone Research Topics
Synchrone Research Topics
Virtual Prototyping and Simulation
Distributed Algorithms and Applications to Embedded Systems
Automatic Testing of Reactive Systems
Past Research Topics
Languages and Tools for Critical Real-Time Systems
News
Seminars
Seminars
9 October 2025
Tiago Cogumbreiro:
Verifying gpu programs with memory access protocols
16 October 2025
Nicolas Chappe:
Representing and reasoning about nondeterministic programs
13 November 2025
Yann Herklotz:
A venir
4 December 2025
Jannik Laval:
A venir (thème cybersécu)
11 December 2025
Thaïs Baudon:
A venir (thème: compilation optimisant les représentations mémoire)
18 December 2025
Jérémie Decouchant:
A venir (theme cybersecu)
New publications
Some Recent Publications
Florence Maraninchi:
Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
Function Synthesis for Maximizing Model Counting
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian:
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs
Jobs and internships
Jobs and internships
[Funded PhD] Fault Injection Attacks: Automated Analysis of Counter-Measures At The Binary Level
[Master] Decision Procedure for Equivalence Relations
[Master]Leakage in presence of an active and adaptive adversary
[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 4.4.5
+
AHUNTSIC
[CC License]
info visites
4960950
English
Français