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: Abdullah:Jakaria
Contributed to:
2015
20162017Wrote 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.