Author of the publication

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

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines., , , and . ACM Trans. Softw. Eng. Methodol., 25 (1): 4:1-4:37 (2015)Search-Based Software Testing for Formal Software Verification - and Vice Versa.. SSBSE, volume 12420 of Lecture Notes in Computer Science, page 3-6. Springer, (2020)An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction., , , and . ACM Trans. Softw. Eng. Methodol., 28 (1): 4:1-4:34 (2019)Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages., , , , and . ACM Trans. Softw. Eng. Methodol., 32 (2): 37:1-37:33 (April 2023)Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages., , , and . ACM Trans. Softw. Eng. Methodol., 33 (2): 32:1-32:34 (February 2024)Test Cost Reduction for 5G and Beyond using Machine Learning., , , , and . ICSTW, page 373-376. IEEE, (2023)Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators., , , , and . ICST, page 383-393. IEEE, (2021)Automated test suite generation for time-continuous simulink models., , , and . ICSE, page 595-606. ACM, (2016)Matching and Merging of Statecharts Specifications., , , , and . ICSE, page 54-64. IEEE Computer Society, (2007)Testing autonomous cars for feature interaction failures using many-objective search., , , , and . ASE, page 143-154. ACM, (2018)