Ákos Hajdu

Citada per

	Totes	Des de 2020
Citacions	519	453
Índex h	12	11
Índex i10	14	11

120

2014201520162017201820192020202120222023202420252 2 12 9 18 22 65 80 101 85 106 16

Accés públic

Mostra-ho tot

10 articles

1 article

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

András VörösCritical Systems Research Group, Budapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
Zoltán MicskeiBudapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
Dejan JovanovićAmazon Web ServicesCorreu electrònic verificat a amazon.com
Tamás TóthBudapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
Vince MolnárBudapest University of Technology and EconomicsCorreu electrònic verificat a vik.bme.hu
Attila KlenikBudapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
Tamás BarthaSZTAKI, BME KJITCorreu electrònic verificat a sztaki.hu
Ke MaoMetaCorreu electrònic verificat a meta.com
Zsófia ÁdámPhD Student, Budapest University of Technology and EconomicsCorreu electrònic verificat a edu.bme.hu
Bence GraicsResearch fellow, Budapest University of Technology and EconomicsCorreu electrònic verificat a mit.bme.hu
István RáthResearch associate, Budapest University of Technology and Economics; CEO, IncQuery Labs LtdCorreu electrònic verificat a mit.bme.hu
Matteo MarescottiMeta, LondonCorreu electrònic verificat a meta.com
Dino DistefanoAnthropic and Queen Mary University of LondonCorreu electrònic verificat a eecs.qmul.ac.uk
Timotej KapusImperial College LondonCorreu electrònic verificat a ic.ac.uk
Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioCorreu electrònic verificat a cs.columbia.edu
Darvas DánielCorreu electrònic verificat a cern.ch
Radu GrigoreMetaCorreu electrònic verificat a fb.com
Thibault SuzanneMetaCorreu electrònic verificat a meta.com
Naghmeh Ramezani IvakiAssistant Professor at the University of CoimbraCorreu electrònic verificat a dei.uc.pt

Segueix

Ákos Hajdu

Meta / WhatsApp

Correu electrònic verificat a meta.com - Pàgina d'inici

Formal methods static analysis automated reasoning SAT/SMT


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
solc-verify: A modular verifier for Solidity smart contracts Á Hajdu, D Jovanović Verified Software: Theories, Tools, and Experiments (VSTTE 2019), 2019	150	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	80	2017
Efficient strategies for CEGAR-based model checking Á Hajdu, Z Micskei Journal of Automated Reasoning 64 (6), 1051-1091, 2020	43	2020
SMT-Friendly Formalization of the Solidity Memory Model Á Hajdu, D Jovanović Programming Languages and Systems (ESOP 2020), 2020	36	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	25	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
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	17	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	16	2020
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	15	2023
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	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
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
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	8	2022
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	6	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
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	4	2017
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	3	2024

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors