Accueil
>
Archives
>
RSD (Archive)
>
Thèmes de recherche
>
Modeling Component-Based Systems
>
Modeling Component-Based Systems
Modeling Component-Based Systems
[section under construction]
The BIP Framework
BIP Extensions
Language Embedding
Actualités
Séminaires
Séminaires
9 novembre 2026
Christine Rizkallah:
Towards facilitating verification across language boundaries
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)
Nouvelles publications
Quelques Publications Récentes
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian:
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
57037008
English
Français