2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) Evaluation of Novel Approaches to Software Engineering (ENASE), 2015 International Conference on. :67-77 Apr, 2015
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015. :1407-1412 Mar, 2015
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014. :1-6 Mar, 2014
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on. :22-28 May, 2013
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on. :359-368 Jul, 2009