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]
Tutorial "The Correctness by Construction Approach to Programming" at Formal Methods 2019
I’m looking forward to the next edition of the tutorial on Correctness by Construction. I’ll be co-presenting it in Porto, Portugal coming Thursday morning, as part of FMWeek 2019. The tutorial is the latest and greatest edition of a series, with previous editions at FM’14, QRS’17, and ICTAC’18.
New website up
Finally.. More to be added.