| Authors | Title | |
|---|---|---|
| Anton Wijs, Thomas Neele and Dragan Bosnacki | GPUexplore: GPU Explicit-State Model Checking | |
| 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 | |
| Siamak Farshidi and Slinger Jansen | A Decision Support System for Technology Selection in Software Products | |
| Daco Harkes | Interplay between Bidirectional Relations, Derived Values and Multiplicities in IceDust | |
| Nelly Condori-Fernández, Franci Suni Lopez and Carola Sanchez Cueva | Context-aware Software Systems for Persuading Sustainable Behaviour |
While you are here, do consider becoming a member of VERSEN.