∘ |
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.
|