2015 IEEE 16th International Symposium on High Assurance Systems Engineering High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. :240-246 Jan, 2015
2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS) Parallel and Distributed Systems (ICPADS), 2014 20th IEEE International Conference on. :412-417 Dec, 2014
2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS) Parallel and Distributed Systems (ICPADS), 2014 20th IEEE International Conference on. :900-905 Dec, 2014