Syed Md Jakaria Abdullah

According to our database, Syed Md Jakaria Abdullah authored at least 13 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2021

Cause-Effect Reaction Latency in Real-Time Systems.

Jakaria Abdullah, Wang Yi

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2019

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication.

Jakaria Abdullah, Gaoyang Dai, Wang Yi

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing.

Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

2017

Synthesis of ada code from graph-based task models.

Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi

Proceedings of the Symposium on Applied Computing, 2017

Refinement of Workload Models for Engine Controllers by State Space Partitioning.

Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Schedulability Analysis of Synchronous Digraph Real-Time Tasks.

Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Improving performance by monitoring while maintaining worst-case guarantees.

Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Scalable Timing Analysis with Refinement.

Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Towards implementation of Virtual-Clustered multiprocessor scheduling in Linux.

Syed Md Jakaria Abdullah, Nima Moghaddami Khalilzad, Moris Behnam, Thomas Nolte

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

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

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013