Real-time rewriting semantics of orc. - Musab AlTurki; José Meseguer 001 (PPDP, 2007)

Reduction Semantics and Formal Analysis of Orc Programs. - Musab AlTurki; José Meseguer 001 (WWV, 2007)

Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. - Musab AlTurki; José Meseguer 001; Carl A. Gunter (SecReT@LICS/CSF, 2008)

PBES: a policy based encryption system with application to data sharing in the power grid. - Rakeshbabu Bobba; Himanshu Khurana; Musab AlTurki; Farhana Ashraf (AsiaCCS, 2009)

Model-Checking DoS Amplification for VoIP Session Initiation. - Ravinder Shankesi; Musab AlTurki; Ralf Sasse; Carl A. Gunter; José Meseguer 001 (ESORICS, 2009)

Formal Specification and Analysis of Timing Properties in Software Systems. - Musab AlTurki; Dinakar Dhurjati; Dachuan Yu; Ajay Chander; Hiroshi Inamura (FASE, 2009)

Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis - Musab AlTurki; José Meseguer 001 (RTRTS, 2010)

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. - Musab AlTurki; José Meseguer 001 (CALCO, 2011)

Stable Availability under Denial of Service Attacks through Formal Patterns. - Jonas Eckhardt; Tobias Mühlbauer; Musab AlTurki; José Meseguer 001; Martin Wirsing (FASE, 2012)

Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries. - Issam H. Laradji; Lahouari Ghouti; Faisal Saleh; Musab A. AlTurki (ICANN, 2014)

Towards Formal Verification of Orchestration Computations Using the 핂 Framework. - Musab A. AlTurki; Omar Alzuhaibi (FM, 2015)

Executable rewriting logic semantics of Orc and formal analysis of Orc programs. - Musab A. AlTurki; José Meseguer 001 (J. Log. Algebraic Methods Program., 2015)

A Symbolic Rewriting Semantics of the COMPASS Modeling Language. - Musab A. AlTurki (IRI, 2017)

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. - Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CPS-SPC@CCS, 2018)

Program comprehension through reverse-engineered sequence diagrams: A systematic review. - Taher Ahmed Ghaleb; Musab A. AlTurki; Khalid Aljasser (J. Softw. Evol. Process., 2018)

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. - Musab A. AlTurki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Resource-Bounded Intruders in Denial of Service Attacks. - Abraão Aires Urquiza; Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CSF, 2019)

Towards a Verified Model of the Algorand Consensus Protocol in Coq. - Musab A. Alturki; Jing Chen; Victor Luchangco; Brandon M. Moore; Karl Palmskog; Lucas Peña; Grigore Rosu (FM Workshops (1), 2019)

Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. - Musab A. Alturki; Grigore Rosu (FM Workshops (1), 2019)

Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams. - Taher Ahmed Ghaleb; Khalid Aljasser; Musab A. Alturki (VISSOFT, 2020)

On Security Analysis of Periodic Systems: Expressiveness and Complexity. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICISSP, 2021)

An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs. - Taher Ahmed Ghaleb; Khalid Aljasser; Musab A. Alturki (Int. J. Softw. Eng. Knowl. Eng., 2021)

Resource and timing aspects of security protocols. - Abraão Aires Urquiza; Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2021)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICTAC, 2022)

On the Security and Complexity of Periodic Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (SN Comput. Sci., 2022)