by Thom Badings

PrimaVera Demonstrators

  • Infrastructure Demonstrator – PrimaVera is developing a web app that showcases research applications in diagnostics, prognostics, and maintenance policy optimization and logistics. The work-in-progress web application can be visited via the link above.

List of scientific publications

Show all

2022

1.Daniel Basgöze; Matthias Volk; Joost-Pieter Katoen; Shahid Khan; Mariëlle Stoelinga: BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. In: NFM, pp. 713–732, Springer, 2022. (Type: Proceedings Article | Links | BibTeX | Tags: Decision tree, Fault tree analysis)