Samuel Chassot

According to our database, Samuel Chassot authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study.

Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Verified invertible lexer using regular expressions and DFAs.

Samuel Chassot, Viktor Kuncak

CoRR, 2024

Verifying a Realistic Mutable Hash Table - Case Study (Short Paper).

Samuel Chassot, Viktor Kuncak

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2022

SVSHI: Secure and Verified Smart Home Infrastructure.

Andrea Veneziano, Samuel Chassot

CoRR, 2022

2021

Development of a NIC driver in C#.

Samuel Chassot

CoRR, 2021

Verified Mutable Data Structures.

Samuel Chassot, Viktor Kuncak

CoRR, 2021

Few-Shot Unsupervised Image-to-Image Translation on complex scenes.

Luca Barras, Samuel Chassot, Daniel Filipe Nunes Silva

CoRR, 2021