4 citations · 4 across the 1 of their papers we have counts for
2 papers
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.CR2018
A Formal TLS Handshake Model in LNT
Josip Bozic, Lina Marsso, Radu Mateescu +1
Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These…