kos Hajdu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2022 | ICST | FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. | Ke Mao, Timotej Kapus, Lambros Petrou, kos Hajdu, Matteo Marescotti, Andreas Lscher, Mark Harman, Dino Distefano |
| 2022 | TACAS | Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). | Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr |
| 2021 | TACAS | Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). | Zsfia dm, Gyula Sallai, kos Hajdu |
| 2020 | CAV | Formal Specification and Verification of Solidity Contracts with Events (Short Paper). | kos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie |
| 2020 | ESOP | SMT-Friendly Formalization of the Solidity Memory Model. | kos Hajdu, Dejan Jovanovic |
| 2020 | MODELS | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2017 | FMCAD | Theta: A framework for abstraction refinement-based model checking. | Tams Tth, kos Hajdu, Andrs Vrs, Zoltn Micskei, Istvn Majzik |
| 2016 | FORTE | A Configurable CEGAR Framework with Interpolation-Based Refinements. | kos Hajdu, Tams Tth, Andrs Vrs, Istvn Majzik |