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

Synthesis of Synchronous Interfaces., und . ACSD, Seite 208-216. IEEE Computer Society, (2006)A framework for mining hybrid automata from input/output traces., , , und . EMSOFT, Seite 177-186. IEEE, (2015)A Test Bed for Web Services Protocols., , und . ICIW, Seite 16. IEEE Computer Society, (2007)Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends., , und . MODELSWARD, Seite 704-710. SciTePress, (2016)Grid integration of renewable energy sources (RES) for power quality improvement using adaptive fuzzy logic controller based series hybrid active power filter (SHAPF)., und . Journal of Intelligent and Fuzzy Systems, 35 (1): 749-766 (2018)Slicing concurrent programs., und . ISSTA, Seite 180-190. ACM, (2000)Towards a conceptual model for unifying variability in space and time., , , , , , , , und . SPLC (B), Seite 67:1-67:5. ACM, (2019)Automatic Testing from Formal Specifications., , , und . TAP, Volume 4454 von Lecture Notes in Computer Science, Seite 95-113. Springer, (2007)A New and Efficient Implementation of Multiprocess Synchronization.. PARLE (2), Volume 259 von Lecture Notes in Computer Science, Seite 387-401. Springer, (1987)Modeling AUTOSAR Implementations in Simulink., , , und . ECMFA, Volume 10890 von Lecture Notes in Computer Science, Seite 279-292. Springer, (2018)