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.

 

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

Modeling and Verification of Evolving Cyber-Physical Spaces., , и . Software Engineering, том P-279 из LNI, стр. 113-114. Gesellschaft für Informatik, (2018)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , и 3 other автор(ы). SEAMS@ICSE, стр. 245-251. IEEE, (2021)Decentralized Resource Auctioning for Latency-Sensitive Edge Computing., , и . EDGE, стр. 72-76. IEEE, (2019)Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap., , и . ICDCS, стр. 1754-1764. IEEE, (2019)Inferring analyzable models from trajectories of spatially-distributed internet of things., , , , , и . SEAMS@ICSE, стр. 100-106. ACM, (2019)An EMOF-Compliant Abstract Syntax for Bigraphs., , и . GaM@ETAPS, том 231 из EPTCS, стр. 16-30. (2016)Dependable Resource Coordination on the Edge at Runtime., , и . Proc. IEEE, 107 (8): 1520-1536 (2019)Edge-Based Runtime Verification for the Internet of Things., , , и . SERVICES, стр. 16. IEEE, (2021)SMT-as-a-Service for Fog-Supported Cyber-Physical Systems., , , и . ICDCN, стр. 154-163. ACM, (2024)Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems., , , и . ICSE (2), стр. 729-732. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).