- 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.
- Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson. Real-Time Verification for Distributed Cyber-Physical Systems. LITES, 8(2), 2022.
- Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. LITES, 8(2), 2022.
- Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Swarms of Mobile Robots: Towards Versatility with Safety. LITES, 8(2), 2022.
- Friedrich Kruber, Eduardo Sánchez Morales, Robin Egolf, Jonas Wurst, Samarjit Chakraborty, Michael Botsch. Micro- and Macroscopic Road Traffic Analysis using Drone Image Data. LITES, 8(1), 2022.