From post

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.

 

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

Scalable End-User Access to Big Data, , , , , , , , , и 6 other автор(ы). Big Data Computing, CRC Press, (2013)Integrating deployment architectures and resource consumption in timed object-oriented models., , и . J. Log. Algebraic Methods Program., 84 (1): 67-91 (2015)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , и . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , и . FMDT@FM, том 3507 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Modeling Application-Level Management of Virtualized Resources in ABS., , и . FMCO, том 7542 из Lecture Notes in Computer Science, стр. 89-108. Springer, (2011)Validating Timed Models of Deployment Components with Parametric Concurrency., , , и . FoVeOOS, том 6528 из Lecture Notes in Computer Science, стр. 46-60. Springer, (2010)A Note on Idleness Detection of Actor Systems.. The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 437-445. Springer, (2022)Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2022)Designing Distributed Control with Hybrid Active Objects., , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 88-108. Springer, (2020)Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS., , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2012)