I’m involved in two upcoming workshops associated with the Models 2020 conference: I’m a PC member for ModComp 2020 on the interplay of model-driven and component-based software engineering and a co-organizer for AMMoRE 2020 on analytics and mining of model repositories. Please consider submitting your research to these excellent events!... [Read More]
2 PhD positions on methodology and tool support for effective digital twinning
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 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.