Ákos Hajdu

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 26

Top Topics

Static Analysis

Epistemic Logic

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac
Automated End-to-End Dynamic Taint Analysis for WhatsApp. SIGSOFT FSE Companion (2024)
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). TACAS (2) (2022)
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST (2022)
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop (2022)
Zsófia Ádám, Gyula Sallai, Ákos Hajdu
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). TACAS (2) (2021)
Mihály Dobos-Kovács, Ákos Hajdu, András Vörös
Bitvector Support in the Theta Formal Verification Framework. LADC (2021)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. CoRR (2020)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events. CoRR (2020)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access 8 (2020)
Ákos Hajdu, Zoltán Micskei
Efficient Strategies for CEGAR-Based Model Checking. J. Autom. Reason. 64 (6) (2020)
Ákos Hajdu, Dejan Jovanovic
SMT-Friendly Formalization of the Solidity Memory Model. CoRR (2020)
Ákos Hajdu, Dejan Jovanovic
SMT-Friendly Formalization of the Solidity Memory Model. ESOP (2020)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV (2020)
Ákos Hajdu, Dejan Jovanovic
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. SMT (2020)
Ákos Hajdu, Dejan Jovanovic
solc-verify: A Modular Verifier for Solidity Smart Contracts. CoRR (2019)
Ákos Hajdu, Dejan Jovanovic
solc-verify: A Modular Verifier for Solidity Smart Contracts. VSTTE (2019)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
Backward Reachability Analysis for Timed Automata with Data Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. FESCA@ETAPS (2017)
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS (2017)
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
Theta: A framework for abstraction refinement-based model checking. FMCAD (2017)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE (2016)
Ákos Hajdu, András Vörös, Tamás Bartha
New Search Strategies for the Petri Net CEGAR Approach. Petri Nets (2015)
Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka
Extensions to the CEGAR Approach on Petri Nets. Acta Cybern. 21 (3) (2014)