Home
>
Archives
>
PACSS (Archive)
>
Research Topics
>
Research Topics
Research Topics
Verification by automata and acceleration-based approaches
Security properties evaluation
Proofs of correctness using Coq
Code analysis for vulnerability detection
Abstract interpretation and decision procedures
News
NEWS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Seminars
Seminars
29 September 2022
Merigoux Denis:
Rules, computation and politics: scrutinizing unnoticed programming choices in french (...)
27 October 2022
Hugo Gimbert:
Les algorithmes de parcoursup
New publications
Some Recent Publications
Stéphane Devismes, Pascal Lafourcade:
Un jour sans fin
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Guillaume Brau, Mohammed Foughali:
Contract-Based Verification of Model Transformations: A Formally Founded Approach
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.16
+
AHUNTSIC
[CC License]
info visites
1878029
English
Français