| solc-verify: A modular verifier for Solidity smart contracts Á Hajdu, D Jovanović Verified Software: Theories, Tools, and Experiments (VSTTE 2019), 2019 | 131 | 2019 |
| Theta: a framework for abstraction refinement-based model checking T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017 | 74 | 2017 |
| Efficient strategies for CEGAR-based model checking Á Hajdu, Z Micskei Journal of Automated Reasoning 64 (6), 1051-1091, 2020 | 39 | 2020 |
| SMT-Friendly Formalization of the Solidity Memory Model Á Hajdu, D Jovanović Programming Languages and Systems (ESOP 2020), 2020 | 31 | 2020 |
| A configurable CEGAR framework with interpolation-based refinements Á Hajdu, T Tóth, A Vörös, I Majzik Formal Techniques for Distributed Objects, Components, and Systems, 158-174, 2016 | 24 | 2016 |
| Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) Z Ádám, G Sallai, Á Hajdu International Conference on Tools and Algorithms for the Construction and …, 2021 | 19 | 2021 |
| Formal specification and verification of solidity contracts with events (short paper) Á Hajdu, D Jovanović, G Ciocarlie 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 15* | 2020 |
| Using fault injection to assess blockchain systems in presence of faulty smart contracts Á Hajdu, N Ivaki, I Kocsis, A Klenik, L Gönczy, N Laranjeiro, H Madeira, ... IEEE Access 8, 190760-190783, 2020 | 14 | 2020 |
| Extensions to the CEGAR approach on Petri nets Á Hajdu, A Vörös, T Bartha, Z Mártonka Acta Cybernetica 21 (3), 401-417, 2014 | 13 | 2014 |
| Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár International Conference on Tools and Algorithms for the Construction and …, 2022 | 12 | 2022 |
| Model checking as a service: towards pragmatic hidden formal methods B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ... Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 12 | 2020 |
| New search strategies for the Petri net CEGAR approach Á Hajdu, A Vörös, T Bartha Application and Theory of Petri Nets and Concurrency: 36th International …, 2015 | 12 | 2015 |
| Industrial applications of the PetriDotNet modelling and analysis tool A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ... Science of Computer Programming 157, 17-40, 2018 | 11 | 2018 |
| PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ... Application and Theory of Petri Nets and Concurrency: 37th International …, 2016 | 9 | 2016 |
| Pragmatic verification and validation of industrial executable SysML models B Horváth, V Molnár, B Graics, Á Hajdu, I Ráth, Á Horváth, R Karban, ... Systems Engineering 26 (6), 693-714, 2023 | 7 | 2023 |
| FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp K Mao, T Kapus, L Petrou, A Hajdu, M Marescotti, A Löscher, M Harman, ... International Conference on Software Testing, Verification and Validation, 2022 | 7 | 2022 |
| Towards evaluating size reduction techniques for software model checking G Sallai, A Hajdu, T Tóth, Z Micskei Fifth International Workshop on Verification and Program Transformation (VPT …, 2017 | 6 | 2017 |
| InfERL: scalable and extensible Erlang static analysis Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ... Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 33-39, 2022 | 4 | 2022 |
| Middleware to automatically verify smart contracts on blockchains G Ciocarlie, K Eldefrawy, T Lepoint, JN Laserna, A Hajdu, D Jovanovic US Patent App. 16/227,728, 2020 | 3 | 2020 |
| LLVM IR-based Transformations for Software Model Checking G Sallai Budapest University of Technology and Economics, 2019 | 3 | 2019 |
András VörösCritical Systems Research Group, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
