Ákos Hajdu

Orcid: 0000-0001-8001-8865

According to our database1, Ákos Hajdu authored at least 26 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated End-to-End Dynamic Taint Analysis for WhatsApp.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023
Pragmatic verification and validation of industrial executable SysML models.
Syst. Eng., November, 2023

2022
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

InfERL: scalable and extensible Erlang static analysis.
Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Bitvector Support in the Theta Formal Verification Framework.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020
Effective Domain-Specific Formal Verification Techniques
PhD thesis, 2020

Efficient Strategies for CEGAR-Based Model Checking.
J. Autom. Reason., 2020

Formal Specification and Verification of Solidity Contracts with Events.
CoRR, 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access, 2020

Abstract: SMT-Friendly Formalization of the Solidity Memory Model.
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Model checking as a service: towards pragmatic hidden formal methods.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

SMT-Friendly Formalization of the Solidity Memory Model.
Proceedings of the Programming Languages and Systems, 2020

Formal Specification and Verification of Solidity Contracts with Events (Short Paper).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019
solc-verify: A Modular Verifier for Solidity Smart Contracts.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program., 2018

Backward Reachability Analysis for Timed Automata with Data Variables.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

2017
Towards Evaluating Size Reduction Techniques for Software Model Checking.
Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Theta: A framework for abstraction refinement-based model checking.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
A Configurable CEGAR Framework with Interpolation-Based Refinements.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
New Search Strategies for the Petri Net CEGAR Approach.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Extensions to the CEGAR Approach on Petri Nets.
Acta Cybern., 2014


  Loading...