Musab A. AlTurki

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Formal Verification

Sequence Diagrams

Program Comprehension

Denial Of Service Attacks

Top Venues

J. Log. Algebraic Methods Program.

Foundations of Security, Protocols, and Equational Reasoning

Publications

Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource-Bounded Intruders in Denial of Service Attacks. CSF (2019)
Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS (2018)
Taher Ahmed Ghaleb, Musab A. AlTurki, Khalid Aljasser
Program comprehension through reverse-engineered sequence diagrams: A systematic review. J. Softw. Evol. Process. 30 (11) (2018)
Musab A. AlTurki
A Symbolic Rewriting Semantics of the COMPASS Modeling Language. IRI (2017)
Musab A. AlTurki, Omar Alzuhaibi
Towards Formal Verification of Orchestration Computations Using the 핂 Framework. FM (2015)
Musab A. AlTurki, José Meseguer
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. J. Log. Algebraic Methods Program. 84 (4) (2015)
Issam H. Laradji, Lahouari Ghouti, Faisal Saleh, Musab A. AlTurki
Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries. ICANN (2014)