Author of the publication

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.

, , , , , and . PECCS, page 70-75. SciTePress, (2016)

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.

 

Other publications of authors with the same name

Poster: Communication Failover Strategies for Dependable Smart Grid Operation., , , , , , and . EWSN, page 165-166. ACM, (2021)The Impact of the Physical Layer on the Performance of Concurrent Transmissions., , , , , , , , and . ICNP, page 1-12. IEEE, (2020)Demo: Video over Synchronous Flooding with OSFv6., , , , , and . EWSN, page 313-314. ACM, (2023)Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems., , , , , and . SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 359-370. Springer, (2016)UpKit: An Open-Source, Portable, and Lightweight Update Framework for Constrained IoT Devices., , , and . ICDCS, page 2101-2112. IEEE, (2019)Poster: An Open-Source IPv6 over BLE Stack for Contiki., , , and . EWSN, page 228-229. Junction Publishing, Canada / ACM, (2017)RSSF: Towards Real-Time Decoding of LoRa Packets without Prior Knowledge of their Spreading Factor., , , and . GLOBECOM, page 2469-2474. IEEE, (2023)IoT Device Security the Hard(ware) way., , , , , and . EuroPLoP, page 20:1-20:4. ACM, (2018)Poster: Robust Wi-Fi Mesh Networking with SPIDERMAN., , , and . EWSN, page 309-310. ACM, (2023)Poster: Automatic Parameter Exploration for Low-Power Wireless Protocols., , , , and . EWSN, page 311-312. ACM, (2023)