Volume 16, Issue 2

June 2020

Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems(VECoS 2018)

Issue Editors:

8 articles in this issue

Preface to the VECoS 2018 special issue of ISSE
Mohamed Faouzi Atig
Simon Bliudze
Editorial 30 May 2020 Pages: 99 - 100
Combined software and hardware fault injection vulnerability detection
Thomas Given-Wilson
Nisrine Jafri
Axel Legay
S.I. : VeCoS 2018 27 June 2020 Pages: 101 - 120
How to be sure a faulty system does not always appear healthy?
Philippe Dague
Lulu He
Lina Ye
S.I. : VeCoS 2018 18 November 2019 Pages: 121 - 142
Improving swarming using genetic algorithms
Etienne Renault
S.I. : VeCoS 2018 02 June 2020 Pages: 143 - 159
LTL model checking for communicating concurrent programs
Adrien Pommellet
Tayssir Touili
S.I. : VeCoS 2018 03 June 2020 Pages: 161 - 179
Exploiting local persistency for reduced state-space generation
K. Barkaoui
H. Boucheneb
Z. Li
S.I. : VeCoS 2018 04 February 2020 Pages: 181 - 197
Timed service contract automata
Davide Basile
Maurice H. ter Beek
Axel Legay
S.I. : VeCoS 2018 29 August 2019 Pages: 199 - 214
Stochastic modeling and analysis of road–tramway intersections
Laura Carnevali
Alessandro Fantechi
Enrico Vicario
S.I. : VeCoS 2018 05 October 2019 Pages: 215 - 230

Search