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 × United Kingdom
Collaborated with:
Morteza Mohaqeqi W.Y.0001 N.Guan Y.Tang M.Stigge W.Yi
Talks about:
analysi (2) model (2) graph (2) time (2) task (2) synchron (1) scalabl (1) digraph (1) semant (1) execut (1)

Person: Jakaria Abdullah

DBLP DBLP: Abdullah:Jakaria

Contributed to:

TACAS 20152015
Ada-Europe 20162016
Ada-Europe 20172017

Wrote 3 papers:

TACAS-2015-GuanTAS0 #analysis #refinement #scalability
Scalable Timing Analysis with Refinement (NG, YT, JA, MS, WY), pp. 3–18.
AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #modelling #realtime #using
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
AdaEurope-2017-MohaqeqiA0 #ada #execution #graph #semantics
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.

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.