Autor der Publikation

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.

, , , , , , und . IEEE Trans. Software Eng., 49 (4): 2741-2760 (April 2023)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Transformational Approach to Managing Data Model Evolution of Web Services., , , und . IEEE Trans. Serv. Comput., 16 (1): 65-79 (Januar 2023)Model-driven engineering city spaces via bidirectional model transformations., , , und . Softw. Syst. Model., 20 (6): 2003-2022 (2021)Specification Patterns for Robotic Missions., , , , und . IEEE Trans. Software Eng., 47 (10): 2208-2224 (2021)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , und 3 andere Autor(en). SEAMS@ICSE, Seite 245-251. IEEE, (2021)Visual Exploration of Financial Data with Incremental Domain Knowledge., , , , , und . Comput. Graph. Forum, 42 (1): 101-116 (Februar 2023)Modeling and Verification of Evolving Cyber-Physical Spaces., , und . Software Engineering, Volume P-279 von LNI, Seite 113-114. Gesellschaft für Informatik, (2018)Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap., , und . ICDCS, Seite 1754-1764. IEEE, (2019)Inferring analyzable models from trajectories of spatially-distributed internet of things., , , , , und . SEAMS@ICSE, Seite 100-106. ACM, (2019)Decentralized Resource Auctioning for Latency-Sensitive Edge Computing., , und . EDGE, Seite 72-76. IEEE, (2019)An EMOF-Compliant Abstract Syntax for Bigraphs., , und . GaM@ETAPS, Volume 231 von EPTCS, Seite 16-30. (2016)