4 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 4 cited
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Lina Marsso, Radu Mateescu, Lucie Muller +1
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. T…
cs.LO2020★ 2 cited
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour +1
Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at v…