Wendelin Serwe | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Rob van Glabbeek
31 publications
John P. Gallagher
14 publications
Hubert Garavel
6 publications
Lina Marsso
6 publications
Radu Mateescu
4 publications
Aymane Bouzafour
1 publication
Marc Renaudin
1 publication
Lucie Muller
1 publication
Frédéric Lang
1 publication

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...

0 Lina Marsso, et al. ∙

research

∙ 11/16/2021

Is CADP an Applicable Formal Method?

CADP is a comprehensive toolbox implementing results of concurrency theo...

0 Hubert Garavel, et al. ∙

research

∙ 04/28/2020

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Asynchronous circuits have several advantages for security applications,...

0 Radu Mateescu, et al. ∙

research

∙ 03/23/2018

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

This volume contains the joint proceedings of MARS 2018, the third works...

0 John P. Gallagher, et al. ∙