( en | de | ru )

 

Disambiguation of "Caccamo, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.

, and . FASE, volume 3922 of Lecture Notes in Computer Science, page 357-372. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

Trajectory Estimation for Geo-Fencing Applications on Small-Size Fixed-Wing UAVs., , , and . IROS, page 1971-1977. IEEE, (2019)Optimal real-time sampling rate assignment for wireless sensor networks., , , , and . ACM Trans. Sens. Networks, 2 (2): 263-295 (2006)Finite-horizon scheduling of radar dwells with online template construction., , , , and . Real Time Syst., 33 (1-3): 47-75 (2006)Learning 6D Pose Estimation from Synthetic RGBD Images for Robotic Applications., , , , and . CoRR, (2022)Learning to Generate All Feasible Actions., , , , , and . CoRR, (2023)Residual Policy Learning for Vehicle Control of Autonomous Racing Cars., , and . IV, page 1-6. IEEE, (2023)Minimizing Cache Usage for Real-time Systems., , , , and . RTNS, page 200-211. ACM, (2023)Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations., , , and . HSCC, page 25:1-25:2. ACM, (2022)Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems., , , and . CDC, page 1833-1840. IEEE, (2023)Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games., , , and . AAAI, page 15340-15349. AAAI Press, (2023)