Publications

Export 160 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is H  [Clear All Filters]
2021
Á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
(Accepted)
2020
Hajdu, Á., and Jovanović, D., "SMT-Friendly Formalization of the Solidity Memory Model", European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
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.
2019
Bajkai, D V., and Hajdu, Á., "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
Farkas, R., Bergmann, G., and Horváth, Á., "Adaptive Step Size Control for Hybrid CT Simulation without Rollback", 13th International Modelica Conference, OTH Regensburg, Germany, 2019.
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "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
2018
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "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.
Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "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.
Hajdu, Á., and Micskei, Z., "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
Honfi, D., and Micskei, Z., "Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics", Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
2017
Czipó, B., Hajdu, Á., Tóth, T., and Majzik, I., "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
Sallai, G., Hajdu, Á., Tóth, T., and Micskei, Z., "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
Honfi, D., and Micskei, Z., "Supporting Unit Test Generation via Automated Isolation", Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.