Publications


Conferences

Shahin Roozkhosh, Denis Hoornaert, Ju Hyoung Mun, Tarikul Islam Papon, Ahmed Sanaullah, Ulrich Drepper, Renato Mancuso, Manos Athanassoulis,  "Relational memory: Native in-memory accesses on rows and columns",  in 26th International Conference on Extending Database Technology (EDBT23),  Mar 2023.

B. Zhong, H. Cao, M. Zamani, and M. Caccamo,  "Towards safe AI: Sandboxing DNNs-based Controllers in Stochastic Games",  in Proceedings of the 37th AAAI Conference on Artificial Intelligence,  Jan 2023 (To appear.).

Shahin Roozkhosh, Denis Hoornaert, Renato Mancuso,  "CAESAR: Coherence-Aided Elective and Seamless Alternative Routing via on-chip FPGA",  in 2022 IEEE Real-Time Systems Symposium (RTSS),  Houston, Texas,  Dec 2022.

Zhishen Zhang, Yuwen Shen, Binqi Sun, Tomasz Kloda, Marco Caccamo,  "Memory allocation for low-power real-time embedded microcontroller: a case study",  in Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2022),  Stuttgart, Germany,  Sep 2022.

B. Zhong, M. Zamani, M. Caccamo,  "Set-based Approach for Synthesizing Controllers Enforcing Omega-Regular Properties over Uncertain Linear Control Systems",  in Proceedings of American Control Conference (ACC),  Atlanta, GA, USA,  Sep 2022.

B. Zhong, M. Zamani, M. Caccamo,  "Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach",  in 6th IEEE Conference on Control Technology and Applications,  Aug 2022 (To appear).

Denis Hoornaert, Golsana Ghaemi, Andrea Bastoni, Renato Mancuso, Marco Caccamo, Giulio Corradi,  "On the Interplay of Computation and Memory Regulation in Multicore Real-Time Systems",  in The 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications,  Modena,  Jul 2022.

A. Nejati, B. Zhong, M. Caccamo, M. Zamani,  "Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates",  in Proceedings of The 4th Annual Learning for Dynamics and Control Conference, PMLR,  Vol. 168,  Jun 2022.

Mattia Nicolella, Shahin Roozkhosh, Denis Hoornaert, Andrea Bastoni, Renato Mancuso,  "RT-Bench: an Extensible Benchmark Framework for the Analysis and Management of Real-Time Applications",  in Proceedings of the 30th International Conference on Real-Time Networks and Systems (RTNS23),  Paris,  Jun 2022.

R. Trumpp, H. Bayerlein, D. Gesbert,  "Modeling Interactions of Autonomous Vehicles and Pedestrians with Deep Multi-Agent Reinforcement Learning for Collision Avoidance",  in IEEE Intelligent Vehicles Symposium,  Aachen, Germany,  Jun 2022.

O. Dantsker, M. Caccamo, R. Deters, and M. Selig,  "Performance Testing of APC Electric Fixed-Blade UAV Propellers",  in AIAA Aviation and Aeronautics Forum and Exposition,  Chicago, IL,  Jun 2022.

A. Nejati, B. Zhong, M. Caccamo, M. Zamani,  "Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach",  in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,  May 2022.

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations",  in 25th ACM International Conference on Hybrid Systems: Computation and Control,  May 2022.

Tomasz Kloda , Jiyang Chen, Antoine Bertout, Lui Sha, Marco Caccamo,  "Latency analysis of self-suspending task chains",  in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE),  Antwerp, Belgium,  Feb 2022.

G. Schwäricke, R. Tabish, R. Pellizzoni, R. Mancuso, A. Bastoni, A. Züpke, M. Caccamo,  "A Real-Time virtio-based Framework for Predictable Inter-VM Communication",  in Proc. of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021),  Dec 2021.

M. Theile, H. Bayerlein, R. Nai, D. Gesbert, M. Caccamo,  "UAV Path Planning using Global and Local Map Information with Deep Reinforcement Learning",  in 20th International Conference on Advanced Robotics (ICAR),  Ljubljana, Slovenia,  Dec 2021.

Bruna Arruda Araujo, Giovani Gracioli, Tomasz Kloda, Denis Hoornaert, Marco Caccamo,  "Implementation and Evaluation of Adaptive Cache Insertion Policies for Real-Time Systems",  in Proceedings of the XI Brazilian Symposium on Computing Systems Engineering (SBESC 2021),  Nov 2021.

O. Dantsker, M. Theile, and M. Caccamo,  "Long Endurance Flight Testing Results for the UIUC-TUM Solar Flyer",  in AIAA Aviation and Aeronautics Forum and Exposition,  Virtual Forum,  Aug 2021.

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

O. Dantsker, M. Caccamo, and R. Mancuso,  "Energy System Instrumentation and Data Acquisition for Flight Testing a Long-Endurance, Solar-Powered Unmanned Aircraft",  in AIAA Propulsion and Energy Forum,  Virtual Forum,  Aug 2021.

Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha,  "SchedGuard: Protecting against Schedule Leaks Using Linux Containers",  in 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS),  Jul 2021.

Denis Hoornaert, Shahin Roozkhosh, Renato Mancuso,  "A Memory Scheduling Infrastructure for Multi-Core Systems with Re-Programmable Logic",  in 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021),  Modena (Virtual),  Jul 2021.

A. Lavaei, B. Zhong, M. Caccamo, M. Zamani,  "Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems",  in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,  Jul 2021.

Denis Hoornaert, Shahin Roozkhosh, Renato Mancuso, Marco Caccamo,  "Work in Progress: Identifying Unexpected Inter-core Interference Induced by Shared Cache",  in 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS),  Virtual,  May 2021.

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 (SBESC 2020),  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 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.

Andrea Tagliavini, Donato Ferraro, Tomasz Kloda, Paolo Burgio,  "An Automatic Scenario Generator for Validation of Automated Valet Parking Systems",  in 6th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2020),  Vol. 1,  May 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.