∘ |
Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo,
"Minimizing Cache Usage for Real-time Systems",
in 31st International Conference on Real-Time Networks and Systems (RTNS),
Dortmund, Germany,
Jun 2023.
|
∘ |
Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo,
"Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators",
in 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),
San Antonio, USA,
May 2023.
|
∘ |
A. Zuepke, A. Bastoni, W. Chen, M. Caccamo, R. Mancuso,
"MemPol: Policing Core Memory Bandwidth from Outside of the Cores",
in 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),
May 2023.
|
∘ |
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).
|
∘ |
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.).
|
∘ |
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.).
|
∘ |
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.
|
∘ |
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.
|
∘ |
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),
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.
|
∘ |
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).
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
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.
|
∘ |
Andrea Barillari, Daniele Bernardini, Pierluigi Crescenzi,
"Sigil3D: A Crowdsourcing Platform for Interactive 3D Content",
in GARR 2016 "the CreActive Network",
Jan 2017.
|