( en | de | ru )

 

Disambiguierung von "Giannakopoulou, Dimitra"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

, , , , , , , , , und . FMAS, Volume 329 von EPTCS, Seite 23-30. (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dimitra Giannakopoulou

Alexia Giannakopoulou

Dimitra Koch

Dimitra Kasfiki

Dimitra Tsovaltzi

 

Weitere Publikationen von Autoren mit dem selben Namen

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 503-523. Springer, (2021)Statistical Prediction of Failures in Aircraft Collision Avoidance Systems., , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 249-267. Springer, (2018)Automated Translation of Natural Language Requirements to Runtime Monitors., , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 387-395. Springer, (2022)Automated Assume-Guarantee Reasoning by Abstraction Refinement, , und . CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, Seite 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)Bridging the Gap Between Requirements and Simulink Model Analysis., , , , , und . REFSQ Workshops, Volume 2584 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET., , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 490-504. Springer, (2022)Formal Requirements Elicitation with FRET., , , , , und . REFSQ Workshops, Volume 2584 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)A compositional proof framework for FRETish requirements., , , , und . CPP, Seite 68-81. ACM, (2022)Generation of Formal Requirements from Structured Natural Language., , , und . REFSQ, Volume 12045 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2020)Software Architecture Directed Behaviour Analysis., , und . IWSSD, Seite 144-146. IEEE Computer Society, (1998)