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.


Conferences

Ohchul Kwon, Gero Schwäricke, Tomasz Kloda, Denis Hoornaert, Giovani Gracioli, and Marco Caccamo,  "Flexible Cache Partitioning for Multi-Mode Real-Time Systems",  in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE),  VIrtual Conference,  Feb 2021.

J. Ponniah, M. Theile, O. Dantsker, and M. Caccamo,  "Autonomous Hierarchical Multi-Level Clustering for Multi-UAV Systems",  in AIAA Scitech 2021 Forum,  Jan 2021.

H. Bayerlein, M. Theile, M. Caccamo, and D. Gesbert,  "UAV Path Planning for Wireless Data Harvesting: A Deep Reinforcement Learning Approach",  in Proceedings of IEEE Global Communications Conference (GLOBECOM),  Taipei, Taiwan,  Dec 2020.

D. Roy, S. Ghosh, Q. Zhu, M. Caccamo, and S. Chakraborty,  "GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources",  in Proceedings of the IEEE Real-Time Systems Symposium,  Dec 2020.

L. M. dos Santos, G. Gracioli, T. Kloda, and M. Caccamo,  "On the Design and Implementation of Real-Time Resource Access Protocols",  in Proceedings of the X Brazilian Symposium on Computing Systems Engineering,  Nov 2020.

M. Theile, H. Bayerlein, R. Nai, D. Gesbert, and M. Caccamo,  "UAV Coverage Path Planning under Varying Power Constraints using Deep Reinforcement Learning",  in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),  Las Vegas, Nevada, USA,  Oct 2020.

O. Dantsker, M. Theile, and M. Caccamo,  "Integrated Power Modeling for a Solar-Powered, Computationally-Intensive Unmanned Aircraft",  in AIAA/IEEE Electric Aircraft Technologies Symposium,  Virtual Forum,  Aug 2020.

O. Dantsker, M. Caccamo, and S. Imtiaz,  "Propulsion System Design, Optimization, Simulation, and Testing for a Long-Endurance Solar-Powered Unmanned Aircraft",  in AIAA Propulsion and Energy 2020 Forum,  Virtual Forum,  Aug 2020.

G. Schwäricke, T. Kloda, G. Gracioli, M. Bertogna, and M. Caccamo,  "Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors",  in Proceedings of 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020),  Dagstuhl, Germany,  Jul 2020.

A. Bansal, J. Singh, Yifan Hao, J. Wen, R. Mancuso, and M. Caccamo,  "Reconciling Predictability and Coherent Caching",  in Proceedings of IEEE 9th Mediterranean Conference on Embedded Computing (MECO),  Jun 2020.

R. Tabish, JY. Wen, R. Pellizzoni, R. Mancuso, H. Yun, M. Caccamo, L. Sha,  "SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors",  in Proceedings of IEEE 9th Mediterranean Conference on Embedded Computing (MECO),  Jun 2020.

O. Dantsker, M. Caccamo, R. Deters, and M. Selig,  "Performance Testing of Aero-Naut CAM Folding Propellers",  in AIAA Aviation and Aeronautics Forum and Exposition,  Virtual Forum,  Jun 2020.

M. Theile, O. Dantsker, R. Nai, M. Caccamo, and S. Yu,  "uavAP: A Modular Autopilot Framework for UAVs",  in AIAA Aviation and Aeronautics Forum and Exposition,  Virtual Forum,  Jun 2020.

M. Verucchi, M. Theile, M. Caccamo, and M. Bertogna,  "Latency-Aware Generation of Single-Rate DAGs from Multi-Rate Task Sets",  in Proceedings of 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),  Sydney, Australia,  Apr 2020.

O. Dantsker, M. Caccamo, M. Vahora, and R. Mancuso,  "Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite",  in AIAA SciTech Forum,  Orlando, FL, USA,  Jan 2020.

O. Dantsker, M. Theile, M. Caccamo, S. Yu, M. Vahora, and R. Mancuso,  "Continued Development and Flight Testing of a Long-Endurance Solar-Powered Unmanned Aircraft: UIUC-TUM Solar Flyer",  in AIAA SciTech Forum,  Orlando, FL, USA,  Jan 2020.

M. R. Soliman, G. Gracioli, R. Tabish, R. Pellizzoni, and M. Caccamo,  "Segment Streaming for the Three-Phase Execution Model: Design and Implementation",  in Proceedings of the IEEE Real-Time Systems Symposium,  Hong Kong, China,  Dec 2019.

M. Theile, S. Yu, O. Dantsker, and M. Caccamo,  "Trajectory Estimation for Geo-Fencing Applications on Small-Size Fixed-Wing UAVs",  in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),  Macau, China,  Nov 2019.

O. Dantsker, S. Imtiaz, S. Yu, and M. Caccamo,  "Electric Propulsion System Optimization for a Long-Endurance Solar-Powered Unmanned Aircraft",  in AIAA/IEEE Electric Aircraft Technologies Symposium,  Indianapolis, IN, USA,  Aug 2019.

B. Zhong, M. Zamani, and M. Caccamo,  "Sandboxing controllers for stochastic cyber-physical systems.",  in 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science,  Amsterdam, Netherlands,  Aug 2019.

M.R. Soliman, G. Gracioli, R. Tabish, R. Pellizzoni, and M. Caccamo,  "Segment Streaming for the Three-Phase Execution Model: Design and Implementation",  in Proceedings of the IEEE Real-Time Systems Symposium,  Hong Kong, China,  Jul 2019.

G. Gracioli, R. Tabish, R. Mancuso, R. Mirosanlou, R. Pellizzoni, and M. Caccamo,  "Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms",  in Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS),  Stuttgart, Germany,  Jul 2019.


Technical Reports

G. Gracioli, R. Tabish, R. Mirosanlou, R. Mancuso, R. Pellizzoni, and M. Caccamo,  "A virtualized scratchpad-based architecture for real-time event-triggered applications",  in Lehrstuhl fur Cyber-Physical Systems in Production Engineering,  Dec 2019.


Preprints

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in arXiv preprint arXiv:2104.11803,  Apr 2021.

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 arXiv preprint arXiv:2102.05490,  Feb 2021.

H. Bayerlein, M. Theile, M. Caccamo, D. Gesbert,  "Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement Learning",  in arXiv preprint arXiv:2010.12461,  Oct 2020.

M. Theile, H. Bayerlein, R. Nai, D. Gesbert, M. Caccamo,  "UAV Path Planning using Global and Local Map Information with Deep Reinforcement Learning",  in arXiv preprint arXiv:2010.06917,  Oct 2020.