Ákos Hajdu

From MaRDI portal
Person:2209547

Available identifiers

zbMath Open hajdu.akosDBLP150/7817WikidataQ57085461 ScholiaQ57085461MaRDI QIDQ2209547

List of research outcomes





PublicationDate of PublicationType
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive2022-02-02Dataset
Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset2021-11-28Dataset
Efficient strategies for CEGAR-based model checking2020-11-02Paper
Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"2020-06-15Dataset
Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework"2018-01-29Dataset
A configurable CEGAR framework with interpolation-based refinements2016-10-19Paper
New search strategies for the Petri net CEGAR approach2015-08-27Paper
Extensions to the CEGAR approach on Petri nets2015-01-09Paper

Research outcomes over time

This page was built for person: Ákos Hajdu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2209547&oldid=6150808"
Powered by MediaWiki