2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC) EITEC Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC), 2018 4th International Workshop on. :3-8 Apr, 2018
2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC) Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), 2016 3rd International Workshop on. :17-22 Apr, 2016
2014 IEEE 44th International Symposium on Multiple-Valued Logic Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on. :226-231 May, 2014
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on. :149-158 Nov, 2008