Works
1. Timing equivalence of simulation and real time of CPAL - Demo at RTAS 2016
2. Scheduler synthesis framework development for real-time scheduling algorithms - WiP at RTAS 2016
3. A case for FIFO scheduling - ECRTS 2016
4. Co-simulation of CPAL in to MLSL - ISED 2016
5. A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints - Sensors 2017 - 18
6. System-Level Co-simulation of a Latency-Sensitive Networked Control System - 2018
7. Automated Traceability of High level Non-functional Requirements to Low-level Model - 2018