Téo Bernier

According to our database, Téo Bernier authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN.

Fatma Jebali, Caaliph Andriamisaina, Mathieu Jan, Wolfgang Ecker, Florian Egert, Bernhard Fischer, Alessio Burrello, Daniele Jahier Pagliari, Sara Vinco, Giuseppe Tagliavini, Ingo Feldner, Andreas Mauderer, Axel Sauer, Arnór Kristmundsson, Alexander Schober, Téo Bernier, Matti Käyrä, Ulf Schlichtmann, Rocco Jonack

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Combining Deductive Verification with Shape Analysis.

Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Towards Formal Verification of a TPM Software Stack.

Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier

Proceedings of the iFM 2023 - 18th International Conference, 2023