Zoltán Gera

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 3

Top Topics

Operational Semantics

Specification Language

Symbolic Execution

Top Venues

ICSE (Companion Volume)

Comput. Sci. Inf. Syst.

Publications

Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
Implementation and evaluation of cross translation unit symbolic execution for C family languages. ICSE (Companion Volume) (2018)
Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. SCAM (2018)
Gergely Dévay, Tibor Gregorics, Melinda Tóth, Domonkos Asztalos, Dávid János Németh, Gábor Ferenc Kovács, Boldizsár Németh, Zoltán Gera, András Dobreff, Balázs Gregorics, András Nagy, Martin Budai, Zsolt Kulik, Kristóf Kanyó
txtUML. D&P@MoDELS (2016)
Gergely Dévai, Zoltán Gera, Zoltán Kelemen
Language abstractions for low level optimization techniques. Comput. Sci. Inf. Syst. 11 (4) (2014)
Zoltán Gera
Filter Bank Design for Melody Recognition. Acta Cybern. 19 (1) (2009)