Volume 20, Issue 1

March 2024

Special Issue:14th and 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020/21)

Issue Editors:

7 articles in this issue

Preface to the VECoS 2020 & 2021 special issue of ISSE
Kamel Barkaoui
Belgacem Ben Hedia
Editorial 26 December 2023 Pages: 1 - 2
Model-based design of resilient systems using quantitative risk assessment
Braham Lotfi Mediouni
Iulia Dragomir
Saddek Bensalem
S.I. : VECoS 2021 14 April 2023 Pages: 3 - 16
Coverage visualization and analysis of net inscriptions in coloured Petri net models
Faustin Ahishakiye
José Ignacio Requeno Jarabo
Volker Stolz
S.I. : VECoS 2021 Open access 25 May 2023 Pages: 17 - 30
Contract-based specification of mode-dependent timing behavior
Janis Kröger
Björn Koopmann
Martin Fränzle
S.I. : VECoS 2021 Open access 07 September 2023 Pages: 31 - 47
A certified access control policy language: TEpla
Amir Eaman
Amy Felty
S.I.: VECoS 2021 28 August 2023 Pages: 49 - 64
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
Saeedeh Ghaedi Heidari
Shohreh Ajoudanian
Original Article 17 February 2023 Pages: 65 - 84
Automatic use case classification based on topic grouping for requirements engineering
Shahrokh Vahabi
Amir Hozhabri
Original Article 30 August 2023 Pages: 85 - 96

Search