BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: AlTurki:Musab

Contributed to:

FASE 20122012
FASE 20092009
PPDP 20072007

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.