Autor der Publikation

Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures.

, , und . GI-Jahrestagung, Volume P-232 von LNI, Seite 2145-2156. GI, (2014)

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

Power And Fault Emulation for Software Verification and System Stability Testing in Safety Critical Environments., , , , , , , und . IEEE Trans. Industrial Informatics, 9 (2): 1199-1206 (2013)OASIS: An automotive analysis and safety engineering instrument., , , , , und . Rel. Eng. & Sys. Safety, (2013)A development methodology for variant-rich automotive software architectures., , , , und . Elektrotechnik und Informationstechnik, 128 (6): 222-227 (2011)Evaluation of diverse compiling for software-fault detection., , , , und . DATE, Seite 531-536. ACM, (2015)A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems., , , , , , , und . ECBS, Seite 169-178. IEEE Computer Society, (2011)Model-Driven Development of Recursive CORBA Component Assemblies., , , , , und . EUROMICRO, Seite 170-175. IEEE Computer Society, (2004)A Hardware/Software Cosimulation Environment for DSP Applications., , und . EUROMICRO, Seite 1492-1495. IEEE Computer Society, (1999)CDL: an extensible constraints framework for model-based development., und . IJMSO, 9 (3): 263-274 (2014)Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems., , , , und . EuroSPI, Volume 748 von Communications in Computer and Information Science, Seite 205-215. Springer, (2017)Supporting evolving security models for an agile security evaluation., , , , , und . ESPRE, Seite 31-36. IEEE Computer Society, (2014)