( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bridging the Gap Between Requirements and Simulink Model Analysis.

, , , , , и . REFSQ Workshops, том 2584 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dimitra Giannakopoulou

Alexia Giannakopoulou

Dimitra Tsovaltzi

Dimitra Kasfiki

Dimitra Koch

 

Другие публикации лиц с тем же именем

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