default search action

combined dblp search
author search
venue search
publication search

ask others

Lina Marsso

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FengMYBAMTSSIR024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FengMYBAMTSSIR024
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: 214:1-214:12
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AutiliBFMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AutiliBFMS24
Marco Autili, Alessio Bucaioni, Gianluca Filippone, Lina Marsso, Gian Luca Scoccia:
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024). ASE Workshops 2024: 22-23
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FengMYSBAMTBCCC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FengMYSBAMTBCCC24
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. RE 2024: 129-141
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-05673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-05673
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 abs/2401.05673 (2024)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-19401
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-19401
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik:
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. CoRR abs/2402.19401 (2024)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-12335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-12335
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 abs/2404.12335 (2024)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-09223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-09223
Nick Feng, Lina Marsso, Marsha Chechik:
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. CoRR abs/2409.09223 (2024)
2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jirs/HorelLMMLMPRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/HorelLMMLMPRS23
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): 59 (2023)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23
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): 20-36 (2023)
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FengMSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FengMSC23
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) 2023: 374-396
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FengMYTCCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FengMYTCCC23
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HuMDSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HuMDSC23
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: 541-552
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/se4safeml/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se4safeml/2023
Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein:
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. ACM 2023 [contents]
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HorelLMMMPRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HorelLMMMPRS22
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: 532-537
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HuMCSSC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HuMCSSC22
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: 1145-1156
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HuM0C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HuM0C22
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: 49-60
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09885
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09885
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe:
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS 2022: 60-117
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-03930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03930
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 abs/2202.03930 (2022)
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-04052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-04052
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR abs/2209.04052 (2022)
2020
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/Marsso0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/Marsso0S20
Lina Marsso, Radu Mateescu, Wendelin Serwe:
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS 2020: 219-235
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-14212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14212
Lina Marsso:
Specifying a Cryptographical Protocol in Lustre and SCADE. MARS@ETAPS 2020: 149-199

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Marsso19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Marsso19
Lina Marsso:
On Model-based Testing of GALS Systems. (Etude de génération de tests à partir d'un modèle pour les systèmes GALS). Grenoble Alpes University, France, 2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Marsso0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Marsso0PS19
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. IFM 2019: 360-378
2018
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Marsso0S18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Marsso0S18
Lina Marsso, Radu Mateescu, Wendelin Serwe:
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) 2018: 211-228
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10319
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa:
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS 2018: 1-40
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10322
Hubert Garavel, Lina Marsso:
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT@ETAPS 2018: 41-87
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GaravelM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GaravelM17
Hubert Garavel, Lina Marsso:
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. MARS@ETAPS 2017: 129-183

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.