 | 2012 |
|---|
| 9 |       | Jonas Eckhardt,
Tobias Mühlbauer,
Musab AlTurki,
José Meseguer,
Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns.
FASE 2012: 78-93 |
| 2011 |
|---|
| 8 | | Musab AlTurki,
José Meseguer:
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.
CALCO 2011: 386-392 |
| 2010 |
|---|
| 7 | | Musab AlTurki,
José Meseguer:
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
RTRTS 2010: 26-45 |
| 2009 |
|---|
| 6 | | 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: 262-275 |
| 5 | | Ravinder Shankesi,
Musab AlTurki,
Ralf Sasse,
Carl A. Gunter,
José Meseguer:
Model-Checking DoS Amplification for VoIP Session Initiation.
ESORICS 2009: 390-405 |
| 4 | | Musab AlTurki,
Dinakar Dhurjati,
Dachuan Yu,
Ajay Chander,
Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems.
FASE 2009: 262-277 |
| 3 | | Musab AlTurki,
José Meseguer,
Carl A. Gunter:
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.
Electr. Notes Theor. Comput. Sci. 234: 3-18 (2009) |
| 2008 |
|---|
| 2 | | Musab AlTurki,
José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs.
Electr. Notes Theor. Comput. Sci. 200(3): 25-41 (2008) |
| 2007 |
|---|
| 1 | | Musab AlTurki,
José Meseguer:
Real-time rewriting semantics of orc.
PPDP 2007: 131-142 |
Data released under the ODC-BY 1.0 license — See also our legal information page