Gbor Marosy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2024
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DATE | Formal Methods for High Integrity GPU Software Development and Verification. | Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gbor Marosy |
| 2009 | DDECS | Effective mars rover platform design with Hardware / Software co-design. | Gbor Marosy, Zoltn Kovcs, Gyula Horvth |