Lina Marsso

According to our database, Lina Marsso authored at least 20 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance.

Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik

CoRR, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

CoRR, 2024

2023

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.

Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman

ACM SIGSOFT Softw. Eng. Notes, October, 2023

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.

Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

J. Intell. Robotic Syst., April, 2023

DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse.

Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Early Verification of Legal Compliance via Bounded Satisfiability Checking.

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Bounded Satisfiability Checking of Metric First-order Temporal Logic.

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

CoRR, 2022

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.

Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components.

Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.

Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.

Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2020

Specifying a Cryptographical Protocol in Lustre and SCADE.

Lina Marsso

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Automated Transition Coverage in Behavioural Conformance Testing.

Lina Marsso, Radu Mateescu, Wendelin Serwe

Proceedings of the Testing Software and Systems, 2020

2019

On Model-based Testing of GALS Systems. (Etude de génération de tests à partir d'un modèle pour les systèmes GALS).

Lina Marsso

PhD thesis, 2019

Asynchronous Testing of Synchronous Components in GALS Systems.

Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.

Hubert Garavel, Lina Marsso

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

A Formal TLS Handshake Model in LNT.

Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa

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

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.

Lina Marsso, Radu Mateescu, Wendelin Serwe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm.

Hubert Garavel, Lina Marsso

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017