Author of the publication

Symbolic design space exploration for multi-mode reconfigurable systems.

, , , and . CODES+ISSS, page 129-138. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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