Marco Caccamo's Publications
Conference and journal papers
(listed in reverse chronological order)
-
“Coherence-Aided Memory Bandwidth Regulation”,
IEEE Real-Time Systems Symposium (RTSS), December 2024
-
“Partitioned Scheduling and Parallelism Assignment for Real-Time DNN Inference Tasks on Multi-TPU”,
ACM/IEEE Design Automation Conference (DAC), July 2024
-
“Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning”,
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2024
-
“RaceMOP: Mapless online path planning for multi-agent autonomous racing using residual policy learning”,
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2024
-
“A Containerized Microservice Architecture for a ROS 2 Autonomous Driving Software: An End-to-End Latency Evaluation”,
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August 2024
-
“Minimizing cache usage with fixed-priority and earliest deadline first scheduling”,
Real-Time Systems Journal, July 2024
-
“MemPol: polling-based microsecond-scale per-core memory bandwidth regulation”,
Real-Time Systems Journal, July 2024
-
“Service Class Based Management Framework for Photovoltaic Self-Consumption”,
Mediterranean Conference on Embedded Computing (MECO), July 2024
-
“Mcti: mixed-criticality task-based isolation”,
Real-Time Systems Journal, July 2024
-
“Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning”,
IEEE Access, July 2024
-
“Edge Generation Scheduling for DAG Tasks using Deep Reinforcement Learning”,
IEEE Transactions on Computers, July 2024
-
“Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems”,
Euromicro Conference on Real-Time Systems (ECRTS), July 2024
-
“Strict Partitioning for Sporadic Rigid Gang Tasks”,
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2024
-
“Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults”,
Software Testing, Verification and Reliability, May 2024
-
“Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?”,
IEEE Real-Time Systems Symposium (RTSS), December 2023
-
“Physics-Model-Regulated Deep Reinforcement Learning: Towards Safety & Stability?”,
IEEE 62nd Conference on Decision and Control (CDC), December 2023
-
“Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems”,
IEEE 62nd Conference on Decision and Control (CDC), December 2023
-
“Model-aided Federated Reinforcement Learning for Multi-UAV Trajectory Planning in IoT Networks”,
IEEE Global Communications Conference (GLOBECOM), December 2023
-
“Flexible Gear Assembly With Visual Servoing and Force Feedback”,
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2023
-
“6IMPOSE: bridging the reality gap in 6D pose estimation for robotic grasping”,
Frontiers in Robotics and AI, 10, 1176492, 2023
-
“Improving the Execution Time of Industrial Applications through Planned Cache Eviction Policy Selection”,
IEEE International Symposium on Industrial Electronics (ISIE), June 2023
-
“Minimizing Cache Usage for Real-time Systems”,
(Best paper award) Proceedings of the 31st Conference on Real-Time Networks and Systems (RTNS), June 2023
-
“Residual Policy Learning for Vehicle Control of Autonomous Racing Cars”,
IEEE Intelligent Vehicles Symposium, June 2023
-
“Expanded Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite”,
AIAA SCITECH Forum, 2105, 2023
-
“MemPol: Policing Core Memory Bandwidth from Outside of the Cores”,
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023
-
“Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators”,
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023
-
“Lazy Load Scheduling for Mixed-Criticality Applications in Heterogeneous MPSoCs”,
ACM Transactions on Embedded Computing Systems, Volume 22 Issue 3, May 2023.
-
“Supporting single and multi-core resource access protocols on object-oriented RTOSes”,
Journal of Design Automation for Embedded Systems, Volume 27, pp. 31-50, March 2023
-
“Towards safe AI: Sandboxing DNNs-based controllers in stochastic games”,
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), February 2023.
-
“Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations”,
Featured by Editor-in-Chief as the Editors' Choice papers for January 2023. Automatica, Volume 147, January 2023.
-
“Schedguard++: Protecting against schedule leaks using linux containers on multi-core processors”,
ACM Transactions on Cyber-Physical Systems, October 2022.
-
“Cloud-edge training architecture for sim-to-real deep reinforcement learning”,
Proceedings of the 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2022.
-
“Latency analysis of self-suspending task chains”,
Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition (DATE), September 2022.
-
“Memory allocation for low-power real-time embedded microcontroller: a case study”,
Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), August 2022.
-
“Synthesizing safety controllers for uncertain linear systems: A direct data-driven approach”,
Proceedings of the 6th IEEE Conference on Control Technology and Applications (CCTA), August 2022.
-
“Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates”,
Proceedings of the 4th Learning for Dynamics and Control Conference (L4DC), June 2022.
-
“A set-based approach for synthesizing controllers enforcing omega-regular properties over uncertain linear control systems”,
Proceedings of 2022 American Control Conference (ACC), June 2022.
-
“A cyber-physical prototyping and testing framework to enable the rapid development of UAVs”,
Aerospace, 9(5), May 2022.
-
“Controller synthesis for nonlinear stochastic games via approximate probabilistic relations”,
Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, May 2022.
-
“Controller synthesis for unknown polynomial-type systems: A data-driven approach”,
Proceedings of the 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), May 2022.
-
“Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems”,
Journal of Nonlinear Analysis: Hybrid Systems, Volume 43, December 2021.
-
"A Real-Time virtio-based Framework for Predictable Inter-VM Communication",
Proceedings of the 42nd IEEE Real-Time Systems Symposium (RTSS), December 2021.
-
“UAV path planning using global and local map information with deep reinforcement learning”,
Proceedings of the International Conference of Advanced Robotics (ICAR), December 2021.
-
"Implementation and Evaluation of Adaptive Cache Insertion Policies for Real-Time Systems",
Proceedings of the XI Brazilian Symposium on Computing Systems Engineering (SBESC), November 2021.
-
“An Analyzable Inter-Core Communication Framework for High-Performance Multicore Embedded Systems”,
Journal of Systems Architecture, Volume 18, September 2021.
-
“Long Endurance Flight Testing Results for the UIUC-TUM Solar Flyer”,
In AIAA AVIATION 2021 FORUM, July 2021.
-
“Integrated Power Simulation for a Solar-Powered, Computationally-Intensive Unmanned Aircraft”,
In AIAA Propulsion and Energy 2021 Forum, July 2021.
-
“Energy System Instrumentation and Data Acquisition for Flight Testing a Long-Endurance, Solar-Powered Unmanned Aircraft”,
In AIAA Propulsion and Energy Forum, Virtual Forum, July 2021.
-
"Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles",
Proceedings of the 10th Mediterranean Conference on Embedded Computing (MECO), June 2021.
-
“Multi-uav path planning for wireless data harvesting with deep reinforcement learning”,
IEEE Open Journal of the Communications Society, Volume 2, May 2021.
-
“Work in Progress: Identifying Unexpected Inter-core Interference Induced by Shared Cache”,
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2021.
-
“SchedGuard: Protecting against Schedule Leaks Using Linux Containers”,
Proceedings of the 27th IEEE Conference on Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2021.
-
“Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems”,
Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS). May 2021.
-
"Flexible Cache Partitioning for Multi-Mode Real-Time Systems",
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), February 2021.
-
“Timing debugging for cyber-physical systems”,
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), February 2021.
-
“Autonomous Hierarchical Multi-Level Clustering for Multi-UAV Systems”,
In AIAA SciTech Forum 2021, Virtual Forum, January 2021.
-
"GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources",
Proceedings of the IEEE Real-Time Systems Symposium, December 2020.
-
"UAV Path Planning for Wireless Data Harvesting: A Deep Reinforcement Learning Approach",
Proceedings of IEEE Global Communications Conference (GLOBECOM), Taipei, Taiwan, December 2020.
-
"On the Design and Implementation of Real-Time Resource Access Protocols",
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, November 2020.
-
"UAV Coverage Path Planning under Varying Power Constraints using Deep Reinforcement Learning",
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, Nevada, USA, October 2020.
-
"Integrated Power Modeling for a Solar-Powered, Computationally-Intensive Unmanned Aircraft",
In AIAA/IEEE Electric Aircraft Technologies Symposium, Virtual Forum, August 2020.
-
"Propulsion System Design, Optimization, Simulation, and Testing for a Long-Endurance Solar-Powered Unmanned Aircraft",
In AIAA Propulsion and Energy 2020 Forum, Virtual Forum, August 2020.
-
"Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors",
Proceedings of 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), Dagstuhl, Germany, July 2020.
-
"Reconciling Predictability and Coherent Caching",
Proceedings of IEEE 9th Mediterranean Conference on Embedded Computing (MECO), June 2020.
-
"SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors",
Proceedings of IEEE 9th Mediterranean Conference on Embedded Computing (MECO), June 2020.
-
"Performance Testing of Aero-Naut CAM Folding Propellers",
in AIAA Aviation and Aeronautics Forum and Exposition, Virtual Forum, June 2020.
-
"uavAP: A Modular Autopilot Framework for UAVs",
in AIAA Aviation and Aeronautics Forum and Exposition, Virtual Forum, June 2020.
-
"Latency-Aware Generation of Single-Rate DAGs from Multi-Rate Task Sets",
Proceedings of 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Sydney, Australia, April 2020.
-
"Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite",
In AIAA SciTech Forum, Orlando, FL, USA, January 2020.
-
"Continued Development and Flight Testing of a Long-Endurance Solar-Powered Unmanned Aircraft: UIUC-TUM Solar Flyer",
In AIAA SciTech Forum, Orlando, FL, USA, January 2020.
-
"Segment Streaming for the Three-Phase Execution Model: Design and Implementation",
Proceedings of the IEEE Real-Time Systems Symposium, Hong Kong, China, December 2019.
-
"Trajectory Estimation for Geo-Fencing Applications on Small-Size Fixed-Wing UAVs",
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Macau, China, November 2019.
-
"A real-time scratchpad-centric OS with predictable inter/intra-core communication for multi-core embedded systems",
Real-Time Systems Journal, on-line, September 2019.
-
"Sandboxing Controllers for Stochastic Cyber-Physical Systems",
Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Amsterdam, Netherlands, August 2019.
-
"Electric Propulsion System Optimization for a Long-Endurance Solar-Powered Unmanned Aircraft",
(Best presentation award) in AIAA/IEEE Electric Aircraft Technologies Symposium, Indianapolis, IN, USA, August 2019.
-
"Preserving Physical Safety Under Cyber Attacks",
IEEE Internet of Things Journal, Vol. 6, No. 4, August 2019.
-
"Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms",
(Outstanding paper) Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS), Stuttgart, Germany, July 2019.
-
"Flight Testing Automation to Characterize UAV Aerodynamics",
in AIAA Aviation and Aeronautics Forum and Exposition, Dallas, TX, USA, June 2019.
-
"Propulsion System Testing for a Long-Endurance Solar-Powered Unmanned Aircraft",
In AIAA Aviation and Aeronautics Forum and Exposition, Dallas, TX, USA, June 2019.
-
"uavEE: A Modular, Power-Aware Emulation Environment for Rapid Prototyping and Testing of UAV",
Proceedings of IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hokkaido, Japan, August 2018.
-
"A High-Fidelity, Low-Order Propulsion Power Model for Fixed-Wing Electric Unmanned Aircraft",
in AIAA/IEEE Electric Aircraft Technologies Symposium, Cincinnati, OH, USA, July 2018.
-
"Design, Development, and Initial Testing of a Computationally-Intensive, Long-Endurance Solar-Powered Unmanned Aircraft",
In AIAA Aviation and Aeronautics Forum and Exposition, Atlanta, GA, USA, June 2018.
-
"High Fidelity Moment of Inertia Testing of Unmanned Aircraft",
In AIAA Aviation and Aeronautics Forum and Exposition, Atlanta, GA, USA, June 2018.
-
"Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems",
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal, April 2018.
-
"A Scheduling Framework for Handling Integrated Modular Avionic Systems on Multicore Platforms",
Proceedings of IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hsinchu, Taiwan, August 2017.
-
"Restart-Based Fault-Tolerance: System Design and Schedulability Analysis",
Proceedings of IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hsinchu, Taiwan, August 2017.
-
"WCET Derivation under Single Core Equivalence with Explicit Memory Budget Assignment",
Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS), Dubrovnik, Croatia, June 2017.
-
"A Reliable and Predictable Scratchpad-Centric OS for Multi-Core Embedded Systems",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pittsburgh, USA, April 2017.
-
"Application and System-Level Software Fault Tolerance Through Full System Restarts",
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Pittsburgh, USA, April 2017.
-
"Optimizing resource speed for two-stage real-time tasks",
Real-Time Systems Journal, Vol. 53, No. 1, pp. 82-120, January 2017.
-
"Real-Time Computing on Multicore Processors",
IEEE Computer, Vol. 49, Issue 9, pp. 69-77, September 2016.
-
"Reset-Based Recovery for Real-Time Cyber-Physical Systems with Temporal Safety Constraints",
Proceedings of the IEEE International Conference on Emerging Technology and Factory Automation, (ETFA), Berlin, Germany, September 2016.
-
"A Real-Time Scratchpad-centric OS for Multi-core Embedded Systems",
(Best presentation award) Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 2016.
-
"Speed Optimization for Tasks with Two Resources",
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2016), Dresden, Germany, March 2016.
-
"Memory bandwidth management for efficient performance isolation in multi-core platforms",
Featured by IEEE TC as Paper of the month and Editor's pick of the year 2016.IEEE Transactions on Computers (TC), Vol. 65, Issue 2, February 2016.
-
"Global Real-Time Memory-Centric Scheduling for Multicore Systems",
IEEE Transactions on Computers (TC), Vol. 65, Issue 9, September 2016.
-
"Real-Time Reachability for Verified Simplex Design"
ACM Transactions on Embedded Computing Systems (TECS), Vol. 15, Issue 2, May 2016.
-
"Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems",
IEEE Transactions on Computers (TC), Vol. 65, Issue 2, February 2016.
-
"Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication",
ACM Transactions on Embedded Computing Systems (TECS), Vol. 14, Issue 4, September 2015.
-
"Using Traffic Phase Shifting to Improve AFDX Link Utilization",
Proceedings of the 15th ACM International Conference on Embedded Software (EMSOFT), Amsterdam, The Netherlands. October 2015.
-
"A Memory Access Detection Methodology for Accurate Workload Characterization",
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hong Kong, China, August 2015.
-
"WCET(m) estimation in multi-core systems using Single Core Equivalence",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems (ECRTS), Lund, Sweden, July 2015.
-
"Real-Time Reachability for Verified Simplex Design"
Proceedings of the IEEE Real-Time Systems Symposium, Rome, Italy, December 2014.
-
"Light-PREM: Automated Software Refactoring for Predictable Execution on COTS Embedded Systems",
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Chongqing, China, August 2014.
-
"A Hardware Architecture to Deploy Complex Multiprocessor Scheduling Algorithms",
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Chongqing, China, August 2014.
-
"High-Frequency Sensor Data Acquisition System (SDAC) for Flight Control And Aerodynamic Data Collection Research on Small to Mid-Sized UAVs",
Proceedings of the AIAA Aviation and Aeronautics Forum and Exposition, Applied Aerodynamic Conference, Atlanta, Georgia, June 2014.
-
"A Low-Power Architecture for High Frequency Sensor Acquisition in Many-DOF UAVs",
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, April 2014.
-
"On-Chip Control Flow Integrity Check for Real Time Embedded Systems",
Proceedings of the IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA'13), Taipei, Taiwan, August 2013.
-
"Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems",
Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'13), Taipei, Taiwan, August 2013.
-
"S3A: Secure System Simplex Architecture for Enhanced Security and Robustness of Cyber-Physical Systems",
Proceedings of the ACM Int. Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, USA, April 2013.
-
"MemGuard: Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Platforms",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, April 2013.
-
"Real-Time Cache Management Framework for Multi-core Architectures",
(Best student paper award) Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, April 2013.
-
"Real-Time I/O Management System with COTS Peripherals"
IEEE Transactions on Computers (TC), Vol. 62, No. 1, pp. 45-58, January 2013.
-
"Memory-centric scheduling for multicore hard real-time systems",
Real-Time Systems Journal, Vol. 48, No. 6, pp. 681-715, November 2012.
-
"A Fault Resilient Architecture for Distributed Cyber-Physical Systems",
Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'12), Seoul, Korea, August 2012.
-
"Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems",
Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'12), Seoul, Korea, August 2012.
-
"Memory Access Control in Multiprocessor for Real-time Systems with Mixed Criticality",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, July 2012.
-
"Real-time Scheduling of Concurrent Transactions in Multi-domain Ring Buses",
IEEE Transactions on Computers (TC), Vol. 61, No. 9, September 2012.
-
"A Slot-Based Real-Time Scheduling Algorithm for Concurrent Transactions in NoC",
Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan, August 2011.
-
"Sandboxing Controllers for Cyber-Physical Systems",
Proceedings of 2nd ACM/IEEE Intern. Conference on Cyber-Physical Systems (ICCPS), Chicago, USA, April 2011.
-
"A Predictable Execution Model for COTS-based Embedded Systems",
Proceedings of 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, USA, April 2011.
-
"Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters",
Proceedings of 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, USA, April 2011.
-
"A step towards verification and synthesis from Simulink/Stateflow models",
Proceedings of 14th International Conference on Hybrid Systems: Computation and Control (HSCC), Chicago, USA, April 2011.
-
"Exploring the Design Space of IMA System Architectures",
Proceedings of 29th Digital Avionics Systems Conference (DASC), October 2010.
-
"Real-time Communication for Multicore Systems with Multi-domain Ring Buses",
Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10), Macau SAR, P.R.C., August 2010.
-
"Preemption Points Placement for Sporadic Task Sets",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, July 2010.
-
"Worst Case Response Time Analysis of Resource Access Models in Multi-Core Systems",
Proceedings of the Design Automation Conference (DAC 2010), Anheim (CA), USA, June 2010.
-
"Worst Case Delay Analysis for Memory Interference in Multicore Systems",
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), Dresden, Germany, March 2010.
-
"Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems"
IEEE Transactions on Computers (TC), Vol. 59, No. 3, March 2010.
-
"Real-Time Control of I/O COTS Peripherals for Embedded Systems",
Proceedings of the IEEE Real-Time Systems Symposium, Washington, December 2009.
-
"Handling Mixed Criticality in SoC-based Real-Time Embedded Systems",
Proceedings of the International Conference on Embedded Software (EMSOFT), Grenoble, France, October 2009.
-
"The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, April 2009.
-
"Hardware Runtime Monitoring for Dependable COTS-based Real-Time Embedded Systems,"
Proceedings of the IEEE Real-Time Systems Symposium, Barcelona, December 2008.
-
"Coscheduling of CPU and I/O Transactions in COTS-based Embedded Systems,"
Proceedings of the IEEE Real-Time Systems Symposium, Barcelona, December 2008.
-
"M-CASH: A Real-Time Resource Reclaiming Algorithm for Multiprocessor Platforms"
Real-Time Systems Journal, Vol. 40, No. 1, October 2008.
-
"Impact of Cache Partitioning on Multi-Tasking Real Time Embedded Systems"
(Best paper award) Proceedings of the IEEE conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), Kaohsiung, Taiwan, August 2008.
-
"Hybrid Hardware-Software Architecture for Reconfigurable Real-Time Systems",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, St. Luis, MO, April 2008.
-
"Sharp thresholds for scheduling recurring tasks with distance constraints"
IEEE Transactions on Computers (TC), Vol. 57, No. 3, pp. 344-358, March 2008.
-
"Toward the Predictable Integration of Real-Time COTS based Systems",
Proceedings of the IEEE Real-Time Systems Symposium, Tucson, Arizona, December 2007.
-
"Extended Abstract: Real-Time Implications of Multiple Transmission Rates in Wireless Networks",
Proceedings of ACM Conference on Mobile Computing and Networking (Mobicom), Montreal, Canada, September 2007.
-
"Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems",
IEEE Transactions on Computers (TC), Vol. 56, No. 12, pp. 1666-1680, Dec. 2007.
-
"Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm",
IEEE Transactions on Mobile Computing (TMC), Vol. 6, No. 6, pp. 706-719, June 2007.
-
"Robust Implicit EDF: A wireless MAC protocol for collaborative real-time systems",
ACM Transactions on Embedded Computing Systems (TECS), Vol.6, No.4, September 2007.
-
"Soft Real-Time Chains for Multi-Hop Wireless Ad-Hoc Networks",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Bellevue, WA, April 2007.
-
"Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude",
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering (FASE'06), pp.357-372, Vienna (Austria), March 2006.
-
"Task partitioning with replication upon heterogeneous multiprocessor systems",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, California, April 2006.
-
"Switch scheduling and network design for real-time systems",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, California, April 2006.
-
"Adaptive Allocation of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, California, April 2006.
-
"Finite horizon scheduling of radar dwells with online template construction",
Real-Time Systems, Vol.33, pp.47-75, July 2006.
-
"Optimal Real-Time Sampling Frequency Assignment for Wireless Sensor Networks",
ACM Transactions on Sensor Networks (TOSN), vol. 2, N. 2, pp.263-295, May 2006.
-
"The Dependency Management Framework: A Case Study of the ION CubeSat",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems, Dresden, Germany, Pages:52-64, July 2006.
-
"I-Living: An Open System Architecture for Assisted Living",
Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC), Taipei, Taiwan, Pages:4268-4275, October 2006.
-
"Feedback Fault Tolerance of Real-Time Embedded Systems -- Issues and Possible Solutions",
ACM SIGBED Review, Vol.3, N.2, April 2006.
-
"Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm",
Proceedings of the IEEE Real-Time Systems Symposium, Miami, Florida, December 2005.
-
"Time-Parameterized Sensing Task Model for Real-Time Tracking",
Proceedings of the IEEE Real-Time Systems Symposium, Miami, Florida, December 2005.
-
"A Distributed, Energy-Aware, Utility-Based Approach for Data Transport in Wireless Sensor Networks",
Proceedings of the IEEE MILCOM Conference, New Jersey, October 2005.
-
"Spare CASH: Reclaiming Holes to Minimize Aperiodic Response Times in a Firm Real-Time Environment",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems, Palma de Mallorca, Spain, July 2005.
-
"A Robust Implicit Access Protocol for Real-Time Wireless Collaboration",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems, Palma de Mallorca, Spain, July 2005.
-
"Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times",
IEEE Transactions on Computers, vol. 54, N. 2, pp.198-213, February 2005.
-
"The Capacity of an Implicit Prioritized Access Protocol in Wireless Sensor Networks",
Journal of Embedded Computing (JEC) by Cambridge International Science Publishing, Vol. 1, No.2, 2005.
-
"Hard Real-Time Communication in Bus-Based Networks",
Proceedings of the IEEE Real-Time Systems Symposium, Lisbon, Portugal, December 2004.
-
"Finite-Horizon Scheduling of Radar Dwells with Online Template Construction",
(Best student paper award) Proceedings of the IEEE Real-Time Systems Symposium, Lisbon, Portugal, December 2004.
-
"Real-Time Scheduling Theory: A Hystorical Perspective",
Real-Time Systems, Vol. 28, pp. 101-155, 2004.
-
"Radar Dwell Scheduling with Temporal Distance and Energy Constraints",
Proceedings of International RADAR Conference (RADAR '04), Toulouse, France, October 2004.
-
"Schedulability Envelope for Real-Time Radar Dwell Scheduling and Its Application to Multi-Ship Multi-Radar Systems",
Proceedings of International RADAR Conference (RADAR '04), Toulouse, France, October 2004.
-
"Collaborative Resource Allocation in Wireless Sensor Networks",
Proceedings of the IEEE Euromicro Conference on Real-Time Systems, Catania, Italy, June 2004.
-
"Synthesizing Task Periods for Dwells in Multi-Function Phased Array Radars",
Proceedings of the IEEE Radar Conference, Philadelphia, Pennsylvania, April 2004.
-
"Scheduling Real-Time Dwells Using Tasks with Synthetic Periods",
Proceedings of the IEEE Real-Time Systems Symposium, Cancun, Mexico, December 2003.
-
"The Capacity of Implicit EDF in Wireless Sensor Networks",
IEEE Proceedings of the 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2003.
-
"Template-Based Real-Time Dwell Scheduling with Energy Constraint",
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), Washington DC, May 2003.
-
"An Implicit Prioritized Access Protocol for Wireless Sensor Networks",
Proceedings of the IEEE Real-Time Systems Symposium, Austin, Texas, December 2002.
-
"Handling Execution Overruns in Hard Real-Time Control Systems",
IEEE Transactions on Computers, vol. 51, N. 7, pp.835-849, July 2002.
-
"Elastic Scheduling for Flexible Workload Management",
IEEE Transactions on Computers, vol. 51, N. 3, pp.289-302, March 2002.
-
"Aperiodic Servers with Resource Constraints",
Proceedings of the IEEE Real-Time Systems Symposium, London, (UK), December 2001.
-
"Capacity Sharing for Overrun Control",
Proceedings of the IEEE Real-Time Systems Symposium, Orlando, Florida, December 2000.
-
"Online Control Optimization Using Load Driven Scheduling",
Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, Australia, December 2000.
-
"Elastic Feedback Control",
IEEE Proceedings of the 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden, pp. 121-128, June 2000.
-
"Sharing Resources among Periodic and Aperiodic Tasks With Dynamic Deadlines",
Proceedings of IEEE Real-Time Systems Symposium, Phoenix, Arizona, December 1999.
-
"Minimizing Aperiodic Response Times in a Firm Real-Time Environment",
IEEE Transactions on Software Engineering, vol. 25, N. 1, January/February 1999.
-
"Optimal Scheduling for Fault-Tolerant and Firm Real-Time Systems",
Proceedings of fifth conference on Real-Time Computing Systems and Applications (RTCSA'98), Hiroshima, Japan, October 1998.
-
"Exploiting Skips In Periodic Tasks For Enhancing Aperiodic Responsiveness",
Proceedings of IEEE Real-Time Systems Symposium, San Francisco, December 1997.
Books & Book chapters
-
chapter:"Real-Time Communication for Embedded Wireless Networks"
in "Handbook of Real-Time and Embedded Systems" edited by Sang H. Son, Insup Lee, and Joseph Y-T. Leung,
CRC Press, 2007.
-
chapter:"Real-Time Scheduling for Embedded Systems"
in "Handbook of Networked and Embedded Control Systems" edited by Dimitrios Hristu-Varsakelis and William S. Levine,
Birkhauser Boston, Inc; 2005.
-
"Soft Real-Time Systems: Predictability vs. Efficiency",
Springer 2005.
-
chapter:"Real-Time Synchronization Protocols"
in "Handbook of Scheduling" edited by Joseph Y-T. Leung,
CRC Press, 2004.
Workshop papers
-
"Evaluating Memory Subsystem of Configurable Heterogeneous MPSoC",
Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2018), Barcelona, Spain, July, 2018.
-
"ReSecure: A Restart-Based Security Protocol for Tightly Actuated Hard Real-Time Systems",
Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'16), Porto, Portugal, December 2016.
-
Position paper: "Using Multicore Architectures in Cyber-Physical Systems",
Workshop on Developing Dependable and Secure Automotive Cyber-Physical Systems from Components, Troy, Michigan, March 2011.
-
E. Gunter, C.-G. Lee, K. Karahalios, M.-Y. Nam, N. Nitya, C. Rohit and L. Sha,
"PAS: A Wireless-enabled, Sensor-integrated Personal Assistance System for Independent and Assisted Living",
Workshop On High Confidence Medical Devices, Software, and Systems (HCMDSS), Boston, MA, June 2007.
-
"Feedback Based Real-Time Fault Tolerance -- Issues and Possible Solutions",
Int. Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2006), Vancouver, Canada, 2006.
-
"Wireless real-time communication protocol for cooperating mobile units",
Proceedings of the 2nd International Workshop on Real-Time LANs in the Internet Age (RTLIA 2003), Porto, Portugal, July, 2003.
Technical reports
-
"A virtualized scratchpad-based architecture for real-time event-triggered applications",
Technical Report, Lehrstuhl fur Cyber-Physical Systems in Production Engineering, 2019.
-
"Single Core Equivalent Virtual Machines for Hard Real-Time Computing on Multicore Processors",
Technical Report, University of Illinois at Urbana-Champaign, October 2014.
-
"Response-Time Analysis for Single Core Equivalence Framework",
Technical Report, University of Illinois at Urbana-Champaign, October 2014.
-
"Predictable Execution Model: Concept and implementation",
Technical Report, University of Illinois at Urbana-Champaign, July 2010.
-
"The M-CASH Resource Reclaiming Algorithm for Identical Multiprocessor Platforms",
Technical Report No. UIUCDCS-R-2006-2703, University of Illinois at Urbana-Champaign, March 2006.
-
"Adaptive Real-Time Management of Relocatable Tasks for FPGA-based Embedded Systems",
Technical Report, University of Illinois at Urbana-Champaign, 2005.
-
"Sharing Resources with the TB* server",
Technical Report 99-04, Scuola Superiore S.Anna, 1999.
-
"A Flexible Scheduling Algorithm for Efficient Support of Multimedia Real-Time Applications",
Technical Report 97-03, Scuola Superiore S.Anna, 1997.