I have Two PhD positions on methodology and tool support for effective digital twinning available. These are for fully funded four year PhD positions at TU/e. Contact me if you are interested and have questions. Applications close on June 30th.
Paper on Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems
Although the 2020 IEEE International Conference on Software Architecture (ICSA) got postponed from March to November due to the Coronavirus crisis, the proceedings have been published. The companion volume contains the New and Emerging Ideas (NEMI) track paper Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems by... [Read More]
Paper on Boyer-Moore-Horspool style tree pattern matching in linearised trees published
The paper On modification of Boyer-Moore-horspool’s algorithm for tree pattern matching in linearised trees by Jan Trávníček, Jan Janoušek, Bořivoj Melichar and myself has been published in Theoretical Computer Science DOI. Until July 8th, the paper is freely available via this link.
MSc Leon Freriks
MSc student Leon Freriks gave his graduation presentation on 2019/11/07 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. I addressed Leon via video recording at the degree... [Read More]
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]