Limited preemptive scheduling of mixed time-triggered and event-triggered tasks. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Xiaodi Zhang; Syed Md Jakaria Abdullah; Damir Isovic (ETFA, 2013)

Towards implementation of Virtual-Clustered multiprocessor scheduling in Linux. - Syed Md Jakaria Abdullah; Nima Moghaddami Khalilzad; Moris Behnam; Thomas Nolte (SIES, 2013)

Scalable Timing Analysis with Refinement. - Nan Guan; Yue Tang 001; Jakaria Abdullah; Martin Stigge; Wang Yi 001 (TACAS, 2015)

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2016)

Improving performance by monitoring while maintaining worst-case guarantees. - Syed Md Jakaria Abdullah; Kai Lampka; Wang Yi 001 (DATE, 2016)

Schedulability Analysis of Synchronous Digraph Real-Time Tasks. - Morteza Mohaqeqi; Jakaria Abdullah; Nan Guan; Wang Yi 001 (ECRTS, 2016)

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2017)

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. - Jakaria Abdullah; Gaoyang Dai; Nan Guan; Morteza Mohaqeqi; Wang Yi 001 (Models, Algorithms, Logics and Tools, 2017)

Refinement of Workload Models for Engine Controllers by State Space Partitioning. - Morteza Mohaqeqi; Syed Md Jakaria Abdullah; Pontus Ekberg; Wang Yi 001 (ECRTS, 2017)

Synthesis of ada code from graph-based task models. - Jakaria Abdullah; Morteza Mohaqeqi; Wang Yi 001 (SAC, 2017)

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. - Jakaria Abdullah; Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTAS, 2018)

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. - Jakaria Abdullah; Gaoyang Dai; Wang Yi 001 (DATE, 2019)

Cause-Effect Reaction Latency in Real-Time Systems. - Jakaria Abdullah; Wang Yi 001 (Model Checking, Synthesis, and Learning, 2021)