User: Guest  Login
Sort by:
and:
More ...

Dantsker, Or D.;Theile, Mirco;Caccamo, Marco
A Cyber-Physical Prototyping and Testing Framework to Enable the Rapid Development of UAVs
Aerospace
2022
9
5
270

More ...

Zhong, Bingzhuo;Zamani, Majid;Caccamo, Marco
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems
2022 American Control Conference (ACC)
IEEE
2022

More ...

Zhong, Bingzhuo;Zamani, Majid;Caccamo, Marco
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
2022 IEEE Conference on Control Technology and Applications (CCTA)
IEEE
2022

More ...

Cao, Hongpeng;Theile, Mirco;Wyrwal, Federico G.;Caccamo, Marco
Cloud-Edge Training Architecture for Sim-to-Real Deep Reinforcement Learning
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
IEEE
2022

More ...

Bansal, Ayoosh;Kim, Hunmin;Yu, Simon;Li, Bo;Hovakimyan, Naira;Caccamo, Marco;Sha, Lui
Verifiable Obstacle Detection
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
IEEE
2022

More ...

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

More ...

Nicolella, Mattia;Roozkhosh, Shahin;Hoornaert, Denis;Bastoni, Andrea;Mancuso, Renato
RT-Bench: an Extensible Benchmark Framework for the Analysis and Management of Real-Time Applications
Proceedings of the 30th International Conference on Real-Time Networks and Systems
ACM
2022

More ...

Zhong, Bingzhuo;Lavaei, Abolfazl;Zamani, Majid;Caccamo, Marco
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
25th ACM International Conference on Hybrid Systems: Computation and Control
ACM
2022

More ...

Singh, Jayati;Olmedo, Ignacio Sanudo;Capodieci, Nicola;Marongiu, Andrea;Caccamo, Marco
Reconciling QoS and Concurrency in NVIDIA GPUs via Warp-Level Scheduling
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2022

More ...

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