Musab AlTurki

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Denial Of Service Attacks

Data Mining Techniques

Unsupervised Learning

Top Venues

Publications

Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE (2012)
Musab AlTurki, José Meseguer
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO (2011)
Musab AlTurki, José Meseguer
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis RTRTS (2010)
Rakeshbabu Bobba, Himanshu Khurana, Musab AlTurki, Farhana Ashraf
PBES: a policy based encryption system with application to data sharing in the power grid. AsiaCCS (2009)
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS (2009)
Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura
Formal Specification and Analysis of Timing Properties in Software Systems. FASE (2009)
Musab AlTurki, José Meseguer, Carl A. Gunter
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. Electron. Notes Theor. Comput. Sci. 234 (2009)
Musab AlTurki, José Meseguer
Reduction Semantics and Formal Analysis of Orc Programs. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Musab AlTurki, José Meseguer
Real-time rewriting semantics of orc. PPDP (2007)