Lina Marsso

Email: lina (dot) marsso (at) inria (dot) fr

Address: Inria Grenoble - Rhône-Alpes
655, avenue de l'Europe
Montbonnot Saint-Martin
38334 SAINT-ISMIER CEDEX
FRANCE

About

I am a third year PhD student, member of the CONVECS research team (Inria Grenoble - Rhône-Alpes and LIG). I received an MSc degree in computer science in 2016 from the University of Grenoble. Currently, I am working in software validation under the supervision of Radu Mateescu, Ioannis Parissis, and Wendelin Serwe.

I am developing new methods to automate test generation for Globally Asynchronous Locally Synchronous (GALS) systems. To reach this objective, we model GALS applications, explore the model on the fly, integrate synchronous and asynchronous testing techniques.

My research interests include formal methods, process algebra, model-based testing, program analysis and verification.

Publications

For my recent publications [click here (DBLP)]

Formal models