A paper by PrimaVera researchers Bas van Oudenhoven, Philippe Van de Calseyde, Rob Basten, and Evangelia Demerouti (Eindhoven University of Technology) has recently been published in the International Journal of …
PrimaVera PI Nils Jansen receives the ERC Starting Grant of 1.5 million euros for his research proposal “Data-Driven Verification and Learning Under Uncertainty (DEUCE)”. The main objective of Nils Jansen’s …
PrimaVera researchers from Radboud University have got three papers accepted to the artificial intelligence conference AAAI! The conference will take place from February 7 – 14 in Washington DC, United …
PrimaVera project leader Mariëlle Stoelinga has been awarded the “Test of Time Award” at the highly regarded International Conference on Concurrency Theory (CONCUR) for their paper on The Element of …
On Thursday, September 15, dr. ir. Rob Basten of Eindhoven University of Technology and dr. Jan Braaksma of the University of Twente gave presentations at the Risk management & FMEA seminar …
Fault tree analysis is a well-known technique in reliability engineering and risk assessment that supports decision-making in complex systems. Traditional methods, however, require that parameters of fault trees (such as …
As of March 1, University of Twente appointed Jan-jaap Moerman MSc. RE to join the PrimaVera project as a post-doc. He holds two master’s degrees in respectively Business & IT …
On February 1, 2022, we held a digital consortium meeting within PrimaVera. During this meeting, a number of very interesting presentations were held. You can access the material of the …
The paper Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise, coauthored by PrimaVera researchers Thom Badings, Nils Jansen, and Marielle Stoelinga, was selected for a distinguished paper award at …
We are delighted to announce that the paper by David Kerkkamp, Zaharah Bukhsh, Yingqian Zhang and Nils Jansen has won the best student paper award at the International Conference on …