Marco Caccamo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach IEEE Transactions on Automatic Control	2024-07-21	Paper
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations Automatica	2022-12-09	Paper
scientific article; zbMATH DE number 7559361 (Why is no real title available?)	2022-07-18	Paper
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems Nonlinear Analysis. Hybrid Systems	2022-02-10	Paper
Sandboxing controllers for stochastic cyber-physical systems (available as arXiv preprint)	2020-05-05	Paper
Handling execution overruns in hard real-time control systems IEEE Transactions on Computers	2018-07-09	Paper
Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints IEEE Transactions on Computers	2017-11-10	Paper
Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems IEEE Transactions on Computers	2017-07-27	Paper
Real-Time I/O Management System with COTS Peripherals IEEE Transactions on Computers	2017-07-12	Paper
Real-Time Scheduling of Concurrent Transactions in Multidomain Ring Buses IEEE Transactions on Computers	2017-07-12	Paper
Optimizing resource speed for two-stage real-time tasks Real-Time Systems	2017-07-06	Paper
Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms IEEE Transactions on Computers	2017-05-16	Paper
Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems IEEE Transactions on Computers	2017-05-16	Paper
Global Real-Time Memory-Centric Scheduling for Multicore Systems IEEE Transactions on Computers	2017-05-16	Paper
Memory-centric scheduling for multicore hard real-time systems Real-Time Systems	2014-07-14	Paper
M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms Real-Time Systems	2008-09-12	Paper
Finite-horizon scheduling of radar dwells with online template construction Real-Time Systems	2006-11-17	Paper
Soft Real-Time Systems Series in Computer Science	2005-06-28	Paper
Real time scheduling theory: A historical perspective Real-Time Systems	2005-01-12	Paper

Research outcomes over time

This page was built for person: Marco Caccamo