Author of the publication

Formal specification and systematic model-driven testing of embedded automotive systems.

, , , and . DATE, page 118-123. IEEE, (2011)

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

A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software., , , and . MSR, page 494-497. IEEE Computer Society, (2015)Improving model-based verification of embedded systems by analyzing component dependences., and . SIES, page 51-54. IEEE, (2011)Constructive Requirements Modeling - More Reliable Implementations in a Shorter Time., and . Automotive - Safety & Security, volume P-210 of LNI, page 149-162. GI, (2012)Automated testing of embedded automotive systems from requirement specification models., , , and . LATW, page 1-6. IEEE, (2011)Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems., and . CyPhy, volume 9361 of Lecture Notes in Computer Science, page 25-39. Springer, (2015)Corrigendum to "Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems" Journal of Systems Architecture 85-86 (2018) 1-13., , , , and . J. Syst. Archit., (2021)Status Report on Automotive Software Development., , , and . Automotive Systems and Software Engineering, Springer, (2019)On Error-Class Distribution in Automotive Model-Based Software., , , , and . SANER, page 688-692. IEEE Computer Society, (2016)Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models., , and . SysCon, page 96-102. IEEE, (2015)