Lina Marsso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2025 | ICSE | LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. | Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik |
| 2025 | ISSRE | Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology. | Zhenyu Yang, Ettore Merlo, Clment Benesse, Lina Marsso |
| 2025 | RE | Welcome to RETRAI 2025 from the Chairs. | Lina Marsso, Isobel Standen, Walid Maalej |
| 2025 | WACV | Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. | Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | RE | Normative Requirements Operationalization with Large Language Models. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2023 | CAV | Early Verification of Legal Compliance via Bounded Satisfiability Checking. | Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik |
| 2022 | DATE | 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 |
| 2022 | ICSE | 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 |
| 2022 | ISSRE | What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. | Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik |
| 2019 | IFM | Asynchronous Testing of Synchronous Components in GALS Systems. | Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe |
| 2018 | TACAS | TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. | Lina Marsso, Radu Mateescu, Wendelin Serwe |