Accueil
>
Archives
>
RSD (Archive)
>
Thèmes de recherche
>
Modeling Component-Based Systems
BIP Extensions
[article under construction]
Navigation
Rubriques
Verimag
Axes
Contact
Plan du site
Acces au Batiment
Actualités
Séminaires
Séminaires
12 novembre 2026
David Monniaux:
L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires
16 novembre 2026
Benjamin Bonneau:
Propagation of semantic information in a verified compilation pipeline (Phd)
19 novembre 2026
Clement Chavanon:
Barocq: a high-level programming language for efficient and verifiable embedded system (…)
25 novembre 2026
Dominique Larchey-wendling:
Constructive substitutes for kőnig’s lemma
26 novembre 2026
Basile Gros:
Petites inversions par proxy pour rocq (Phd)
3 décembre 2026
Yann Kieffer:
Fast and reliable exact real computations through functional programming.
Nouvelles publications
Quelques Publications Récentes
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin:
Specification and model-checking of space systems in the TASTE toolset
Offres d'emploi et stages
Offres d'emploi et stages
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
57317645
English
Français