Следене
Ákos Hajdu
Ákos Hajdu
Meta / WhatsApp
Потвърден имейл адрес: meta.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
solc-verify: A modular verifier for Solidity smart contracts
Á Hajdu, D Jovanović
Verified Software: Theories, Tools, and Experiments (VSTTE 2019), 2019
1512019
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
802017
Efficient strategies for CEGAR-based model checking
Á Hajdu, Z Micskei
Journal of Automated Reasoning 64 (6), 1051-1091, 2020
432020
SMT-Friendly Formalization of the Solidity Memory Model
Á Hajdu, D Jovanović
Programming Languages and Systems (ESOP 2020), 2020
362020
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
252016
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
192021
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
172020
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
162020
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
152023
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), 2: 1-2: 9, 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
132014
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
122022
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
122015
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
112018
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
92016
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
82022
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
62022
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
62017
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
B Czipó, A Hajdu, T Tóth, I Majzik
14th International Workshop on Formal Engineering Approaches to Software …, 2017
42017
PrivacyCAT: Privacy-aware code analysis at scale
K Mao, C Åhs, S Cela, D Distefano, N Gardner, R Grigore, P Gustafsson, ...
Proceedings of the 46th International Conference on Software Engineering …, 2024
32024
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20