Marco Caccamo

IEEE Trans. Autom. Control., January, 2024

Simplex-enabled Safe Continual Learning Machine.

[BibT_eX]

[DOI]

CoRR, 2024

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models.

[BibT_eX]

[DOI]

CoRR, 2024

Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning.

[BibT_eX]

[DOI]

Mirco Theile

Hongpeng Cao

Alberto L. Sangiovanni-Vincentelli

CoRR, 2024

RaceMOP: Mapless Online Path Planning for Multi-Agent Autonomous Racing using Residual Policy Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Unifying F1TENTH Autonomous Racing: Survey, Methods and Benchmarks.

[BibT_eX]

[DOI]

Benjamin David Evans

Raphael Trumpp

Herman Arnold Engelbrecht

Hendrik Willem Jordaan

CoRR, 2024

Learning to Generate All Feasible Actions.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

IEEE Access, 2024

A Containerized Microservice Architecture for a ROS 2 Autonomous Driving Software: An End-to-End Latency Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

Strict Partitioning for Sporadic Rigid Gang Tasks.

[BibT_eX]

[DOI]

Binqi Sun

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Service Class Based Management Framework for Photovoltaic Self-Consumption.

[BibT_eX]

[DOI]

Daniele Bernardini

Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024

Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems.

[BibT_eX]

[DOI]

Binqi Sun

Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024

Partitioned Scheduling and Parallelism Assignment for Real-Time DNN Inference Tasks on Multi-TPU.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

6IMPOSE: bridging the reality gap in 6D pose estimation for robotic grasping.

[BibT_eX]

[DOI]

Frontiers Robotics AI, October, 2023

Supporting single and multi-core resource access protocols on object-oriented RTOSes.

[BibT_eX]

[DOI]

Lucas Matheus dos Santos

Giovani Gracioli

Des. Autom. Embed. Syst., June, 2023

SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., January, 2023

Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

X-Stream: Accelerating streaming segments on MPSoCs for real-time applications.

[BibT_eX]

[DOI]

J. Syst. Archit., 2023

Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Mirco Theile

Harald Bayerlein

Alberto L. Sangiovanni-Vincentelli

CoRR, 2023

Secure-by-Construction Synthesis for Control Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Efficient Learning of Urban Driving Policies Using Bird's-Eye-View State Representations.

[BibT_eX]

[DOI]

CoRR, 2023

Physical Deep Reinforcement Learning: Safety and Unknown Unknowns.

[BibT_eX]

[DOI]

CoRR, 2023

Physical Deep Reinforcement Learning Towards Safety Guarantee.

[BibT_eX]

[DOI]

CoRR, 2023

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.

[BibT_eX]

[DOI]

Autom., 2023

Service Class Based Management Framework of Photovoltaic Self-Consumption for Existing Residential Buildings.

[BibT_eX]

[DOI]

Daniele Bernardini

Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, 2023

Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Minimizing Cache Usage for Real-time Systems.

[BibT_eX]

[DOI]

Binqi Sun

Sergio Arribas García

Giovani Gracioli

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

MemPol: Policing Core Memory Bandwidth from Outside of the Cores.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Residual Policy Learning for Vehicle Control of Autonomous Racing Cars.

[BibT_eX]

[DOI]

Raphael Trumpp

Denis Hoornaert

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Efficient Learning of Urban Driving Policies Using Bird'View State Representations.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Improving the Execution Time of Industrial Applications through Planned Cache Eviction Policy Selection.

[BibT_eX]

[DOI]

Sergio Arribas García

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Flexible Gear Assembly with Visual Servoing and Force Feedback.

[BibT_eX]

[DOI]

IROS, 2023

Model-Aided Federated Reinforcement Learning for Multi-UAV Trajectory Planning in IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Globecom Workshops 2023, 2023

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2022

Learning 6D Pose Estimation from Synthetic RGBD Images for Robotic Applications.

[BibT_eX]

[DOI]

CoRR, 2022

Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture.

[BibT_eX]

[DOI]

CoRR, 2022

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2022

Verifiable Obstacle Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Cloud-Edge Training Architecture for Sim-to-Real Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Memory allocation for low-power real-time embedded microcontroller: a case study.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Reconciling QoS and Concurrency in NVIDIA GPUs via Warp-Level Scheduling.

[BibT_eX]

[DOI]

Jayati Singh

Ignacio Sañudo Olmedo

Nicola Capodieci

