Author of the publication

Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL.

, , , , , and . ANT/SEIT, volume 83 of Procedia Computer Science, page 245-252. Elsevier, (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

Dependable mesh networking patterns., , , , and . EuroPLoP, page 25:1-25:14. ACM, (2019)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)Poster: An Open-Source IPv6 over BLE Stack for Contiki., , , and . EWSN, page 228-229. Junction Publishing, Canada / ACM, (2017)UpKit: An Open-Source, Portable, and Lightweight Update Framework for Constrained IoT Devices., , , and . ICDCS, page 2101-2112. IEEE, (2019)IoT Device Security the Hard(ware) way., , , , , and . EuroPLoP, page 20:1-20:4. ACM, (2018)Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML., , , , , and . PECCS, page 70-75. SciTePress, (2016)Time-synchronized data collection in smart grids through IPv6 over BLE., , , , , and . IOT, page 25:1-25:4. ACM, (2018)JamLab-NG: Benchmarking Low-Power Wireless Protocols under Controllable and Repeatable Wi-Fi Interference., , , , , and . EWSN, page 83-94. ACM, (2019)A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge., , , and . EWSN, page 54-65. Junction Publishing, Canada / ACM, (2017)Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems., , and . Bench@CPSWeek, page 30-35. IEEE, (2018)