Publications

Ayman Murshed, "Scheduling Event-Triggered and Time-Triggered Applications with Optimal Reliability and Predictability on Networked Multi-Core Chips", 2018. [www]

Ayman Murshed, Mohammed Abuteir, Roman Obermaisser, "Simulation and Validation Framework for Safety-critical Applications in System-of-systems", 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Turino, Italy, 2018.

Ayman Murshed, Mohammed Abuteir and Roman Obermaisser, "Validation Framework for Time-Triggered System-of-Systems", In Proc. of the IEEE International Conference on Promising Electronic Technologies (ICPET), Deir El-Balah, Palestine, 2017.

Babak Sorkhpour,Roman Obermaisser,Ayman Murshed, "Meta-Scheduling Techniques for Energy-Efficient, Robust and Adaptive Time-Triggered Systems", 4th International Conference on Knowledge-Based Engineering and Innovation (KBEI-2017), (Iran University of Science and Technology) – Tehran, Iran, 2017. [www] [pdf]

Ayman Murshed, Roman Obermaisser, "Scheduler for reliable distributed systems with time-triggered networks", 15th IEEE International Conference on Industrial Informatics (INDIN), Emden, Germany, 2017.

Christian Schöler, Ayman Murshed, Rene Krenz-Baath and Roman Obermaisser, "Computing Optimal Communication Schedules for Time-Triggered Networks Using an SMT Solver", In Proc. of the 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 2016.

Ayman Murshed, Roman Obermaisser, Hamidreza Ahmadian and Ala Khalifeh, "Scheduling and allocation of time-triggered and event-triggered services for multi-core processors with networks-on-a-chip", In Proc. of the 13th International IEEE Conference on Industrial Informatics (INDIN), Cambridge, United Kingdom, 2015.

Christian Schöler, Ayman Murshed, Rene Krenz-Baath and Roman Obermaisser, "Optimal SAT-based Scheduler for Time-Triggered Networks-on-a-Chip", In Proc. of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES), Siegen, Germany, 2015.

Roman Obermaisser and Ayman Murshed, "Incremental, Distributed and Concurrent Scheduling in Systems-of-Systems with Real-Time Requirements", In Proc. of the 13th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC-2015), Liverpool, United Kingdom, 2015. [pdf]