Autor der Publikation

Coping with Complexity of Testing Models for Real-Time Embedded Systems.

, , , , und . SSIRI (Companion), Seite 128-135. IEEE Computer Society, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A platoon of vehicles approaching an intersection: A testing platform for safe intersections., , und . ITSC, Seite 1918-1923. IEEE, (2012)An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems., und . ADHS, Volume 39 von IFAC Proceedings Volumes, Seite 377-382. Elsevier, (2006)Controlled Natural Languages for Hazard Analysis and Risk Assessment., , , , und . CNL, Volume 304 von Frontiers in Artificial Intelligence and Applications, Seite 41-51. IOS Press, (2018)Concolic test generation for PLC programs using coverage metrics., , , , und . WODES, Seite 432-437. IEEE, (2016)Analysis of Simulink Models Using Databases and Model Transformations., , , und . MOMPES, Volume 7706 von Lecture Notes in Computer Science, Seite 69-84. Springer, (2012)Distributed Model Predictive Intersection Control of Multiple Vehicles., , , , , und . ITSC, Seite 1735-1740. IEEE, (2019)Static Value Range Analysis for Matlab/Simulink-Models., , , und . GI-Jahrestagung, Volume P-246 von LNI, Seite 1649-1660. GI, (2015)HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions., , und . ARCH@CPSWeek, Volume 43 von EPiC Series in Computing, Seite 68-79. EasyChair, (2016)HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis., , , und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 288-294. (2017)Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review., , , , und . ETFA, Seite 1-8. IEEE, (2023)