1. Reducing Model Complexity and Cost in the Generation of Efficient Error Detection Mechanisms;2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2021-10
2. Simultaneous Fault Models for the Generation and Location of Efficient Error Detection Mechanisms;The Computer Journal;2019-04-30
3. On Basis Variables for Efficient Error Detection;2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech);2017-11
4. Simultaneous Fault Models for the Generation of Efficient Error Detection Mechanisms;2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE);2017-10
5. On the Complexity of Adding Convergence;Fundamentals of Software Engineering;2013