Effective mars rover platform design with Hardware / Software co-design. - Gábor Marosy; Zoltán Kovács; Gyula Horváth (DDECS, 2009)

Formal Methods for High Integrity GPU Software Development and Verification. - Dimitris Aspetakis; Leonidas Kosmidis; Matina Maria Trompouki; Jose Ruiz; Gábor Marosy (DATE, 2024)