Musab AlTurki

According to our database, Musab AlTurki authored at least 25 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

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

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

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

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020

Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams.

Taher Ahmed Ghaleb, Khalid Aljasser, Musab A. Alturki

Proceedings of the Working Conference on Software Visualization, 2020

2019

Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies.

Musab A. Alturki, Grigore Rosu

Proceedings of the Formal Methods. FM 2019 International Workshops, 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

Proceedings of the Formal Methods. FM 2019 International Workshops, 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

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

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

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Program comprehension through reverse-engineered sequence diagrams: A systematic review.

Taher Ahmed Ghaleb, Musab A. AlTurki, Khalid Aljasser

J. Softw. Evol. Process., 2018

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

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

2017

A Symbolic Rewriting Semantics of the COMPASS Modeling Language.

Musab A. AlTurki

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2015

Executable rewriting logic semantics of Orc and formal analysis of Orc programs.

Musab A. AlTurki, José Meseguer

J. Log. Algebraic Methods Program., 2015

Towards Formal Verification of Orchestration Computations Using the 핂 Framework.

Musab A. AlTurki, Omar Alzuhaibi

Proceedings of the FM 2015: Formal Methods, 2015

2014

Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries.

Issam H. Laradji, Lahouari Ghouti, Faisal Saleh, Musab A. AlTurki

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2014, 2014

2012

Stable Availability under Denial of Service Attacks through Formal Patterns.

Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.

Musab AlTurki, José Meseguer

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Musab AlTurki, José Meseguer

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

2009

Formal Specification and Analysis of Timing Properties in Software Systems.

Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Model-Checking DoS Amplification for VoIP Session Initiation.

Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer

Proceedings of the Computer Security, 2009

PBES: a policy based encryption system with application to data sharing in the power grid.

Rakeshbabu Bobba, Himanshu Khurana, Musab AlTurki, Farhana Ashraf

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.

Musab AlTurki, José Meseguer, Carl A. Gunter

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

2007

Reduction Semantics and Formal Analysis of Orc Programs.

Musab AlTurki, José Meseguer

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Real-time rewriting semantics of orc.

Musab AlTurki, José Meseguer

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007