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

Distributed systems architecture, , and . Elsevier, Morgan Kaufmann, Amsterdam u.a., (2006)Passive Inspection of Sensor Networks., , and . DCOSS, volume 4549 of Lecture Notes in Computer Science, page 205-222. Springer, (2007)Distributed Facility Location Algorithms for Flexible Configuration of Wireless Sensor Networks., and . DCOSS, volume 4549 of Lecture Notes in Computer Science, page 124-141. Springer, (2007)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip., , , , , and . SpringSim (Mod4Sim), page 7:1-7:12. ACM, (2017)Automatic configuration of controlled interference experiments in sensornet testbeds., , , and . SenSys, page 342-343. ACM, (2014)SALMA: UWB-based Single-Anchor Localization System using Multipath Assistance., , , , , , and . SenSys, page 132-144. ACM, (2018)Evaluation of diverse compiling for software-fault detection., , , , and . DATE, page 531-536. ACM, (2015)The Quest for Infrastructures and Engineering Methods Enabling Highly Dynamic Autonomous Systems., , , , and . EuroSPI, volume 1060 of Communications in Computer and Information Science, page 15-27. Springer, (2019)Steering Drivers of Change: Maximising Benefits of Trustworthy IoT., , , , , , , , , and 10 other author(s). EuroSPI, volume 1442 of Communications in Computer and Information Science, page 663-674. Springer, (2021)JamLab-NG: Benchmarking Low-Power Wireless Protocols under Controllable and Repeatable Wi-Fi Interference., , , , , and . EWSN, page 83-94. ACM, (2019)