Login / Signup
Samuel Chassot
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 5
Top Topics
Complex Scenes
Hash Table
Top Venues
CoRR
IJCAR (1)
</>
Publications
</>
Samuel Chassot
,
Viktor Kuncak
Verifying a Realistic Mutable Hash Table - Case Study (Short Paper).
IJCAR (1)
(2024)
Andrea Veneziano
,
Samuel Chassot
SVSHI: Secure and Verified Smart Home Infrastructure.
CoRR
(2022)
Samuel Chassot
,
Viktor Kuncak
Verified Mutable Data Structures.
CoRR
(2021)
Luca Barras
,
Samuel Chassot
,
Daniel Filipe Nunes Silva
Few-Shot Unsupervised Image-to-Image Translation on complex scenes.
CoRR
(2021)
Samuel Chassot
Development of a NIC driver in C#.
CoRR
(2021)