1. Control-quality driven design of cyber-physical systems with robustness guarantees;Aminifar,2013
2. Including variability of physical models into the design automation of cyber-physical systems;Buini,2015
3. Context-sensitive synthesis of executable functional models of cyber-physical systems;Canedo,2013
4. Design space exploration for embedded systems using co-simulation;Gamble,2014
5. Electronic system-level synthesis methodologies;Gerstlauer;IEEE Trans. Comput. Aided Des. Integr. Circt. Syst.,2009