B. Zhong, M. Zamani, and M. Caccamo,  "Formal Synthesis of Controllers for Uncertain Linear Systems against omega-Regular Properties: A Set-based Approach",  in IEEE Transactions on Automatic Control,  Apr 2023 (to appear as a full paper).

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in Automatica,  Jan 2023 (Featured by Editor-in-Chief as the Editors' Choice papers for January 2023.).

Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha,  "SchedGuard++: Protecting against Schedule Leaks Using Linux Containers On Multi-core Processors",  in ACM Transactions on Cyber-Physical Systems,  Oct 2022.

J. Ponniah and O. Dantsker,  "Strategies for Scaleable Communication and Coordination in Multi-Agent (UAV) Systems",  in Aerospace,  Vol. 9,  No. 9,  Aug 2022 (Invited).

O. Dantsker, M. Theile, and M. Caccamo,  "A Cyber-Physical Prototyping and Testing Framework to Enable the Rapid Development of UAVs",  in Aerospace,  Vol. 9,  No. 5,  May 2022.

Mohammed Foughali, and Alexander Zuepke,  "Formal Verification of Real-Time Autonomous Robots: an Interdisciplinary Approach",  in Frontiers in Robotics and AI,  Vol. 9,  Apr 2022.

B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo,  "Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems",  in Nonlinear Analysis: Hybrid Systems,  Vol. 43,  Dec 2021.

H. Bayerlein, M. Theile, M. Caccamo, D. Gesbert,  "Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement Learning",  in IEEE Open Journal of the Communications Society (2021),  Vol. 2,  May 2021.

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.

Tomasz Kloda, Antoine Bertout, Yves Sorel,  "Latency upper bound for data chains of real-time periodic tasks",  in Journal of Systems Architecture,  Vol. 109,  Oct 2020.

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.