Musab A. Alturki

17 papers A 1B 2C 3Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2022 C conf
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.
ICTAC
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022 J jnl
On the Security and Complexity of Periodic Systems.
SN Comput. Sci.
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 J jnl
An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs.
Int. J. Softw. Eng. Knowl. Eng.
Taher Ahmed Ghaleb, Khalid Aljasser, Musab A. Alturki
2021 C conf
On Security Analysis of Periodic Systems: Expressiveness and Complexity.
ICISSP
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021 J jnl
Resource and timing aspects of security protocols.
J. Comput. Secur.
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2020 B conf
Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams.
VISSOFT
Taher Ahmed Ghaleb, Khalid Aljasser, Musab A. Alturki
2019 — conf
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.
Foundations of Security, Protocols, and Equational Reasoning
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019 A conf
Resource-Bounded Intruders in Denial of Service Attacks.
CSF
Abraão Aires Urquiza, Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019 — conf
Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies.
FM Workshops (1)
Musab A. Alturki, Grigore Rosu
2019 — conf
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
FM Workshops (1)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2019 J jnl
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
CoRR
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2018 J jnl
Program comprehension through reverse-engineered sequence diagrams: A systematic review.
J. Softw. Evol. Process.
Taher Ahmed Ghaleb, Musab A. Alturki, Khalid Aljasser
2018 — conf
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.
CPS-SPC@CCS
Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2017 Misc conf
A Symbolic Rewriting Semantics of the COMPASS Modeling Language.
IRI
Musab A. Alturki
2015 J jnl
Executable rewriting logic semantics of Orc and formal analysis of Orc programs.
J. Log. Algebraic Methods Program.
Musab A. Alturki, José Meseguer
2015 B conf
Towards Formal Verification of Orchestration Computations Using the 핂 Framework.
FM
Musab A. Alturki, Omar Alzuhaibi
2014 C conf
Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries.
ICANN
Issam H. Laradji, Lahouari Ghouti, Faisal Saleh, Musab A. Alturki