Few-Shot Unsupervised Image-to-Image Translation on complex scenes. - Luca Barras; Samuel Chassot; Daniel Filipe Nunes Silva (CoRR, 2021)

Verified Mutable Data Structures. - Samuel Chassot; Viktor Kuncak (CoRR, 2021)

Development of a NIC driver in C#. - Samuel Chassot (CoRR, 2021)

SVSHI: Secure and Verified Smart Home Infrastructure. - Andrea Veneziano; Samuel Chassot (CoRR, 2022)

Verifying a Realistic Mutable Hash Table - Case Study (Short Paper). - Samuel Chassot; Viktor Kuncak (IJCAR (1), 2024)

Verified invertible lexer using regular expressions and DFAs. - Samuel Chassot; Viktor Kuncak (CoRR, 2024)

Formal Autograding in a Classroom. - Dragana Milovancevic; Mario Bucev; Marcin Wojnarowski; Samuel Chassot; Viktor Kuncak (ESOP (2), 2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. - Mario Bucev; Samuel Chassot; Simon Felix; Filip Schramka; Viktor Kuncak (VMCAI (2), 2025)