( en | de | ru )

 

Disambiguierung von "Mavridou, Anastasia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Sofia Mavridou

Kiriaki Mavridou

Georgia Mavridou

Evanthia Mavridou

Anastasia Schneider

Einfluss von probiotischen Bakterien auf die Signalgebung dendritischer Zellen. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Integrating Formal Verification and Assurance: An Inspection Rover Case Study., , , , , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 53-71. Springer, (2021)Formal Requirements Elicitation with FRET., , , , , und . REFSQ Workshops, Volume 2584 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Common Integrated Framework for Heterogeneous Modeling Services., , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 416-422. CEUR-WS.org, (2018)Monitoring ROS2: from Requirements to Autonomous Robots., , , , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 208-216. (2022)Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 260-279. (2016)Generation of Formal Requirements from Structured Natural Language., , , und . REFSQ, Volume 12045 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2020)Configuration Logics: Modelling Architecture Styles., , , und . FACS, Volume 9539 von Lecture Notes in Computer Science, Seite 256-274. Springer, (2015)Coordination of Dynamic Software Components with JavaBIP., , und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 39-57. Springer, (2017)Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software., , , und . DSN-W, Seite 263-266. IEEE, (2023)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)