Gábor Marosy

According to our database, Gábor Marosy authored at least 2 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Methods for High Integrity GPU Software Development and Verification.

Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2009

Effective mars rover platform design with Hardware / Software co-design.

Gábor Marosy, Zoltán Kovács, Gyula Horváth

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009