Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Common Integrated Framework for Heterogeneous Modeling Services.

A. Mavridou, T. Kecskés, Q. Zhang, and J. Sztipanovits. MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 416-422. CEUR-WS.org, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Anastasia Bauernfeind University of Stuttgart

Anastasia Shamakina University of Stuttgart

Anastasia Fomina University of Stuttgart

Anastasia Tsianaka University of Stuttgart

Other publications of authors with the same name

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach.A. Mavridou, and A. Laszka. CoRR, (2017)Configuration Logics: Modelling Architecture Styles.A. Mavridou, E. Baranov, S. Bliudze, and J. Sifakis. FACS, volume 9539 of Lecture Notes in Computer Science, page 256-274. Springer, (2015)Coordination of Dynamic Software Components with JavaBIP.A. Mavridou, V. Rutz, and S. Bliudze. FACS, volume 10487 of Lecture Notes in Computer Science, page 39-57. Springer, (2017)Architecture-Based Design: A Satellite On-Board Software Case Study.A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov, P. Katsaros, and J. Sifakis. FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)Formal Requirements Elicitation with FRET.D. Giannakopoulou, T. Pressburger, A. Mavridou, J. Rhein, J. Schumann, and N. Shi. REFSQ Workshops, volume 2584 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Common Integrated Framework for Heterogeneous Modeling Services.A. Mavridou, T. Kecskés, Q. Zhang, and J. Sztipanovits. MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 416-422. CEUR-WS.org, (2018)DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.A. Mavridou, J. Sifakis, and J. Sztipanovits. CoRR, (2018)VeriSolid: Correct-by-Design Smart Contracts for Ethereum.A. Mavridou, A. Laszka, E. Stachtiari, and A. Dubey. CoRR, (2019)Early validation of system requirements and design through correctness-by-construction.E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, and J. Sifakis. Journal of Systems and Software, (2018)Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach.A. Mavridou, and A. Laszka. Financial Cryptography, volume 10957 of Lecture Notes in Computer Science, page 523-540. Springer, (2018)