Andrea Marongiu

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Latency analysis of self-suspending task chains.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Multi-UAV Path Planning for Wireless Data Harvesting With Deep Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Open J. Commun. Soc., 2021

An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Multi-Agent Belief Sharing through Autonomous Hierarchical Multi-Level Clustering.

[BibT_eX]

[DOI]

CoRR, 2021

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Implementation and Evaluation of Adaptive Cache Insertion Policies for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

A Real-Time Virtio-Based Framework for Predictable Inter-VM Communication.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Work in Progress: Identifying Unexpected Inter-core Interference Induced by Shared Cache.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

SchedGuard: Protecting against Schedule Leaks Using Linux Containers.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 10th Mediterranean Conference on Embedded Computing, 2021

UAV Path Planning using Global and Local Map Information with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Robotics, 2021

Timing Debugging for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Flexible Cache Partitioning for Multi-Mode Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

2020

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

On the Design and Implementation of Real-Time Resource Access Protocols.

[BibT_eX]

[DOI]

Lucas Matheus dos Santos

Giovani Gracioli

Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Latency-Aware Generation of Single-Rate DAGs from Multi-Rate Task Sets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors.

[BibT_eX]

[DOI]

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

Reconciling Predictability and Coherent Caching.

[BibT_eX]

[DOI]

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

UAV Coverage Path Planning under Varying Power Constraints using Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

UAV Path Planning for Wireless Data Harvesting: A Deep Reinforcement Learning Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2020

Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019

A real-time scratchpad-centric OS with predictable inter/intra-core communication for multi-core embedded systems.

[BibT_eX]

[DOI]

Real Time Syst., 2019

Preserving Physical Safety Under Cyber Attacks.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

Cache Where you Want! Reconciling Predictability and Coherent Caching.

[BibT_eX]

[DOI]

CoRR, 2019

Segment Streaming for the Three-Phase Execution Model: Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Trajectory Estimation for Geo-Fencing Applications on Small-Size Fixed-Wing UAVs.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Sandboxing Controllers for Stochastic Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms.

[BibT_eX]

[DOI]

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

uavEE: A Modular, Power-Aware Emulation Environment for Rapid Prototyping and Testing of UAVs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Guaranteed physical security with restart-based design for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Optimizing resource speed for two-stage real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2017

Restart-Based Security Mechanisms for Safety-Critical Embedded Systems.

[BibT_eX]

[DOI]

CoRR, 2017

A scheduling framework for handling integrated modular avionic systems on multicore platforms.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Restart-based fault-tolerance: System design and schedulability analysis.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

A Reliable and Predictable Scratchpad-centric OS for Multi-core Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Application and system-level software fault tolerance through full system restarts.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment.

[BibT_eX]

[DOI]

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2016

Real-Time Reachability for Verified Simplex Design.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Global Real-Time Memory-Centric Scheduling for Multicore Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Guest editorial: special issue on multicore systems.

[BibT_eX]

[DOI]

Marko Bertogna

Real Time Syst., 2016

Real-Time Computing on Multicore Processors.

[BibT_eX]

[DOI]

Computer, 2016

A Real-Time Scratchpad-Centric OS for Multi-Core Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Reset-based recovery for real-time cyber-physical systems with temporal safety constraints.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Speed optimization for tasks with two resources.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication.

[BibT_eX]

[DOI]

Stanley Bak

Zhenqi Huang

ACM Trans. Embed. Comput. Syst., 2015

A Memory Access Detection Methodology for Accurate Workload Characterization.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Using traffic phase shifting to improve AFDX link utilization.

[BibT_eX]

[DOI]

Renato Mancuso

Andrew V. Louis

Proceedings of the 2015 International Conference on Embedded Software, 2015

WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014

A hardware architecture to deploy complex multiprocessor scheduling algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Light-PREM: Automated software refactoring for predictable execution on COTS embedded systems.

[BibT_eX]

[DOI]

Renato Mancuso

Roman Dudko

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

A low-power architecture for high frequency sensor acquisition in many-DOF UAVs.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013

Real-Time I/O Management System with COTS Peripherals.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2013

Using run-time checking to provide safety and progress for distributed cyber-physical systems.

[BibT_eX]

[DOI]

Stanley Bak

Zhenqi Huang

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Real-time cache management framework for multi-core architectures.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

On-chip control flow integrity check for real time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Real-Time Scheduling of Concurrent Transactions in Multidomain Ring Buses.

