| 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.