Musab AlTurki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FASE | Stable Availability under Denial of Service Attacks through Formal Patterns. | Jonas Eckhardt, Tobias Mhlbauer, Musab AlTurki, Jos Meseguer, Martin Wirsing |
| 2011 | CALCO | PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. | Musab AlTurki, Jos Meseguer |
| 2009 | CCS | PBES: a policy based encryption system with application to data sharing in the power grid. | Rakeshbabu Bobba, Himanshu Khurana, Musab AlTurki, Farhana Ashraf |
| 2009 | ESORICS | Model-Checking DoS Amplification for VoIP Session Initiation. | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, Jos Meseguer |
| 2009 | FASE | Formal Specification and Analysis of Timing Properties in Software Systems. | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
| 2007 | PPDP | Real-time rewriting semantics of orc. | Musab AlTurki, Jos Meseguer |