In: Proceedings of the 10th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI 2015) Óbudai Egyetem, Budapest, pp. 227-231.
Supporting Smart System applications in Scientific Gateway environment
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs