2024 export record
dblp key:
journals/rts/GhoshHXSATBDC24 share record
persistent URL:
Bineet Ghosh , Clara Hobbs , Shengjie Xu , F. Donelson Smith , James H. Anderson , P. S. Thiagarajan , Benjamin Berg , Parasara Sridhar Duggirala , Samarjit Chakraborty : Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60 (1 ) : 108-149 (2024 )share record
persistent URL:
Cong Liu : Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks. Real Time Syst. 60 (1 ) : 74-75 (2024 )share record
persistent URL:
Miguel Silva , Tiago Gomes , Mongkol Ekpanyapong , Adriano Tavares , Sandro Pinto : ChamelIoT: a tightly- and loosely-coupled hardware-assisted OS framework for low-end IoT devices. Real Time Syst. 60 (1 ) : 150-196 (2024 )share record
persistent URL:
Abhishek Singh : Cutting-plane algorithms for preemptive uniprocessor scheduling problems. Real Time Syst. 60 (1 ) : 24-73 (2024 )export record
dblp key:
journals/rts/SudvargSLGZ24 share record
persistent URL:
Marion Sudvarg , Zhuoran Sun , Ao Li , Chris Gill , Ning Zhang : Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES. Real Time Syst. 60 (1 ) : 76-107 (2024 )share record
persistent URL:
Xia Zhao , Huiquan Wang , Anwen Huang , Dongsheng Wang , Guangda Zhang : Cluster-aware scheduling in multitasking GPUs. Real Time Syst. 60 (1 ) : 1-23 (2024 )2023 export record
dblp key:
journals/rts/AbdelzaherABBDGH23 share record
persistent URL:
Tarek F. Abdelzaher , Kunal Agrawal , Sanjoy K. Baruah , Alan Burns , Robert I. Davis , Zhishan Guo , Yigong Hu : Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real Time Syst. 59 (3 ) : 348-407 (2023 )share record
persistent URL:
Miguel Alcon , Axel Brando , Enrico Mezzetti , Jaume Abella , Francisco J. Cazorla : Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them. Real Time Syst. 59 (3 ) : 438-478 (2023 )export record
dblp key:
journals/rts/AmendolaBSMMSSV23 share record
persistent URL:
Arturo Amendola , Mario Barbareschi , Salvatore De Simone , Giovanni Mezzina , Alberto Moriconi , Cataldo Luciano Saragaglia , Diana Serra , Daniela De Venuto : A real-time vital control module to increase capabilities of railway control systems in highly automated train operations. Real Time Syst. 59 (4 ) : 636-661 (2023 )share record
persistent URL:
Sanjoy K. Baruah , Alan Burns , Robert I. Davis , Yue Wu : Optimally ordering IDK classifiers subject to deadlines. Real Time Syst. 59 (1 ) : 1-34 (2023 )export record
dblp key:
journals/rts/ButtazzoVSM23 share record
persistent URL:
Giorgio C. Buttazzo , Daniela De Venuto , Eugenio Di Sciascio , Toni Mancini : Special issue on embedded real-time applications. Real Time Syst. 59 (4 ) : 531-533 (2023 )share record
persistent URL:
Daniel Casini , Giorgio C. Buttazzo : Guest editorial: special issue on predictable machine learning. Real Time Syst. 59 (3 ) : 345-347 (2023 )export record
dblp key:
journals/rts/CinqueSMOV23 share record
persistent URL:
Marcello Cinque , Luigi De Simone , Nicola Mazzocca , Daniele Ottaviano , Francesco Vitale : Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems. Real Time Syst. 59 (4 ) : 534-567 (2023 )export record
dblp key:
journals/rts/CittadiniMBCB23 share record
persistent URL:
Edoardo Cittadini , Mauro Marinoni , Alessandro Biondi , Giorgiomaria Cicero , Giorgio C. Buttazzo : Supporting AI-powered real-time cyber-physical systems on heterogeneous platforms via hypervisor technology. Real Time Syst. 59 (4 ) : 609-635 (2023 )share record
persistent URL:
Ömer Kagan Demir , Selçuk Cevher : Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking. Real Time Syst. 59 (2 ) : 123-159 (2023 )share record
persistent URL:
Anam Farrukh , Richard West : FlyOS: rethinking integrated modular avionics for autonomous multicopters. Real Time Syst. 59 (2 ) : 256-301 (2023 )export record
dblp key:
journals/rts/FerraroPGGBRBS23 share record
persistent URL:
Donato Ferraro , Luca Palazzi , Federico Gavioli , Michele Guzzinati , Andrea Bernardi , Benjamin Rouxel , Paolo Burgio , Marco Solieri : Time-sensitive autonomous architectures. Real Time Syst. 59 (4 ) : 568-608 (2023 )share record
persistent URL:
Pascal Fradet , Xiaojie Guo , Sophie Quinton : CertiCAN certifying CAN analyses and their results. Real Time Syst. 59 (2 ) : 160-198 (2023 )export record
dblp key:
journals/rts/LiuFHWDYSA23 share record
persistent URL:
Shengzhong Liu , Xinzhe Fu , Yigong Hu , Maggie B. Wigness , Philip David , Shuochao Yao , Lui Sha , Tarek F. Abdelzaher : Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. Real Time Syst. 59 (2 ) : 302-343 (2023 )export record
dblp key:
journals/rts/MalaquiasAB23 share record
persistent URL:
Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner : A formal framework to design and prove trustworthy memory controllers. Real Time Syst. 59 (4 ) : 664-704 (2023 )share record
persistent URL:
Geoffrey Nelissen , Laurent Pautet : Special issue on reliable data transmission in real-time systems. Real Time Syst. 59 (4 ) : 662-663 (2023 )export record
dblp key:
journals/rts/PapadopoulosABB23 share record
persistent URL:
Alessandro V. Papadopoulos , Kunal Agrawal , Enrico Bini , Sanjoy K. Baruah : Feedback-based resource management for multi-threaded applications. Real Time Syst. 59 (1 ) : 35-68 (2023 )share record
persistent URL:
Sayra Ranjha , Pourya Gohari , Geoffrey Nelissen , Mitra Nasri : Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks. Real Time Syst. 59 (2 ) : 201-255 (2023 )export record
dblp key:
journals/rts/ReuschBZCP23 share record
persistent URL:
Niklas Reusch , Mohammadreza Barzegaran , Luxi Zhao , Silviu S. Craciunas , Paul Pop : Configuration optimization for heterogeneous time-sensitive networks. Real Time Syst. 59 (4 ) : 705-747 (2023 )share record
persistent URL:
Iryna De Albuquerque Silva , Thomas Carle , Adrien Gauffriau , Claire Pagetti : Extending a predictable machine learning framework with efficient gemm-based convolution routines. Real Time Syst. 59 (3 ) : 408-437 (2023 )share record
persistent URL:
Vijaya Kumar Sundar , Saravanan Ramanathan , Arvind Easwaran : Design and analyses of functional mode changes for mixed-criticality systems. Real Time Syst. 59 (1 ) : 69-121 (2023 )export record
dblp key:
journals/rts/VerucchiOB23 share record
persistent URL:
Micaela Verucchi , Ignacio Sañudo Olmedo , Marko Bertogna : A survey on real-time DAG scheduling, revisiting the Global-Partitioned Infinity War. Real Time Syst. 59 (3 ) : 479-530 (2023 )share record
persistent URL:
Heechul Yun , Cong Liu : Special issue: Advances in real-time embedded systems design. Real Time Syst. 59 (2 ) : 199-200 (2023 )2022 export record
dblp key:
journals/rts/AkessonNNAD22 share record
persistent URL:
Benny Akesson , Mitra Nasri , Geoffrey Nelissen , Sebastian Altmeyer , Robert I. Davis : A comprehensive survey of industry practice in real-time systems. Real Time Syst. 58 (3 ) : 358-398 (2022 )share record
persistent URL:
Sebastian Altmeyer , Jean-Luc Scharbarg : Editorial on the special issue of RTNS 2020. Real Time Syst. 58 (1 ) : 1-3 (2022 )