In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
New Search Strategies for the Petri Net CEGAR Approach
In: 4th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) BME Közlekedésmérnöki és Járműmérnöki Kar, Budapest, pp. 477-482.
Security Issues and Vulnerabilities in Connected Car Systems
In: Progress in Systems Engineering. Proceedings of the Twenty-Third International Conference on Systems Engineering Advances in Intelligent Systems and Computing, 1089. Springer, Heidelberg, pp. 41-47. ISSN 2194-5357
Generalization of the Observer Principle for YOULA-Parametrized Regulators