Jakaria Abdullah

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Resource Sharing

Refinement Process

Attribute Grammars

Top Venues

Publications

Jakaria Abdullah, Wang Yi
Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning (2021)
Jakaria Abdullah, Gaoyang Dai, Wang Yi
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. DATE (2019)
Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. RTAS (2018)
Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools (2017)
Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi
Synthesis of ada code from graph-based task models. SAC (2017)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe (2017)
Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi
Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS (2016)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe (2016)
Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi
Scalable Timing Analysis with Refinement. TACAS (2015)