Marco Caccamo

Available identifiers

zbMath Open caccamo.marcoMaRDI QIDQ704047

List of research outcomes

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

Research outcomes over time

This page was built for person: Marco Caccamo