Accueil
>
Archives
>
Synchrone (Archive)
>
Thèmes de recherche Synchrone
>
Thèmes de recherche Synchrone
Thèmes de recherche Synchrone
Languages and Tools for Critical Real-Time Systems
Virtual Prototyping and Simulation
Distributed Algorithms and Applications to Embedded Systems
Automatic Testing of Reactive Systems
Past Research Topics
Actualités
ACTUALITÉS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Conférences
July 31, 2022
ASL 2022 : Advances in Separation Logic
Séminaires
Séminaires
7 juillet 2022
Franz Meyer:
Towards efficient active learning of pdfa
Nouvelles publications
Quelques Publications Récentes
Cyril Six:
Optimized and formally-verified compilation for a VLIW processor
Salim CHEHIDA, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Guillaume Brau, Mohammed Foughali:
Contract-Based Verification of Model Transformations: A Formally Founded Approach
Sylvain Boulmé:
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
Offres d'emploi et stages
Offres d'emploi et stages
(un)decidability of polyhedral invariant inference
Thèse CIFRE : Cybersecurity - Fault injection attacks
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
verified decomposition of arithmetic operators
Verified global value numbering
[master or PhD] Convex polyhedra in floating point
[master] automatic insertion of countermeasures in a verified compiler
[Master] Decision Procedures for Separation Logic Modulo Theories of Data
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[master] formally verified hash-consing
[Master] Local Reasoning about Reconfigurable Component-based Systems
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
Navigation
Rubriques
Verimag
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.15
+
AHUNTSIC
[CC License]
info visites
1860929
English
Français