Accueil
>
Archives
>
RSD (Archive)
>
Obsolete
>
Rigorous Design of Component-Based Systems — The BIP (...)
>
Case Studies
>
Case Studies
Case Studies
Cholesky Factorization
MJPEG Decoder
Dala Robot
Heterogeneous Communication System
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
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar:
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Salim CHEHIDA, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Karine Altisen, Stéphane Devismes, Erwan Jahier:
SASA: a SimulAtor of Self-stabilizing Algorithms
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
Navigation
Rubriques
Verimag
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1876609
English
Français