1. A domain-specific language to design false data injection tests for air traffic control systems

   • Alexandre Vernotte
   • Aymeric Cretin
   • Fabien Peureux

   General 22 February 2021 Pages: 127 - 158

   

2. Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications

   • Antoine El-Hokayem
   • Yliès Falcone

   General 28 May 2021 Pages: 159 - 181

   

3. Multi-level privacy analysis of business processes: the Pleak toolset

   • Marlon Dumas
   • Luciano García-Bañuelos
   • Maksym Yerokhin

   General 21 July 2021 Pages: 183 - 203

   

4. SaBRe: load-time selective binary rewriting

   • Paul-Antoine Arras
   • Anastasios Andronidis
   • Cristian Cadar

   General Open access 21 January 2022 Pages: 205 - 223

   

5. Interface control document modeling with Citrus (avionics systems interfaces)

   • Hassna Louadah
   • Yvan Labiche

   General 04 February 2022 Pages: 225 - 245

   

6. Supporting safe metamodel evolution with edelta

   • Lorenzo Bettini
   • Davide Di Ruscio
   • Alfonso Pierantonio

   General Open access 03 February 2022 Pages: 247 - 260

   

7. Software test results exploration and visualization with continuous integration and nightly testing

   • Per Erik Strandberg
   • Wasif Afzal
   • Daniel Sundmark

   General Open access 18 February 2022 Pages: 261 - 285

   

8. Parameterized verification of systems with component identities, using view abstraction

   • Gavin Lowe

   General Open access 26 February 2022 Pages: 287 - 324