Publications


Journals

B. Zhong, C. Jordan, and P. Julien,  "Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems",  in ACM Transactions on Cyber-Physical Systems,  Vol. 5,  No. 2,  Jan 2021.

R. Tabish, R. Mancuso, S. Wasly, R. Pellizzoni, and M. Caccamo,  "A real-time scratchpad-centric OS with predictable inter/intra-core communication for multi-core embedded systems",  in Real-Time Systems Journal,  Sep 2019.