Navigation
Actualités
Séminaires
- Séminaires
- 15 octobre 2026 Antoine Besset: Monitoring ensembliste de stl : de la prediction de violation à la commande corrective (…)
- 12 novembre 2026 David Monniaux: L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires
- 19 novembre 2026 Clement Chavanon: Barocq: a high-level programming language for efficient and verifiable embedded system (…)
- 26 novembre 2026 Basile Gros: Petites inversions par proxy pour rocq (Phd)
Nouvelles publications
- Quelques Publications
Récentes
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- 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
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 44767356
|
|
|