Table of Contents

• Probabilistic Response-Time-Aware Search for Transient Astrophysical PhenomenaDaisy Wang, Marion Sudvarg, Filip Markovic 0001, Jeremy Buhler, Sanjoy Baruah, Gregory Kehne. 1-15 [doi]
• Reducing Worst-Case Deadline Failure Probability for EDF SchedulingFei Guan, Xu Jiang 0004, Weipeng Jing, Nan Guan. 16-28 [doi]
• Response Time Analysis for Probabilistic Dag Tasks in Multicore Real-Time SystemsShuai Zhao 0004, Yiyang Gao, Zhiyang Lin, Boyang Li 0009, Xinwei Fang, Zhe Jiang 0004, Nan Guan. 29-41 [doi]
• Ros ${ }^{\text {RT }}$: Enabling Flexible Scheduling in Ros 2Sizhe Liu, Rohan Wagle, Shareef Ahmed, Zelin Tong, James H. Anderson. 42-54 [doi]
• On the Scalability and Efficiency of Intra-Process Communication in Ros 2Xiantong Luo, Xu Jiang 0004, Yichen Liu, Nan Guan, Yue Tang 0001, Shaoshuai Zhang. 55-67 [doi]
• Partitioning Kernel With Capability Controlled Temporal and Spatial PartitioningHenrik Karlsson, Roberto Guanciale. 68-81 [doi]
• Watwaos: A Framework for Worst-Case-Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time SystemsTobias Häberlein, Eva Dengler, Phillip Raffeck, Peter Wägemann. 82-95 [doi]
• Jitter Propagation in Task ChainsShumo Wang, Enrico Bini, Qingxu Deng, Martina Maggio. 96-108 [doi]
• Faster, Exact, More General Response-Time Analysis for NVIDIA Holoscan ApplicationsPhilip Schowitz, Shubhaankar Sharma, Siddharth Balodi, Soham Sinha, Bruce Shepherd, Arpan Gujarati. 109-121 [doi]
• A Soft-Real-Time Optimal Scheduler for DAG Tasks with Node-Level Self DependenciesShareef Ahmed, James H. Anderson. 122-134 [doi]
• Recursive Partitioned Scheduling for Real-Time Gang TasksSeongtae Lee, Nan Guan, Jinkyu Lee 0001. 135-147 [doi]
• HCInfer: Hierarchical Coordination for Real-Time Collaborative Inference of LLM on the EdgeKaiyuan Liu, Lizi Zhang, Chengzhong Xu, Li Li. 148-161 [doi]
• CoEdge-RAG: Optimizing Hierarchical Scheduling for Retrieval-Augmented LLMs in Collaborative Edge ComputingGuihang Hong, Tao Ouyang, Kongyange Zhao, Zhi Zhou 0006, Xu Chen 0004. 162-174 [doi]
• Real-Time Service Subscription and Adaptive Offloading Control in Vehicular Edge ComputingChuanchao Gao, Arvind Easwaran. 175-188 [doi]
• Predictable Real-Time Video Latency Control with Frame-Level CollaborationJiaxing Zhang, Qinghua Wu 0004, Gerui Lv, Wenji Du, Qingyue Tan, Wanghong Yang, Kai Lv, Yuankang Zhao, Yongmao Ren, Zhenyu Li 0001, Gaogang Xie. 189-203 [doi]
• Timely Classification of Hierarchical ClassesTarek F. Abdelzaher, Sanjoy Baruah, Alan Burns 0001, Yigong Hu. 204-215 [doi]
• CF-DETR: Coarse-to-Fine Transformer for Real-Time Object DetectionWoojin Shin, Donghwa Kang, Byeongyun Park, Brent ByungHoon Kang, Jinkyu Lee 0001, Hyeongboo Baek. 216-228 [doi]
• Grape: Efficient Spatiotemporal Prediction Services with Stale Sensing StreamsLiekang Zeng, Yunchao Liu, Shengyuan Ye, Mu Yuan, Di Duan, Xu Chen 0004, Guoliang Xing. 229-243 [doi]
• Predictable and Secure System Auditing for Real-Time SystemsPeng Jiang 0007, Fanhang Hu, Ruizhe Huang, Shuomin Xue, Zhaomeng Deng, Yuxin Ren 0001, Ning Jia, Yao Guo 0001, Xiangqun Chen, Ding Li 0001, Guang Cheng. 244-257 [doi]
• Formal Timing Analysis of CQF Interference in TSN: A Network Calculus-Based ApproachLuXi Zhao, Lei Rao, Qiao Li, Rubi Debnath. 258-270 [doi]
• Lyapunov-Based Stability and Delay Bounds for IEEE 802.1Qbv in Imperfectly Synchronized TSNZhuangye Luo, Feng Zeng, Xi Chen. 271-282 [doi]
• Stability-Guaranteed Scheduling for Mesh Networked Control Systems with Fine-Grained TimingRuijie Fu, Yehan Ma. 283-296 [doi]
• Flexibility-Aware Network Resource Partitioning for Multi-State Real-Time Mission-Critical ApplicationsTianyu Zhang 0001, Kefan Wu, Jiachen Wang 0011, Chuanyu Xue, Xiaobo Sharon Hu, Song Han 0002. 297-310 [doi]
• On Synthesis of Timed Regular ExpressionsZiran Wang, Jie An 0001, Naijun Zhan, Miaomiao Zhang 0003, Zhenya Zhang. 311-323 [doi]
• Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement LearningXiaochen Tang, Zhenya Zhang, Miaomiao Zhang 0003, Jie An 0001. 324-337 [doi]
• Priority-Aware Attention Meets Generative Flow Networks for Global Fixed-Priority AssignmentShiwu Li, Jianjun Li, Quan Zhou, Yuan Fu. 338-350 [doi]
• Accelerating Timing Specification Verification of Interrupt-Driven Real-Time SystemsYufei Shi, Longlong Lu, Minxue Pan, Xuandong Li. 351-367 [doi]
• Real-Time Multitasking of Deep Neural Networks With Nvidia TensorrtFederico Aromolo, Andrea Stevanato, Alessandro Biondi 0001, Giorgio C. Buttazzo. 364-377 [doi]
• Nova: Real-Time Agentic Vision-Language Model Serving With Adaptive Cross-Stage ParallelizationYuhang Xu, Shengzhong Liu, Dong Zhang, Bingheng Yan, Fan Wu 0006, Guihai Chen. 378-391 [doi]
• DERCA: DetERministic Cycle-Level Accelerator on Reconfigurable Platforms in DNN-Enabled Real-Time Safety-Critical SystemsShixin Ji, Zhuoping Yang, Xingzhen Chen, Wei Zhang 0062, Jinming Zhuang, Alex K. Jones, Zheng Dong 0002, Peipei Zhou 0001. 392-405 [doi]
• FALCON: FPGA Accelerated Real-Time Intelligent Controller for Autonomous SystemsSiwei Ye, Jintao Chen, Yehan Ma, An Zou. 406-419 [doi]
• Dynamic Fuzzing-Based Whole-System Timing AnalysisAlwin Berger, Simon Schuster, Peter Wägemann, Peter Ulbrich. 420-433 [doi]
• EMR: Removing Multicollinear Event Monitors to Improve Timing Modelling of Real-Time SystemsDavid Fonts, Diego Palacios, Sergi Vilardell, Axel Brando, Isabel Serra, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla. 434-447 [doi]
• Modern Llvm-Based Compiler Autotuning for Wcet OptimizationGabriele Magnani, Davide Baroffio, Federico Reghenzani, Giovanni Agosta, William Fornaciari. 448-460 [doi]
• CARTEL: Consensus Adapting Real-Time and Efficient LoggingSeunghoon Lee, Wonyeong Lee, Seungyeon Cho, Seongtae Lee, JinKyu Lee. 461-473 [doi]
• Exploiting Burstiness to Improve Multi-Core Interference AnalysisJad Khatib, Dumitru Potop-Butucaru, Philippe Baufreton. 474-486 [doi]
• Tight Cache Contention Analysis for WCET Estimation on Multicore SystemsShuai Zhao 0004, Jieyu Jiang, Shenlin Cai, Yaowei Liang, Chen Jie, Yinjie Fang, Wei Zhang 0173, Guoquan Zhang, Yaoyao Gu, Xiang Xiao, Wei Qin, Ouyang Ouyang, Wanli Chang 0001. 487-499 [doi]
• MEMSCOPE: Open-Source Kernel-Level Framework for Heterogeneous Memory CharacterizationGolsana Ghaemi, Gabriel Franco, Kazem Taram, Renato Mancuso 0001. 500-513 [doi]
• TSI: A Time-Semantic Instruction Set for Deterministic Data-Flow Execution in Real-Time Embedded SystemsYinkang Gao, Bo Zhang, Yixuan Zhu, Lei Gong, Teng Wang, Wenqi Lou, Chao Wang, Xi Li, Xuehai Zhou. 514-527 [doi]
• Requirement-Based Analysis of Self-Suspending Tasks under EDFMario Günzel, Federico Aromolo, Alessandro Biondi 0001, Jian-Jia Chen. 528-540 [doi]
• LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time SystemsNan Chen, Xiaotian Dai 0001, Tong Cheng, Alan Burns 0001, Iain Bate, Shuai Zhao 0004. 541-552 [doi]
• WCDFP Analysis for Real-Time Tasks with Stochastic Release Patterns using Chernoff BoundShining Sun, Chaohai Yu, Xu Jiang 0004, Qingxu Deng, Nan Guan. 553-565 [doi]
• Lemix: Unified Scheduling for Llm Training and Inference on Multi-Gpu SystemsYufei Li, Zexin Li, Yinglun Zhu, Cong Liu. 566-579 [doi]
• Work-in-Progress: Time-Aware Regional Coverage Search Using UGV-UAV Cluster Based on an Improved PPO AlgorithmYing Zhang 0060, Rui Ding, Shuo Song, Jinchao Chen, Yingjie Zhang, Chenglie Du. 580-583 [doi]
• Work-in-Progress: A Practical Linux Framework for Weakly-Hard Tasks with Constant Bandwidth ServerMarcus Chen, Pascal Reich, Yidi Wang, Hyunjong Choi. 584-587 [doi]
• Work-in-Progress: Enabling Transparent Priority Scheduling for NVIDIA GPUsNoah Weaver, Joshua Bakita. 588-591 [doi]
• Work-in-Progress: A First Practical Look at Arm's MPAM for Real-Time SystemsAshutosh Pradhan, Daniele Ottaviano, Alexander Zuepke, Andrea Bastoni, Marco Caccamo. 592-595 [doi]
• Work-in-Progress: Toward Real-Time Cross-ISA Execution on the AMD Embedded+ ArchitectureLukas Neef, Daniele Ottaviano, Denis Hoornaert, Alexander Zuepke, Marco Caccamo, Andrea Bastoni. 596-599 [doi]
• Work-In-Progress: Modeling and Analysis of Inference Latency on Usb Edge TpusHaopeng Gao, Hyunjong Choi, Yidi Wang. 600-603 [doi]
• Work-in-Progress: Function-as-Subtask API Replacing Publish/Subscribe for OS-Native DAG SchedulingTakahiro Ishikawa-Aso, Atsushi Yano, Yutaro Kobayashi, Takumi Jin, Yuuki Takano, Shinpei Kato. 604-607 [doi]
• Work-in-Progress: Real-Time Deep Neural Inference on Resource-Constrained Edge DevicesMd Tasnim Farhan Fatin, Monowar Hasan. 608-611 [doi]
• Work-in-Progress: LEETMIC: Reinforcement Learning-Based Energy-Efficient Task Scheduling in Multicore Cyber-Physical SystemsErfan Bagheri Soula, Moein Esnaashari, Sepideh Safari, Mohsen Ansari. 612-615 [doi]
• Work-in-Progress: Optimizing IDK Cascades Skip Decisions Utilizing Random Forest PredictionsRonit Katikaneni, Albert M. K. Cheng, Thomas Carroll. 616-619 [doi]
• Work-in-Progress: A Timing-Anomaly Free Dynamic Scheduling on Heterogeneous SystemsYixuan Zhu, Yinkang Gao, Binze Jiang, Xiaohang Gong, Lei Gong, Chao Wang, Xi Li, Xuehai Zhou. 620-623 [doi]
• Work-in-Progress: A WCET Estimation Model of Programs on Real-Time GPUsHadjer Bendellaa, Liliana Cucu-Grosjean. 624-627 [doi]
• Work-in-Progress: An Open-Source Evaluation Framework for Time-Sensitive Networking Scheduling ResearchChuanyu Xue, Elaine Hu, Tianyu Zhang, Song Han. 628-631 [doi]
• Work-in-Progress: Vulnerability of TSN TAS with Frame Preemption to Schedule-Based AttackOmolade Ikumapayi, Vijay Banerjee, Sena Hounsinou, Gedare Bloom. 632-635 [doi]
• Work-in-Progress: Learning to Refine Priority Assignment in Fixed-Priority Real-Time SchedulingBinqi Sun, Linghan Fang, Andrea Bastoni, Marco Caccamo. 636-639 [doi]