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

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego., , , , , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 603-622. Springer, (2017)Validating Timed Component Contracts., , , , und . EUROMICRO-SEAA, Seite 245-249. IEEE Computer Society, (2015)Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools., , , , und . FMICS, Volume 9128 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2015)Model-Based Testing of Industrial Transformational Systems., , und . ICTSS, Volume 7019 von Lecture Notes in Computer Science, Seite 131-145. Springer, (2011)opaal: A Lattice Model Checker., , , , , , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 487-493. Springer, (2011)A Toolchain for Home Automation Controller Development., , , , , , und . EUROMICRO-SEAA, Seite 122-129. IEEE Computer Society, (2013)Automata Learning through Counterexample Guided Abstraction Refinement., , , , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 10-27. Springer, (2012)Model Checking Feature Interactions., , , , und . ICSOFT (Selected Papers), Volume 586 von Communications in Computer and Information Science, Seite 307-325. Springer, (2015)HomePort: Middleware for heterogeneous home automation networks., , , , und . PerCom Workshops, Seite 627-633. IEEE Computer Society, (2013)ENCOURAGEing results on ICT for energy efficient buildings., , , , , , , , , und 1 andere Autor(en). ETFA, Seite 1-8. IEEE, (2016)