1. Chidi Agbo and Hoda Mehrpouyan . 2022 . Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems. In 2022 6th International Conference on System Reliability and Safety (ICSRS). 145–156 . https://doi.org/10.1109/ICSRS56243.2022.10067393 10.1109/ICSRS56243.2022.10067393 Chidi Agbo and Hoda Mehrpouyan. 2022. Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems. In 2022 6th International Conference on System Reliability and Safety (ICSRS). 145–156. https://doi.org/10.1109/ICSRS56243.2022.10067393
2. Ashish Aggarwal and Pankaj Jalote . 2006 . Integrating static and dynamic analysis for detecting vulnerabilities . In 30th Annual International Computer Software and Applications Conference (COMPSAC’06) , Vol. 1. IEEE, 343–350. Ashish Aggarwal and Pankaj Jalote. 2006. Integrating static and dynamic analysis for detecting vulnerabilities. In 30th Annual International Computer Software and Applications Conference (COMPSAC’06), Vol. 1. IEEE, 343–350.
3. A Al Farooq , E Al-Shaer , T Moyer , and K Kant . 2019 . IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems . In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). 442–447 . A Al Farooq, E Al-Shaer, T Moyer, and K Kant. 2019. IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). 442–447.
4. Real-Time Logics: Complexity and Expressiveness
5. A theory of timed automata