Kocsis, I., Tóth, Á., Szatmári, Z., Dabóczi, T., Pataricza, A., Guta, G.: Towards Cyber-Physical System Technologies over Apache VCL.
In: 2nd International IBM Cloud Academy Conference ICA CON 2014, IBM, Atlanta, [10], 2014.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems.
Ann. Math. Inform. 2010 (37), 51-75, 2010.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Analyzing a proxy cache server performance model with the probabilistic model checker PRISM.
In: Automated Specification and Verification of Web Systems WWV'09 : Fifth International Workshop, July 17, 2009, Castle of Hagenberg, Austria. Eds.: Demis Ballis, Temur Kutsia. - Hagenberg, Austria : [s.n.], 2009

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems.
In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, , 2009.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Performance Analyzes of a Proxy Cache Server Model with External Users using the Probabilistic Model Checker PRISM.
In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, [1], 2009.

Guta, G., Szász, B., Schreiner, W.: A lightweight model driven development process based on XML technology.
Research Institute for Symbolic Computation, Linz, 29 p., 2008.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM.
RISC 17 14, 2008.

Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems.
RISC-Linz Report 07-17 1-40, 2007.