Export 160 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is H  [Clear All Filters]
Hajdu, Á., and Jovanović, D., "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.
Hajdu, Á., and Micskei, Z., "Efficient Strategies for CEGAR-based Model Checking", Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020. Abstract
Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R., "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.
Aznaveh, M., Chen, J., Davis, T. A., Hegyi, B., Kolodziej, S. P., Mattson, T. G., and Szárnyas, G., "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.
Ádám, Z., Sallai, G., and 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