Items where Author is "Hajdu, Ákos"

Article

Vörös, András and Darvas, Dániel and Hajdu, Ákos and Klenik, Attila and Marussy, Kristóf and Molnár, Vince and Majzik, István (2017) Industrial Applications of the PetriDotNet Modelling and Analysis Tool. SCIENCE OF COMPUTER PROGRAMMING. pp. 1-30. ISSN 0167-6423

Book Section

Hajdu, Ákos and Micskei, Zoltán (2018) A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework. In: Proceedings of the 25th PhD Mini-Symposium. BME MIT, Budapest, pp. 32-35. ISBN 978-963-313-285-2

Farkas, Rebeka and Hajdu, Ákos (2017) Activity-Based Abstraction Refinement for Timed Systems. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 18-21. ISBN 978-963-313-243-2

Czipó, Bence and Hajdu, Ákos and Tóth, Tamás and Majzik, István (2017) Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. In: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures. Electronic Proceedings in Theoretical Computer Science (245). Open Publishing Association, Uppsala, pp. 31-45.

Hajdu, Ákos and Micskei, Zoltán Imre (2017) Exploratory Analysis of the Performance of a Configurable CEGAR Framework. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 34-37. ISBN 978-963-313-243-2

Tóth, Tamás and Hajdu, Ákos and Vörös, András and Micskei, Zoltán Imre and Majzik, István (2017) Theta: a Framework for Abstraction Refinement-Based Model Checking. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., Bécs, pp. 176-179. ISBN 978-0-9835678-7-5

Sallai, Gyula and Hajdu, Ákos and Tóth, Tamás and Micskei, Zoltán Imre (2017) Towards Evaluating Size Reduction Techniques for Software Model Checking. In: Proceedings of the Fifth International Workshop on Verification and Program Transformation. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, Uppsala, pp. 1-17.

Hajdu, Ákos and Tóth, Tamás and Vörös, András and Majzik, István (2016) A Configurable CEGAR Framework with Interpolation-Based Refinements. In: Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer International Publishing, [s. l.], pp. 158-174. ISBN 978-3-319-39570-8

Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István (2016) PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 123-132. ISBN 978-3-319-39086-4

Hajdu, Ákos and Vörös, András and Bartha, Tamás (2015) New Search Strategies for the Petri Net CEGAR Approach. In: Application and Theory of Petri Nets and Concurrency. Springer International Publishing Switzerland, Switzerland, pp. 309-328. ISBN 978-3-319-19488-2