The library will be closed between August 10, 2026 and August 16, 2026. During this period, it will be possible to upload publications, but all other services will be suspended.
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.:
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.
