Home
>
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
News
NEWS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Conferences
July 31, 2022
ASL 2022 : Advances in Separation Logic
Seminars
Seminars
7 July 2022
Franz Meyer:
Towards efficient active learning of pdfa
12 July 2022
Dejan Nickovic:
Information-flow interfaces
New publications
Some Recent Publications
Salim CHEHIDA, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga:
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar:
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
Sylvain Boulmé:
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
Jobs and internships
Jobs and internships
(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
Browsing
Sections
Verimag
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.15
+
AHUNTSIC
[CC License]
info visites
1863262
English
Français