Autor der Publikation

Symbolic System Synthesis Using Answer Set Programming.

, , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 79-91. Springer, (2013)

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 reliability analysis of switched ethernet automotive networks under transient transmission errors., , , und . DAC, Seite 28:1-28:6. ACM, (2016)Towards scalable symbolic routing for multi-objective networked embedded system design and optimization., , , und . CODES+ISSS, Seite 2:1-2:10. ACM, (2014)Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures., , , , , , , , , und . DATE, Seite 1-6. European Design and Automation Association, (2014)Multi-Objective Local-Search Optimization using Reliability Importance Measuring., , , und . DAC, Seite 15:1-15:6. ACM, (2014)Operational mode exploration for reconfigurable systems with multiple applications., , , und . FPT, Seite 1-8. IEEE, (2011)Symbolic design space exploration for multi-mode reconfigurable systems., , , und . CODES+ISSS, Seite 129-138. ACM, (2011)Symbolic voter placement for dependability-aware system synthesis., , , , , und . CODES+ISSS, Seite 237-242. ACM, (2008)Hybrid Optimization Techniques for System-Level Design Space Exploration., , , und . Handbook of Hardware/Software Codesign, (2017)Timing analysis of Ethernet AVB-based automotive E/E architectures., , , , und . ETFA, Seite 1-8. IEEE, (2013)Improving platform-based system synthesis by satisfiability modulo theories solving., , , , und . CODES+ISSS, Seite 135-144. ACM, (2010)