Gábor Marosy

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 1

Top Topics

Protocol Specification

Provably Correct

Top Venues

Publications

Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy
Formal Methods for High Integrity GPU Software Development and Verification. DATE (2024)
Gábor Marosy, Zoltán Kovács, Gyula Horváth
Effective mars rover platform design with Hardware / Software co-design. DDECS (2009)