- Kamel Barkaoui, Belgacem Ben Hedia. Preface to the VECoS 2020 & 2021 special issue of ISSE. ISSE, 20(1):1-2, March 2024.
- Saeedeh Ghaedi Heidari, Shohreh Ajoudanian. Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method. ISSE, 20(1):65-84, March 2024.
- Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle. Contract-based specification of mode-dependent timing behavior. ISSE, 20(1):31-47, March 2024.
- Shahrokh Vahabi, Amir Hozhabri. Automatic use case classification based on topic grouping for requirements engineering. ISSE, 20(1):85-96, March 2024.
- Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem. Model-based design of resilient systems using quantitative risk assessment. ISSE, 20(1):3-16, March 2024.
- Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz. Coverage visualization and analysis of net inscriptions in coloured Petri net models. ISSE, 20(1):17-30, March 2024.
- Amir Eaman, Amy P. Felty. A certified access control policy language: TEpla. ISSE, 20(1):49-64, March 2024.
- Uddalak Chatterjee, Sangram Ray, Dipanwita Sadhukhan, Mou Dasgupta. An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography. ISSE, 19(3):231-246, September 2023.
- Shweta Lamba, Preeti Saini, Jagpreet Kaur, Vinay Kukreja. Optimized classification model for plant diseases using generative adversarial networks. ISSE, 19(1):103-115, March 2023.
- Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela. Eventual consensus in Synod: verification using a failure-aware actor model. ISSE, 19(4):395-410, December 2023.