![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Lina Marsso
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2019
- [b1]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
Journal Articles
- 2023
- [j2]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]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)
Conference and Workshop Papers
- 2024
- [c16]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 - [c15]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 - 2023
- [c14]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) 2023: 374-396 - [c13]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]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 - 2022
- [c11]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]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]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]Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe:
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS 2022: 60-117 - 2020
- [c7]Lina Marsso, Radu Mateescu, Wendelin Serwe:
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS 2020: 219-235 - [c6]Lina Marsso:
Specifying a Cryptographical Protocol in Lustre and SCADE. MARS@ETAPS 2020: 149-199 - 2019
- [c5]Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. IFM 2019: 360-378 - 2018
- [c4]Lina Marsso, Radu Mateescu, Wendelin Serwe:
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) 2018: 211-228 - [c3]Josip Bozic
, Lina Marsso, Radu Mateescu, Franz Wotawa
:
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS 2018: 1-40 - [c2]Hubert Garavel, Lina Marsso:
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT@ETAPS 2018: 41-87 - 2017
- [c1]Hubert Garavel, Lina Marsso:
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. MARS@ETAPS 2017: 129-183
Editorship
- 2023
- [e1]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]
Informal and Other Publications
- 2024
- [i5]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) - [i4]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) - [i3]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) - 2022
- [i2]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]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR abs/2209.04052 (2022)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint