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
2023 |
|
7. | From Fault Trees to Piping and Instrumentation Diagrams. In: ESREL, pp. 1234–1235, Research Publishing, 2023. | :
6. | SAFEST: the static and dynamic fault tree analysis tool. In: ESREL, pp. 193–200, Research Publishing, 2023. | :
2022 |
|
5. | Automatic inference of fault tree models via multi-objective evolutionary algorithms. In: IEEE Transactions on Dependable and Secure Computing, pp. 1-12, 2022. | :
4. | BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. In: NFM, pp. 713–732, Springer, 2022. | :
3. | Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. In: International Conference on Computer Safety, Reliability, and Security, pp. 46–61, Springer 2022. | :
2. | DFT modeling approach for operational risk assessment of railway infrastructure. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 3, pp. 331–350, 2022. | :
2021 |
|
1. | Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison. In: Castanier, Bruno; Cepin, Marko; Bigaud, David; Bérenguer, Christophe (Ed.): Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), pp. 673–680, Research Publishing, 2021, (European Safety and Reliability Conference 2021, ESREL 2021 ; Conference date: 19-09-2021 Through 23-09-2021). | :