2015 IEEE International Conference on Dependable Systems and Networks Workshops Dependable Systems and Networks Workshops (DSN-W), 2015 IEEE International Conference on. :57-62 Jun, 2015
2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium on. :17-24 Sep, 2011
2010 8th IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on. :145-155 Sep, 2010