Authors   Title
Freark van der Berg   Low-Level Model Checker
Weslley Torres, Alexander Serebrenik and Mark van den Brand   Managing and Evolving Models from Different Domains
Fatma Başak Aydemir and Fabiano Dalpiaz   Ethics-aware Software Engineering
Giuseppe Procaccianti   Going green, going fast: the sweet-spot of software
Stijn de Gouw and Frank De Boer   Showing that Android’s, Java’s and Python’s sorting algorithm is broken, and proving a patched version
Wytse Oortwijn and Marieke Huisman   Model-based Verification of Distributed Software
Garm Lucassen, Fabiano Dalpiaz, Jan Martijn Van Der Werf and Sjaak Brinkkemper   Computational linguistic techniques for agile requirements engineering
Ulyana Tikhonova   Constellations of Formal Specifications for Adopting Formal Methods by Industry

While you are here, do consider becoming a member of VERSEN.