Simulation-based Safety Assessment of High-level Reliability Models. - Simon József Nagy; Bence Graics; Kristóf Marussy; András Vörös 001 (MARS@ETAPS, 2020)

Demonstrator for dependable edge-based cyber-physical systems. - Simon József Nagy; Richárd Szabó; Máté Levente Vajda; András Vörös 001 (LADC, 2021)