Accueil
>
Verimag
>
Séminaires
>
Séminaires
Séminaires
Séminaires Verimag
Archives
Recorded Mohytos seminars
Actualités
ACTUALITÉS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Conférences
Workshop CAPITAL 2022 : sCalable And PrecIse Timing AnaLysis for multicore platforms
July 31, 2022
ASL 2022 : Advances in Separation Logic
Séminaires
Séminaires
31 mai 2022
Matheus Schuh:
Safe implementation of hard real-time applications on many-core platforms (Phd)
3 juin 2022
Capital Workshop :
Workshop capital 2022 : scalable and precise timing analysis for multicore (...)
14 juin 2022
Joel Goossens:
Real-time computing, foundation
16 juin 2022
Joel Goossens:
Periodicity of real-time priority driven schedulers with preemption delay on (...)
21 juin 2022
Joel Goossens:
Real-time computing, multiprocessor scheduling problems
Nouvelles publications
Quelques Publications Récentes
Salim CHEHIDA, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Abdelhakim Baouya, Salim CHEHIDA, Samir Ouchani, Saddek Bensalem, Marius Bozga:
Generation and verification of learned stochastic automata using k-NN and statistical model checking
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
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
[L3/M1/M2 Internship] Topics in Formally Verified Compilation
[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
Membres
Publications
Outils
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Documents
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
1851585
English
Français