Check-Bit Region Exploration in Two-Dimensional Error Correction Codes.
IEEE Access, 2024
Behavioural Up/down Casting For Statically Typed Languages.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
A Java typestate checker supporting inheritance.
Sci. Comput. Program., 2022
On using VeriFast, VerCors, Plural, and KeY to check object usage.
CoRR, 2022
Proceedings of the Coordination Models and Languages, 2021
Typestates to Automata and back: a tool.
Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020
Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning.
Proceedings of the IEEE International Smart Cities Conference, 2018
Agrafo: a visual interface for grouping and browsing digital photos.
Proceedings of the working conference on Advanced Visual Interfaces, 2008