- Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Dimov Hristozov, Bruno Sinopoli:
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Trans. Control. Syst. Technol. 31(4): 1565-1580 (2023) - Ümit Y. Ogras, Radu Marculescu, Trevor N. Mudge, Michael Kishinevsky:
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques. ACM Trans. Embed. Comput. Syst. 22(2): 27:1-27:3 (2023) - Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION 2023: 271-291 - Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich:
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems. ECRTS 2023: 11:1-11:26 - George E. Raptis, Muhammad Taimoor Khan, Kyriakos Stefanidis, Christos Koulamas, Dimitrios Serpanos:
Towards Run-Time Security Monitoring of Distributed Industrial Control Systems. ETFA 2023: 1-8 - Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier:
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. FORMATS 2023: 158-180 - Jan Sudeikat, Michael Köhler-Bußmeier:
Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects. GI-Jahrestagung 2023: 2003-2014 - Carlo Vitucci, Daniel Sundmark, Jakob Danielsson, Marcus Jägemar, Alf Larsson, Thomas Nolte:
Run Time Memory Error Recovery Process in Networking System. ICSRS 2023: 590-597 - Xiaojuan Li, Yu Zhang, Zhengyan Zhu, Yuan Yao, Xingshe Zhou:
UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System. Internetware 2023: 134-143 - Runze Chen, Sheng Xu, Yuan-Xin Li, Wei-Lun Guo:
Prescribed-time Model-free Adaptive Attitude-tracking Control of Spacecraft System under DoS Attacks. RCAR 2023: 614-619 - Richard Hawkins, Philippa Ryan Conmy:
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP 2023: 11-24 - Lorena Arcega, Jaime Font, Øystein Haugen, Carlos Cetina:
Feature Location in Models (FLiM): Design Time and Runtime. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines 2023: 79-113 - Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs:
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. CoRR abs/2303.15568 (2023) - 2022
- Felipe Gorostiaga:
Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems. Technical University of Madrid, Spain, 2022 - Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich:
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access 10: 104178-104189 (2022) - Runhao Zhang, Xiaojian Xi, Huaigu Tian, Zhen Wang:
Dynamical Analysis and Finite-Time Synchronization for a Chaotic System with Hidden Attractor and Surface Equilibrium. Axioms 11(11): 579 (2022) - Runhan Zhang, Yuanyuan Zhang, Xiaofeng Zong:
Stochastic leader-following consensus of discrete-time nonlinear multi-agent systems with multiplicative noises. J. Frankl. Inst. 359(14): 7753-7774 (2022) - Haipeng Su, Runzi Luo, Jiaojiao Fu, Meichun Huang:
Fixed time control and synchronization of a class of uncertain chaotic systems with disturbances via passive control method. Math. Comput. Simul. 198: 474-493 (2022) - Ricardo Brasil Teixeira, George Lima:
Shared resources in multiprocessor real-time systems scheduled by RUN. Real Time Syst. 58(2): 153-188 (2022) - Yecheng Zhao, Runzhi Zhou, Haibo Zeng:
Design optimization for real-time systems with sustainable schedulability analysis. Real Time Syst. 58(3): 275-312 (2022) - Sunghoon Hong, Daejin Park:
Runtime ML-DL Hybrid Inference Platform Based on Multiplexing Adaptive Space-Time Resolution for Fast Car Incident Prevention in Low-Power Embedded Systems. Sensors 22(8): 2998 (2022) - Omkar Sudhir Patil, Runhan Sun, Shubhendu Bhasin, Warren E. Dixon:
Adaptive Control of Time-Varying Parameter Systems With Asymptotic Tracking. IEEE Trans. Autom. Control. 67(9): 4809-4815 (2022) - Runmin Cong, Yumo Zhang, Ning Yang, Hai-Sheng Li, Xueqi Zhang, Ruochen Li, Zewen Chen, Yao Zhao, Sam Kwong:
Boundary Guided Semantic Learning for Real-Time COVID-19 Lung Infection Segmentation System. IEEE Trans. Consumer Electron. 68(4): 376-386 (2022) - Kangkang Sun, Runsheng Guo, Jianbin Qiu:
Fuzzy Adaptive Switching Control for Stochastic Systems With Finite-Time Prescribed Performance. IEEE Trans. Cybern. 52(9): 9922-9930 (2022) - Chunlin Xiong, Tiantian Zhu, Weihao Dong, Linqi Ruan, Runqing Yang, Yueqiang Cheng, Yan Chen, Shuai Cheng, Xutong Chen:
Conan: A Practical Real-Time APT Detection System With High Accuracy and Efficiency. IEEE Trans. Dependable Secur. Comput. 19(1): 551-565 (2022) - Qiqi Wang, Hongjie Zhang, Jing Li, Yu Shen, Xiaohui Liu:
Predicting job finish time based on parameter features and running logs in supercomputing system. J. Supercomput. 78(17): 18551-18577 (2022) - Linge Jiang, Guiyang Wang, Zhibo Zhu, Binghao Wang, Runsheng Gan, Ziqi Liu, Jun Zhou:
A Real-time Post-processing System for Itinerary Recommendation. CIKM 2022: 4882-4886 - Alexis Duhamel, Sébastien Pillement:
QoS Aware Design-Time/Run-Time Manager for FPGA-Based Embedded Systems. DASIP 2022: 96-107 - Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA 2022: 112-123 - Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. ICSA Companion 2022: 56