Ákos Hajdu

According to our database, Ákos Hajdu authored at least 26 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated End-to-End Dynamic Taint Analysis for WhatsApp.

Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023

Pragmatic verification and validation of industrial executable SysML models.

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

2022

Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).

Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.

Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

InfERL: scalable and extensible Erlang static analysis.

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).

Zsófia Ádám, Gyula Sallai, Ákos Hajdu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Bitvector Support in the Theta Formal Verification Framework.

Mihály Dobos-Kovács, Ákos Hajdu, András Vörös

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Effective Domain-Specific Formal Verification Techniques

Ákos Hajdu

PhD thesis, 2020

Efficient Strategies for CEGAR-Based Model Checking.

Ákos Hajdu, Zoltán Micskei

J. Autom. Reason., 2020

Formal Specification and Verification of Solidity Contracts with Events.

Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie

CoRR, 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.

Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza

IEEE Access, 2020

Abstract: SMT-Friendly Formalization of the Solidity Memory Model.

Ákos Hajdu, Dejan Jovanovic

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

SMT-Friendly Formalization of the Solidity Memory Model.

Ákos Hajdu, Dejan Jovanovic

Proceedings of the Programming Languages and Systems, 2020

Formal Specification and Verification of Solidity Contracts with Events (Short Paper).

Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

solc-verify: A Modular Verifier for Solidity Smart Contracts.

Ákos Hajdu, Dejan Jovanovic

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

Backward Reachability Analysis for Timed Automata with Data Variables.

Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös

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

2017

Towards Evaluating Size Reduction Techniques for Software Model Checking.

Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.

Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Theta: A framework for abstraction refinement-based model checking.

Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

A Configurable CEGAR Framework with Interpolation-Based Refinements.

Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

New Search Strategies for the Petri Net CEGAR Approach.

Ákos Hajdu, András Vörös, Tamás Bartha

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Extensions to the CEGAR Approach on Petri Nets.

Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka

Acta Cybern., 2014