research
∙
03/18/2022
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
We present two behavioral models of an autonomous vehicle and its intera...
share
research
∙
11/16/2021
Is CADP an Applicable Formal Method?
CADP is a comprehensive toolbox implementing results of concurrency theo...
research
∙
04/28/2020
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Asynchronous circuits have several advantages for security applications,...
research
∙
03/23/2018