Concepedia

Ákos Hajdu

ÁH

Statistics

Publications

5

Citations

125

H-Index

5

Active since

2017

Affiliations

Budapest University of Technology and Economics(Current)

Johannes Kepler University of Linz

Ákos Hajdu is an author at Budapest University of Technology and Economics specializing in computer science, formal methods, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringProgram AnalysisSoftware Testing

Publications per year

2017–2023

5

Publications

5

Theta: A framework for abstraction refinement-based model checking

Tamás Tóth, Ákos Hajdu, Andras Vorcos et al. · 2017 · 49 citations

Engineering, Verification, Software Engineering +21

Efficient Strategies for CEGAR-Based Model Checking

Ákos Hajdu, Zoltán Micskei · Journal of Automated Reasoning · 2019 · 34 citations · Full text

Cegar-based Model Checking, Engineering, Verification +18

Pragmatic verification and validation of industrial executable SysML models

Benedek Horváth, Vince Molnár, Bence Graics et al. · Systems Engineering · 2023 · 16 citations

Engineering, Verification, Software Systems +22

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis et al. · IEEE Access · 2020 · 15 citations · Full text

Model checking as a service

Benedek Horváth, Bence Graics, Ákos Hajdu et al. · 2020 · 11 citations · Full text

Engineering, Hidden Model Checkers, Verification +20

1–5 of 5