default search action

combined dblp search
author search
venue search
publication search

ask others

Ákos Hajdu

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MaoACDGGGHKMSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaoACDGGGHKMSS24
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: 106-117
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CelaCGH0KKLMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CelaCGH0KKLMM24
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: 21-26
2023
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/se/HorvathMGHRHKTM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/se/HorvathMGHRHKTM23
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): 693-714 (2023)
2022
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/HajduMSMGGD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/HajduMSMGGD22
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano:
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop 2022: 33-39
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MaoKPHMLHD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MaoKPHMLHD22
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: 267-278
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AdamBDHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AdamBDHM22
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: 474-478
2021
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/Dobos-KovacsHV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/Dobos-KovacsHV21
Mihály Dobos-Kovács, Ákos Hajdu, András Vörös:
Bitvector Support in the Theta Formal Verification Framework. LADC 2021: 1-8
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AdamSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AdamSH21
Zsófia Ádám, Gyula Sallai, Ákos Hajdu:
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). TACAS (2) 2021: 433-437
2020
[b1]
- view
  - electronic edition @ doktori.hu
  - no references & citations available
- export record
  dblp key:
  - phd/hu/Akos20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hu/Akos20
Ákos Hajdu:
Effective Domain-Specific Formal Verification Techniques. Budapest University of Technology and Economics, Hungary, 2020
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/HajduIKKGLMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/HajduIKKGLMP20
Á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: 190760-190783 (2020)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/HajduM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HajduM20
Ákos Hajdu, Zoltán Micskei:
Efficient Strategies for CEGAR-Based Model Checking. J. Autom. Reason. 64(6): 1051-1091 (2020)
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HajduJC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HajduJC20
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie:
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV 2020: 2:1-2:9
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/HajduJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HajduJ20
Ákos Hajdu, Dejan Jovanovic:
SMT-Friendly Formalization of the Solidity Memory Model. ESOP 2020: 224-250
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/models/HorvathGHMMRAGK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HorvathGHMMRAGK20
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: 37:1-37:5
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HajduJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HajduJ20
Ákos Hajdu, Dejan Jovanovic:
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. SMT 2020: 59
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-03256
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-03256
Ákos Hajdu, Dejan Jovanovic:
SMT-Friendly Formalization of the Solidity Memory Model. CoRR abs/2001.03256 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10382
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie:
Formal Specification and Verification of Solidity Contracts with Events. CoRR abs/2005.10382 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-11597
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-11597
Á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 abs/2006.11597 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/HajduJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/HajduJ19
Ákos Hajdu, Dejan Jovanovic:
solc-verify: A Modular Verifier for Solidity Smart Contracts. VSTTE 2019: 161-179
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-04262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-04262
Ákos Hajdu, Dejan Jovanovic:
solc-verify: A Modular Verifier for Solidity Smart Contracts. CoRR abs/1907.04262 (2019)
2018
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FarkasTHV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FarkasTHV18
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)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/VorosDHKMMBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VorosDHKMMBM18
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: 17-40 (2018)
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TothHVMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TothHVMM17
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: 176-179
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CzipoHTM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CzipoHTM17
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: 31-45
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1708-07224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07224
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei:
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS 2017: 75-91
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VorosDMKHJBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VorosDMKHJBM16
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: 123-132
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/HajduTVM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HajduTVM16
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik:
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE 2016: 158-174
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HajduVB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HajduVB15
Ákos Hajdu, András Vörös, Tamás Bartha:
New Search Strategies for the Petri Net CEGAR Approach. Petri Nets 2015: 309-328
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/actaC/HajduVBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/HajduVBM14
Á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): 401-417 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.