Login / Signup
Téo Bernier
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Model Checker
Formal Verification
Multiscale Segmentation
Geodesic Paths
Top Venues
CoRR
FASE
iFM
</>
Publications
</>
Téo Bernier
,
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
Combining Deductive Verification with Shape Analysis.
FASE
(2024)
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
,
Téo Bernier
Towards Formal Verification of a TPM Software Stack.
iFM
(2023)
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
,
Téo Bernier
Towards Formal Verification of a TPM Software Stack.
CoRR
(2023)