Autor der Publikation

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

Study on the Limitations of WS-BPEL Compositions Under Load Conditions., und . Comput. J., 58 (3): 385-402 (2015)State Identification.. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 35-67. Springer, (2004)Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design., , , und . VECoS, Volume 12519 von Lecture Notes in Computer Science, Seite 195-204. Springer, (2020)Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity., , , und . ICIoT, Seite 310-317. IEEE, (2020)Using Machine Learning for Earthquakes and Quarry Blasts Discrimination., , , und . AICCSA, Seite 1-6. IEEE, (2023)Streamlining River Flood Prevention with an Integrated AIoT Framework., , , , , und . AICCSA, Seite 1-6. IEEE, (2023)A Game Approach to Determinize Timed Automata., , , und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 245-259. Springer, (2011)Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.. Mob. Networks Appl., 28 (2): 732-743 (April 2023)Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.. ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 124-133. Springer, (2019)A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata., und . ENASE, Seite 570-577. SciTePress, (2019)