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

Highlights of VLSI Research at Berkeley., , und . FJCC, Seite 894-897. IEEE Computer Society, (1986)Embedded Software Design for Real-Time Applications.. RTSS, IEEE Computer Society, (2001)Component-based design for the future., und . DATE, Seite 1029. IEEE, (2011)All things are connected.. DATE, Seite 1. IEEE, (2010)UMTS MPSoC design evaluation using a system level design framework., , , , und . DATE, Seite 478-483. IEEE, (2009)Library-based scalable refinement checking for contract-based design., , , und . DATE, Seite 1-6. European Design and Automation Association, (2014)Platform-Based Design: A Path to Efficient Design Re-Use.. ISQED, Seite 209-210. IEEE Computer Society, (2000)Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following., , , und . ACC, Seite 1082-1089. IEEE, (2014)Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving., , , , , und . ACC, Seite 3818-3823. IEEE, (2015)A Survey of Techniques for Formal Verification of Combinational Circuits., , , und . ICCD, Seite 445-454. IEEE Computer Society, (1997)