E-LIB Suche - Ergebnisse für: Marsso, Lina

1

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 2643-2654 , 2024

Link: https://doi.org/10.1145/..

2

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Feng, Nick ; Marsso, Lina ; Getir Yaman, Sinem... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

3

Verifying Collision Risk Estimation using Autonomous Drivin..:

Horel, Jean-Baptiste ; Ledent, Philippe ; Marsso, Lina...
Journal of Intelligent & Robotic Systems. 107 (2023) 4 - p. , 2023

Link: https://doi.org/10.1007/..

4

Early Verification of Legal Compliance via Bounded Satisfia..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Feng, Nick ; Marsso, Lina ; Sabetzadeh, Mehrdad. - p. 374-396 , 2023

Link: https://doi.org/10.1007/..

5

Towards a Research Agenda for Understanding and Managing Un..:

Weyns, Danny ; Calinescu, Radu ; Mirandola, Raffaela...
ACM SIGSOFT Software Engineering Notes. 48 (2023) 4 - p. 20-36 , 2023

Link: https://doi.org/10.1145/..

6

DecompoVision: Reliability Analysis of Machine Vision Compo..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Hu, Boyue Caroline ; Marsso, Lina ; Dvornik, Nikita.. - p. 541-552 , 2023

Link: https://dl.acm.org/doi/1..

7

Proceedings of the 1st International Workshop on Dependabil..:

Chechik, Marsha ; Elbaum, Sebastian ; Hu, Boyue Caroline.. , 2023

Link: https://dl.acm.org/doi/1..

8

Towards a Formal Framework for Normative Requirements Elici..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 1776-1780 , 2023

Link: https://doi.org/10.1109/..

9

If a Human Can See It, So Should Your System: Reliability R..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Hu, Boyue Caroline ; Marsso, Lina ; Czarnecki, Krzysztof... - p. 1145-1156 , 2022

Link: https://doi.org/10.1145/..

10

If a human can see it, so should your system : reliabili..:

, In: Proceedings of the 44th International Conference on Software Engineering,

Hu, Boyue Caroline ; Marsso, Lina ; Czarnecki, Krzysztof... - p. 1145-1156 , 2022

Link: https://dl.acm.org/doi/1..

11

What to Check: Systematic Selection of Transformations for ..:

, In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE),

Hu, Boyue Caroline ; Marsso, Lina ; Czarnecki, Krzysztof. - p. 49-60 , 2022

Link: https://doi.org/10.1109/..

12

Automated Transition Coverage in Behavioural Conformance Te..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,

Marsso, Lina ; Mateescu, Radu ; Serwe, Wendelin - p. 219-235 , 2020

Link: https://doi.org/10.1007/..

13

Asynchronous Testing of Synchronous Components in GALS Syst..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Marsso, Lina ; Mateescu, Radu ; Parissis, Ioannis. - p. 360-378 , 2019

Link: https://doi.org/10.1007/..

14

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Marsso, Lina ; Mateescu, Radu ; Serwe, Wendelin - p. 211-228 , 2018

Link: https://doi.org/10.1007/..

15

Analyzing and Debugging Normative Requirements via Satisfia..:

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir...
http://arxiv.org/abs/2401.05673. , 2024

Link: http://arxiv.org/abs/240..