Ákos Hajdu
"Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021.
Abstract
(Accepted)
"SMT-Friendly Formalization of the Solidity Memory Model",
European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
"solc-verify: A Modular Verifier for Solidity Smart Contracts",
Verified Software. Theories, Tools, and Experiments, vol. 12301, New York City, USA, Springer, pp. 161--179, 2020.
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"Formal Specification and Verification of Solidity Contracts with Events (short paper)",
2nd Workshop on Formal Methods for Blockchains, 2020.
Abstract
(In press)
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS,
, no. 16/227,728, United States, 06/2020.
Abstract
US Patent Application
"Software Model Checking with a Combination of Explicit Values and Predicates",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019.
Abstract
"Backward reachability analysis for timed automata with data variables",
Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32–35, 2018.
Abstract
"Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers",
Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017.
Abstract
"Towards Evaluating Size Reduction Techniques for Software Model Checking",
Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017.
Abstract
"Activity-Based Abstraction Refinement for Timed Systems",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017.
Abstract
"Exploratory Analysis of the Performance of a Configurable CEGAR Framework",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017.
Abstract
"Theta: a Framework for Abstraction Refinement-Based Model Checking",
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017.
Abstract
"A Configurable CEGAR Framework with Interpolation-Based Refinements",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016.
Abstract
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"New Search Strategies for the Petri Net CEGAR Approach",
Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.
Abstract
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"Extensions to the CEGAR Approach on Petri Nets",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013.
Abstract