Maintaining Goals of Business Processes during Runtime Reconfigurations. - Budoor Allehyani; Stephan Reiff-Marganiec (ZEUS, 2016)

Goal compliance assurance for dynamically adaptive workflows. - Budoor Ahmad Allehyani (2018)

Automated Ruleset Generation for "HTTPS Everywhere": Challenges, Implementation, and Insights. - Fares Alharbi; Gautam Siddharth Kashyap; Budoor Ahmad Allehyani (Int. J. Inf. Secur. Priv., 2024)