Lina Marsso

39 papers A* 4A 5B 1C 1Journal 13Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems.
CoRR
Everaldo Silva Júnior, Lina Marsso, Ricardo Caldas, Marsha Chechik, Genaína Nunes Rodrigues
2026 J jnl
Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents.
CoRR
Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend
2025 A conf
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance.
WACV
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
2025 J jnl
Bounded satisfiability checking of $\hbox {FOL}^*$ formulas with aggregations.
Formal Methods Syst. Des.
Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik
2025 A conf
Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology.
ISSRE
Zhenyu Yang, Ettore Merlo, Clément Benesse, Lina Marsso
2025 — conf
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements.
ICSE Companion
Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025 J jnl
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements.
CoRR
Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025 — ed.
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025.
ASQAP
Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso
2025 J jnl
Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024.
ACM SIGSOFT Softw. Eng. Notes
Marco Autili, Alessio Bucaioni, Gianluca Filippone, Lina Marsso, Gian Luca Scoccia
2025 — conf
Untangling Shared Phenomena for Improving Analysis of Normative Requirements.
MO2RE
Junwei Quan, Lina Marsso, Dalal Alrajeh, Marsha Chechik
2025 — conf
Welcome to RETRAI 2025 from the Chairs.
REW
Lina Marsso, Isobel Standen, Walid Maalej
2024 — conf
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024).
ASE Workshops
Marco Autili, Alessio Bucaioni, Gianluca Filippone, Lina Marsso, Gian Luca Scoccia
2024 A* conf
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
ICSE
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
2024 J jnl
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
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
2024 J jnl
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance.
CoRR
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
2024 A* conf
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
ASE
Nick Feng, Lina Marsso, Marsha Chechik
2024 J jnl
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
CoRR
Nick Feng, Lina Marsso, Marsha Chechik
2024 A conf
Normative Requirements Operationalization with Large Language Models.
RE
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
2024 J jnl
Normative Requirements Operationalization with Large Language Models.
CoRR
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
2023 — conf
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse.
ESEC/SIGSOFT FSE
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik
2023 — conf
Early Verification of Legal Compliance via Bounded Satisfiability Checking.
CAV (3)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2023 — ed.
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023
SE4SafeML@SIGSOFT FSE
Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein
2023 A* conf
Towards a Formal Framework for Normative Requirements Elicitation.
ASE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2023 J jnl
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes
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
2023 J jnl
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.
J. Intell. Robotic Syst.
Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2022 J jnl
Bounded Satisfiability Checking of Metric First-order Temporal Logic.
CoRR
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2022 — conf
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.
MARS
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
2022 A* conf
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.
ICSE
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022 J jnl
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.
CoRR
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022 A conf
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.
DATE
Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2022 A conf
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components.
ISSRE
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik
2020 C conf
Automated Transition Coverage in Behavioural Conformance Testing.
ICTSS
Lina Marsso, Radu Mateescu, Wendelin Serwe
2020 — conf
Specifying a Cryptographical Protocol in Lustre and SCADE.
MARS
Lina Marsso
2019 B conf
Asynchronous Testing of Synchronous Components in GALS Systems.
IFM
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
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
2018 — conf
A Formal TLS Handshake Model in LNT.
MARS/VPT
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
2018 — conf
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.
MARS/VPT
Hubert Garavel, Lina Marsso
2018 — conf
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.
TACAS (2)
Lina Marsso, Radu Mateescu, Wendelin Serwe
2017 — conf
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm.
MARS
Hubert Garavel, Lina Marsso