- Lionel Rieg, Gérard Berry. Towards a Coq-verified Chain of Esterel Semantics. LITES, 10(1), 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.
- 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.
- Samarjit Chakraborty, Qing Rao. Introduction to the Special Issue on Embedded Systems for Computer Vision. LITES, 8(1), 2022.
- Ameneh Nejati, Majid Zamani 0001. From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. LITES, 8(2), 2022.
- Martin Knoche, Stefan Hörmann, Gerhard Rigoll. Susceptibility to Image Resolution in Face Recognition and Training Strategies to Enhance Robustness. LITES, 8(1), 2022.