Aymane Bouzafour

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits

Marc Renaudin, Radu Mateescu, Hubert Garavel, 2018, 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).

A 6-Wire Plug and Play Clockless Distributed On-Chip-Sensor Network in 28 nm UTBB FD-SOI

Robin Wilson, Marc Renaudin, Sylvain Engels, 2018, J. Low Power Electron..

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks pdf

Radu Mateescu, Marc Renaudin, Wendelin Serwe, 2020, MARS@ETAPS.