99 | -- | 100 | Mohamed Faouzi Atig, Simon Bliudze. Preface to the VECoS 2018 special issue of ISSE |
101 | -- | 120 | Thomas Given-Wilson, Nisrine Jafri, Axel Legay. Combined software and hardware fault injection vulnerability detection |
121 | -- | 142 | Philippe Dague, Lulu He, Lina Ye. How to be sure a faulty system does not always appear healthy? |
143 | -- | 159 | Etienne Renault. Improving swarming using genetic algorithms |
161 | -- | 179 | Adrien Pommellet, Tayssir Touili. LTL model checking for communicating concurrent programs |
181 | -- | 197 | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting local persistency for reduced state-space generation |
199 | -- | 214 | Davide Basile, Maurice H. ter Beek, Axel Legay. Timed service contract automata |
215 | -- | 230 | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario. Stochastic modeling and analysis of road-tramway intersections |