Publications
Filters: First Letter Of Last Name is H [Clear All Filters]
"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)
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"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.
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 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.
"Parallel GraphBLAS with OpenMP",
SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS,
, no. 16/227,728, United States, 06/2020.
Abstract
US Patent Application
"Classifying generated white-box tests: an exploratory study",
Software Quality Journal, pp. 42, 2019.
Abstract
"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
"Adaptive Step Size Control for Hybrid CT Simulation without Rollback",
13th International Modelica Conference, OTH Regensburg, Germany, 2019.
"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles",
IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
"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.
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems",
NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 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
"Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics",
Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
"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
"Supporting Unit Test Generation via Automated Isolation",
Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.