14 citations
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- Université Grenoble AlpesFR2 papers
- Canada Research ChairsCA1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut polytechnique de GrenobleFR1 paper
- University of TorontoCA1 paper
- University of TriesteIT1 paper
- University of UrbinoIT1 paper
Showing cs.LOShow all
3 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.LO2015★ 9 cited
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Wendelin Serwe
This paper presents two formal models of the Data Encryption Standard (DES), a first using the international standard LOTOS, and a second using the more recent process calculus LNT…
cs.LO2013★ 12 cited
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
Frédéric Lang, Radu Mateescu
Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in incrementally incorporating…