- Lionel Rieg, Gérard Berry. Towards a Coq-verified Chain of Esterel Semantics. LITES, 10(1), 2025.
- Marion Sudvarg, Christopher Gill 0001, Sanjoy Baruah. Improved Elastic Scheduling Algorithms for Implicit-Deadline Tasks. LITES, 10(2), 2025.
- Max Eisele, Johannes Hägele, Christopher Huth, Andreas Zeller. GDBMiner: Mining Precise Input Grammars on (Almost) Any System. LITES, 10(1), 2025.
- Benjamin Standaert, Fatima Raadia, Marion Sudvarg, Sanjoy K. Baruah, Thidapat Chantem, Nathan Fisher, Christopher Gill 0001. Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks. LITES, 10(1), 2025.
- Mohammad Ibrahim Alkoudsi, Damir Isovic, Gerhard Fohler. Revisiting Slot-Shifting's Offline Acceptance Test for Sporadic Tasks: A Technical Note. LITES, 10(1), 2025.
- Franco Cordeiro, Samuel Tardieu, Laurent Pautet. Integrating Multi-Level Mixed-Criticality into MCTS for Robust Resource Management. LITES, 10(2), 2025.
- Marc Boyer. Equivalence between the Urgency Based Shaper and Asynchronous Traffic Shaping in Time Sensitive Networking. LITES, 9(1), 2024.
- Arvind S. Adimoolam, Thao Dang 0001. Safety Verification of Networked Control Systems by Complex Zonotopes. LITES, 8(2), 2022.
- Manoj Rohit Vemparala, Nael Fasfous, Alexander Frickenstein, Emanuele Valpreda, Manfredi Camalleri, Qi Zhao, Christian Unger, Naveen Shankar Nagaraja, Maurizio Martina, Walter Stechele. HW-Flow: A Multi-Abstraction Level HW-CNN Codesign Pruning Methodology. LITES, 8(1), 2022.
- Alessandro Abate, Uli Fahrenberg, Martin Fränzle. Introduction to the Special Issue on Distributed Hybrid Systems. LITES, 8(2), 2022.