Software Engineering Nederland

VERSEN Track at ICT.Open

Please be invited to join the special track at ICT.Open on March 19th of Versen at De Flint in Amersfoort. Also, please register for ICT.Open.

March 19, 2018

11:30 - 12:15: Invited talk - Lionel Briand (University of Luxembourg)
Automated Vulnerability Testing Using Machine Learning and Search Metaheuristics

12:15 - 12:35: Joost Bosman (ING)
Towards Financial Eco Systems:  Science, Engineering, Economics

12:35 - 12:55 Otávio Fernandes & Eimar Fandino (Schuberg Philis)
Streaming for Realtime Banking

12:55 - 13:00 From the VERSEN chair - Marieke Huisman

14:30 - 14:45 Project presentation: Rodin Aarssen, Jan Friso Groote, Jurgen Vinju and Omar Alzuhaiby (Eindhoven University)
Reconstructing legacy software through model extraction

14:45 - 15:00 Project presentation: Eelco Visser (Delft University of Technology)
A Language Designer's Workbench: Automating the Verification of Language Definitions

15:00 - 15:20 Research pitches:
* Önder Babur, Loek Cleophas and Mark Van Den Brand - Model Analytics: Tackling Scalability in Modelling
* Pekka Aho, Tanja Vos, Gjalt Loots, Machiel van der Bijl 
   and Martin Deiman  - The Next Level of Test  Automation - Automated  Testing through Graphical User Interface 
* Ivano Malavolta - Experimenting on Mobile Apps Quality - a tale about Energy, Performance, and Users’ Perception
* Remco de Man and Ansgar Fehnker  - Design Smells in Processing Programs
* Gururaj Maddodi and Slinger Jansen - Workload Relation to Component Architecture Using DDD Aggregates in CQRS Framework 

15:20 - 15:35 Project presentation: Marieke Huisman (University of Twente)
Mercedes: Maximal Reliability of Concurrent and Distributed Software

15:35 - 15:50 Project presentation: Wishnu Prasetya, Tanja E. J. Vos, Gordon Fraser, Rui Prada and Ivan Martinez (Utrecht University)
Improving Engagement of Students in Software Engineering Courses through Gamification

15:50 - 16:10 Research pitches:
* Wytse Oortwijn and Wolfgang Ahrendt - Combined Static and Runtime Verification of Distributed Objects
* Alejandro Serrano - Domain-Specific Type Error Diagnosis
* Vasilios Andrikopoulos - A New Approach to the Lifecycle of Cloud-based Applications
* Anna-Lena Lamprecht - Constraint-Guided Automated Workflow Composition: Applications in Bioinformatics
* Anton Wijs - GEARS: GPU Enabled Accelerated Reasoning about System designs