Big data Optimized data handling Visualization Workflow technologies

Big data GPU High performance computing Multi-scale & multi model simulations Optimized data handling Real time data analysis

FAIR Research Software Impact Software Citation

Cancer vaccine Convolutional Neural Network Deep Learning Framework Geometric Deep Learning Graph Neural Network Missense variant Protein-Protein Interaction Structural biology

Conformance testing Model-based testing Programmable logic controllers Railway infrastructure Railways Railway signalling Safety-critical systems Simulation software Single-Input-Changes Traffic management

All software

Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller