Vincent Leildé

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Primary Purpose

Domain Independent

Asynchronous Circuits

Verification Method

Top Venues

Publications

Vincent Ribaud, Vincent Leildé, Cyrielle Féron, Ashwarya Arora, Sarah Le Bihan
Engineering Projects "Savanturiers de l'Ingénierie". HICSS (2019)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
A Problem-Oriented Approach to Critical System Design and Diagnosis Support. MEDI Workshops (2018)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
Domain-Oriented Verification Management. MEDI (2018)
Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
A Diagnosis Framework for Critical Systems Verification (Short Paper). SEFM (2017)