Accueil
>
Verimag
>
Séminaires
Détails sur le séminaire
Grande Salle de VERIMAG
16 février 2010 - 14h00
Automated Invariant Generation for the Verification of Real-Time Systems
par
Bahareh Badban
de University of Konstanz
Résumé :
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
Actualités
ACTUALITÉS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Séminaires
Séminaires
29 septembre 2022
Merigoux Denis:
Rules, computation and politics: scrutinizing unnoticed programming choices in french (...)
27 octobre 2022
Hugo Gimbert:
Les algorithmes de parcoursup
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Output-sensitive Information flow analysis
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Stéphane Devismes, Pascal Lafourcade:
Un jour sans fin
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] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[master] formally verified hash-consing
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1876598
English
Français