[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Robust and Extensible Task Implementations of Synchronous Finite State MachinesZhu, Qi; Deng, Peng; Di Natale, Marco; Zeng, Haibo · 2013

[ACM Press the ACM/IEEE Sixth International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems - ICCPS '15 - A model-based synthesis flow for automotive CPSDeng, Peng; Cremona, Fabio; Zhu, Qi; Di Natale, Marco; Zeng, Haibo · 2015