Travelled to:1 × Estonia
1 × Poland
1 × United Kingdom
Collaborated with:J.Meseguer J.Eckhardt T.Mühlbauer M.Wirsing D.Dhurjati D.Yu A.Chander H.Inamura
Talks about:formal (2) time (2) properti (1) softwar (1) pattern (1) analysi (1) system (1) specif (1) servic (1) semant (1)
Person: Musab AlTurki
DBLP: AlTurki:Musab
Contributed to:
20122009
2007Wrote 3 papers:
- FASE-2012-EckhardtMAMW
- Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
- FASE-2009-AlTurkiDYCI #analysis #specification
- Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.
- PPDP-2007-AlTurkiM #realtime #semantics
- Real-time rewriting semantics of orc (MA, JM), pp. 131–142.