Formal Verification of Orchestration Computations Using the 𝕂 Framework

Musab A. Alturki and Omar Alzuhaibi
(under review)

Implementing the Observer Design Pattern as an Expressive Language Construct

Taher A. Ghaleb, Khalid Aljasser and Musab A. Alturki
Proceedings of ICSEA 2015: the International Conference on Software Engineering Advances, Barcelona, Spain, 2015
ICSEA 2015, November 2015, Pages 463-469

Executable Rewriting Logic Semantics of Orc and Formal Analysis of Orc Programs

Musab A Alturki and José Meseguer
Journal of Logical and Algebraic Methods in Programming, 2015
Volume 84, Issue 4, July 2015, Pages 505–533

Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework

Musab A. Alturki and Omar Alzuhaibi
Proceedings of Formal Methods, Oslo, Norway, June 2015
Lecture Notes in Computer Science Volume 9109, 2015, pp 40-56

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

Issam H. Laradji, Lahouari Ghouti, Faisal Saleh and Musab A. Alturki
Proceedings of ICANN'14: The 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September, 2014
Lecture Notes in Computer Science Volume 8681, 2014, pp 241-248

Stable Availability under Denial of Service Attacks through Formal Patterns

Jonas Eckhardt, Tobias Mühlbauer, Musab A. Alturki, José Meseguer and Martin Wirsing
Proceedings of FASE’12: The 15th International Conference on Fundamental Approaches to Software Engineering, Tallinn, Estonia, March, 2012
Lecture Notes in Computer Science: Volume 7212, 2012, pp 78-93

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

Musab A. Alturki and José Meseguer
Proceedings of CALCO’11: The 4th International Conference on Algebra and Coalgebra in Computer Science, Winchester, UK, August, 2011
Lecture Notes in Computer Science Volume 6859, 2011, pp 386-392

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

Musab A. Alturki and José Meseguer
Proceedings of RTRTS’10: The 1st International Workshop on Rewriting Techniques for Real-Time Systems, Longyearbyen, Spitsbergen, Norway, April, 2010
EPTCS 36, 2010, pp. 26-45

Model-Checking DoS Amplification for VoIP Session Initiation

Ravinder Shankesi, Musab A. Alturki, Ralf Sasse, Carl A. Gunter and José Meseguer
Proceedings of ESORICS’09: The 14th European Symposium on Research in Computer Security, Saint Malo, France, September 2009
Lecture Notes in Computer Science Volume 5789, 2009, pp 390-405

Formal Specification and Analysis of Timing Properties in Software Systems

Musab A. Alturki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander and Hiroshi Inamura
Proceedings of FASE’09: Fundamental Approaches to Software Engineering, York, UK, March 2009
Lecture Notes in Computer Science Volume 5503, 2009, pp 262-277

PBES: A Policy Based Encryption System with Application to Data Sharing in the Power Grid

Rakesh Bobba, Himanshu Khurana, Musab A. Alturki and Farhana Ashraf
Proceedings of ASIACCS’09: ACM Symposium on Information, Computer and Communications Security, Sydney, Australia, March 2009
ACM Proceedings: Pages 262-275, ACM New York, NY, USA 2009

Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol

Musab A. Alturki, José Meseguer and Carl A. Gunter
Proceedings of SecReT'08: The 3rd International Workshop on Security and Rewriting Techniques, Pittsburgh, PA, USA, June 2008
Elect. Notes in Theor. Comp. Sci.: Volume 234, 2009, Pages 3–18

Reduction Semantics and Formal Analysis of Orc Programs

Musab A. Alturki and José Meseguer
Proceedings of WWV'07: The 3rd International Workshop on Automated Specification and Verification of Web Systems, Venice, Italy, December 2007
Elect. Notes in Theor. Comp. Sci.: Volume 200, Issue 3, 2008, Pages 25–41

Real-Time Rewriting Semantics of Orc

Musab A. Alturki and José Meseguer
Proceedings of PPDP'07: The 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 2007
ACM Proceedings: Pages 131 - 142, ACM New York, NY, USA 2007