Lina Marsso

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Autonomous Vehicles

Comparative Study

Top Venues

Publications

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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. CoRR (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Towards a Formal Framework for Normative Requirements Elicitation. ASE (2023)
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. ESEC/SIGSOFT FSE (2023)
Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. 107 (4) (2023)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) (2023)
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
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE (2022)
Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE (2022)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR (2022)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. ISSRE (2022)
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS (2022)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR (2022)
Lina Marsso
Specifying a Cryptographical Protocol in Lustre and SCADE. MARS@ETAPS (2020)
Lina Marsso, Radu Mateescu, Wendelin Serwe
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS (2020)
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
Asynchronous Testing of Synchronous Components in GALS Systems. IFM (2019)
Lina Marsso, Radu Mateescu, Wendelin Serwe
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) (2018)
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS (2018)
Hubert Garavel, Lina Marsso
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT@ETAPS (2018)
Hubert Garavel, Lina Marsso
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. MARS@ETAPS (2017)