MSc Leon Freriks

MSc student Leon Freriks gave his graduation presentation today and succesfully defended his MSc thesis “Using static analysis to improve scalability of active automata learning of data-dependent components”. Leon did his MSc final project as a graduation intern at ASML.

Book Model Management and Analytics for Large Scale Systems published

I’m glad to announce that the book “Model Management and Analytics for Large Scale Systems”, which I edited together with Bedir Tekinerdogan, Önder Babur, Mark van den Brand, and Mehmet Aksit, is available as of today. It is published by Elsevier and accesible on ScienceDirect. As the description of the... [Read More]

MSc Niels Rood

MSc student Niels Rood gave his graduation presentation today and succesfully defended his MSc thesis “Functional Safety Analysis and Safety Pattern Application on i-CAVE”. Niels did his MSc final project as part of the i-CAVE (integrated Cooperative Automated VEhicles) project. He was supervised by TU/e colleagues Mark van den Brand,... [Read More]