[BibT_eX]

[DOI]

Bach Duy Bui

IEEE Trans. Computers, 2012

Memory-centric scheduling for multicore hard real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2012

S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems

[BibT_eX]

[DOI]

CoRR, 2012

Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

A Fault Resilient Architecture for Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Brett Robbins

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2011

A Slot-Based Real-Time Scheduling Algorithm for Concurrent Transactions in NoC.

[BibT_eX]

[DOI]

Bach Duy Bui

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

A Predictable Execution Model for COTS-Based Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Sandboxing Controllers for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

A step towards verification and synthesis from simulink/stateflow models.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

Real-Time Communication for Multicore Systems with Multi-domain Ring Buses.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Preemption Points Placement for Sporadic Task Sets.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Worst case delay analysis for memory interference in multicore systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Worst-case response time analysis of resource access models in multi-core systems.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

2009

Real-Time Control of I/O COTS Peripherals for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Handling mixed-criticality in SoC-based real-time embedded systems.

[BibT_eX]

[DOI]

Patrick O'Neil Meredith

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2008

M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms.

[BibT_eX]

[DOI]

Real Time Syst., 2008

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Patrick O'Neil Meredith

Grigore Rosu

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Hybrid Hardware-Software Architecture for Reconfigurable Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

2007

Real-Time Communication for Embedded Wireless Networks.

[BibT_eX]

[DOI]

Tarek F. Abdelzaher

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2007

Robust implicit EDF: A wireless MAC protocol for collaborative real-time systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2007

Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Toward the Predictable Integration of Real-Time COTS Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Soft Real-Time Chains for Multi-Hop Wireless Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Real-time implications of multiple transmission rates in wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, 2007

2006

Optimal real-time sampling rate assignment for wireless sensor networks.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2006

Feedback fault tolerance of real-time embedded systems: issues and possible solutions.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

Finite-horizon scheduling of radar dwells with online template construction.

[BibT_eX]

[DOI]

Real Time Syst., 2006

I-Living: An Open System Architecture for Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

Adaptive Allocation of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Switch Scheduling and Network Design for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Task Partitioning with Replication upon Heterogeneous Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.

[BibT_eX]

[DOI]

Peter Csaba Ölveczky

Proceedings of the Fundamental Approaches to Software Engineering, 2006

The Dependency Management Framework: A Case Study of the ION CubeSat.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005

Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times.

[BibT_eX]

[DOI]

Deepu C. Thomas

IEEE Trans. Computers, 2005

The capacity of an implicit prioritized access protocol in wireless sensor networks.

[BibT_eX]

[DOI]

Lynn Y. Zhang

J. Embed. Comput., 2005

Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Time-Parameterized Sensing Task Model for Real-Time Tracking.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Spare CASH: Reclaiming Holes to Minimize Aperiodic Response Times in a Firm Real-Time Environment.

[BibT_eX]

[DOI]

Deepu C. Thomas

Chang-Gun Lee

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

A Robust Implicit Access Protocol for Real-Time Wireless Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

Real-Time Scheduling for Embedded Systems.

[BibT_eX]

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Real-Time Synchronization Protocols.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004

Real Time Scheduling Theory: A Historical Perspective.

[BibT_eX]

[DOI]

Real Time Syst., 2004

Hard Real-Time Communication in Bus-Based Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Collaborative Resource Allocation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Simone Giannecchini

Chi-Sheng Shih

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003

Scheduling Real-Time Dwells Using Tasks with Synthetic Periods.

[BibT_eX]

[DOI]

Chi-Sheng Shih

Phanindra Ganti

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Template-Based Real-Time Dwell Scheduling with Energy Constraint.

[BibT_eX]

[DOI]

Chi-Sheng Shih

Phanindra Ganti

Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

The Capacity of Implicit EDF in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Lynn Y. Zhang

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002

Handling Execution Overruns in Hard Real-Time Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Elastic Scheduling for Flexible Workload Management.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

An Implicit Prioritized Access Protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001

Aperiodic Servers with Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000

Capacity Sharing for Overrun Control.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Elastic feedback control.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Online control optimization using load driven scheduling.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Minimizing Aperiodic Response Times in a Firm Real-Time Environment.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines.

[BibT_eX]

[DOI]

Giuseppe Lipari

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

1998

Optimal Scheduling for Fault-Tolerant and Firm Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

1997

Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.

[BibT_eX]

[DOI]