Ákos Hajdu
Cím
Hivatkozott rá
Hivatkozott rá
Év
solc-verify: A modular verifier for Solidity smart contracts
Á Hajdu, D Jovanović
Verified Software: Theories, Tools, and Experiments (VSTTE 2019), 2019
362019
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
262017
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
172016
SMT-Friendly Formalization of the Solidity Memory Model
Á Hajdu, D Jovanović
Programming Languages and Systems (ESOP 2020), 2020
122020
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
International Conference on Applications and Theory of Petri Nets and …, 2015
112015
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
112014
Efficient strategies for CEGAR-based model checking
Á Hajdu, Z Micskei
Journal of Automated Reasoning 64 (6), 1051-1091, 2020
92020
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, ...
International Conference on Applications and Theory of Petri Nets and …, 2016
72016
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
52018
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
52017
LLVM IR-based Transformations for Software Model Checking
G Sallai
Budapest University of Technology and Economics, 2019
32019
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
32017
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
22020
Exploratory analysis of the performance of a configurable CEGAR framework
A Hajdu, Z Micskei
24th PhD Mini-Symposium, 34-37, 2017
22017
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).
Z Ádám, G Sallai, Á Hajdu
TACAS (2), 433-437, 2021
12021
Formal Specification and Verification of Solidity Contracts with Events
Á Hajdu, D Jovanović, G Ciocarlie
arXiv preprint arXiv:2005.10382, 2020
12020
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
12020
Effective domain-specific formal verification techniques
Á Hajdu
Budapest University of Technology and Economics, 2020
12020
Backward reachability analysis for timed automata with data variables
R Farkas, T Tóth, Á Hajdu, A Vörös
Electronic Communications of the EASST 76, 2019
12019
Software Model Checking with a Combination of Explicit Values and Predicates
VD Bajkai, A Hajdu
26th PhD Mini-Symposium, 4-7, 2019
12019
Verification of Timed Automata by CEGAR-Based Algorithms
R Farkas, A Vörös, T Tóth, Á Hajdu
Master’s thesis. Budapest University of Technology and Economics, 2016
12016
Petri Net Based Trajectory Optimization
Á Hajdu, R Német, S Varró–Gyapay, A Vörös
ASCONIKK 2014: Extended Abstracts. Future Internet Services, 11-19, 2014
12014
Formal Software Verification
Á Hajdu
2021
Formal verification of engineering models via extended symbolic transition systems
M Mondok, Á Hajdu
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
2020
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
2020
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
A Hajdu, Z Micskei
25th PhD Mini-Symposium, 32-35, 2018
2018
Activity-Based Abstraction Refinement for Timed Systems
R Farkas, A Hajdu
24th PhD Mini-Symposium, 18-21, 2017
2017
A Survey on CEGAR-based Model Checking
Á Hajdu
Budapest University of Technology and Economics, 2015
2015
Making the TTreeReader interface more accessible
A Hajdu
2015
Efficient combinations of predicate abstraction and explicit-value analysis for software model checking
VD Bajkai, Á Hajdu
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–31