Guta Gábor

1.

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.

DEA

2.

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.

DEA

Journal metrics:

Q2 Computer Science (miscellaneous)

Q3 Mathematics (miscellaneous)

3.

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

DEA

4.

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.

DEA

5.

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.

DEA

6.

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.

DEA

7.

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.

DEA

8.

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.

DEA

Publication list