Autor der Publikation

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

Formal consistency checking over specifications in natural languages., , und . DATE, Seite 1677-1682. ACM, (2015)Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net., , , , , und . JCP, 9 (2): 499-505 (2014)Distributed Priority Synthesis, , , und . SSV, Volume 102 von EPTCS, Seite 57-72. (2012)Performance Estimation Techniques With MPSoC Transaction-Accurate Models., , , , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (12): 1920-1933 (2013)Improvements for the Symbolic Verification of Timed Automata., , , und . FORTE, Volume 4574 von Lecture Notes in Computer Science, Seite 196-210. Springer, (2007)Functional Testbench Qualification by Mutation Analysis., , , und . VLSI Design, (2015)Component-based verification using incremental design and invariants., , , , , und . Software and Systems Modeling, 15 (2): 427-451 (2016)ILP Based Multithreaded Code Generation for Simulink Model., , , , , , , , und . IEICE Transactions, 97-D (12): 3072-3082 (2014)Annotation and analysis combined cache modeling for native simulation., , , , und . ASP-DAC, Seite 406-411. IEEE, (2014)Symbolic Model Checking of Finite Precision Timed Automata., , und . ICTAC, Volume 3722 von Lecture Notes in Computer Science, Seite 272-287. Springer, (2005)