2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2018 IEEE/ACM 6th International FME Workshop on. :10-19 May, 2018
2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS) SEHS Software Engineering in Healthcare Systems (SEHS), 2018 IEEE/ACM International Workshop on. :30-33 May, 2018
2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) Research Challenges in Information Science (RCIS), 2016 IEEE Tenth International Conference on. :1-12 Jun, 2016
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. :431-438 Mar, 2013
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) QRS-C Software Quality, Reliability and Security Companion (QRS-C), 2017 IEEE International Conference on. :599-600 Jul, 2017
2011 Sixth International Conference on Availability, Reliability and Security Availability, Reliability and Security (ARES), 2011 Sixth International Conference on. :734-739 Aug, 2011