TY - CHAP AU - Gézsi, András AU - Bruncsics, Bence AU - Guta, Gábor AU - Antal, Péter ED - Rojas, I ED - Ortuno, F TI - Constructing a quantitative fusion layer over the semantic level for scalable inference T2 - Bioinformatics and Biomedical Engineering PB - Springer Netherlands CY - Cham (Németország) SN - 9783319787237 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10813. PY - 2018 SP - 41 EP - 53 PG - 13 DO - 10.1007/978-3-319-78723-7_4 UR - https://m2.mtmt.hu/api/publication/3366399 ID - 3366399 LA - English DB - MTMT ER - TY - JOUR AU - Kocsis, Imre AU - Áron, Tóth AU - Szatmári, Zoltán AU - Dabóczi, Tamás AU - Pataricza, András AU - Guta, Gábor TI - Towards Cyber-Physical System Technologies over Apache VCL JF - INTERNATIONAL JOURNAL OF CLOUD COMPUTING J2 - INT J CLOUD COMP VL - 5 PY - 2016 IS - 1-2 SP - 91 EP - 111 PG - 21 SN - 2043-9989 DO - 10.1504/IJCC.2016.075101 UR - https://m2.mtmt.hu/api/publication/2832868 ID - 2832868 AB - The paper presents an extension of the Apache Virtual Computing Lab (VCL) facilitating the education of cloud technologies and cyber-physical systems (CPS). On the one hand, a ”Cloud on Cloud” solution serves as a teaching platform for IT professionals and cloud application designers. On the other hand, offering remote access to physical devices in the teaching laboratories supports the education of CPS. CPS-enabled academic clouds and teaching CPS with academic clouds are both effectively uncharted territories from the didactic point of view – thus we also present an analysis of their potential from the aspect of learning facilitation. LA - English DB - MTMT ER - TY - CONF AU - Kocsis, Imre AU - Áron, Tóth AU - Szatmári, Zoltán AU - Dabóczi, Tamás AU - Pataricza, András AU - Guta, Gábor TI - Towards Cyber-Physical System Technologies over Apache VCL T2 - 2nd International IBM Cloud Academy Conference C1 - Atlanta (GA) PY - 2014 SP - 1 EP - 10 PG - 10 UR - https://m2.mtmt.hu/api/publication/2862741 ID - 2862741 AB - The paper presents an extension of the Apache Virtual Computing Lab (VCL) facilitating the education of cloud technologies and cyber-physical systems (CPS). On the one hand, a ”Cloud on Cloud” solution serves as a teaching platform for IT professionals and cloud application designers. On the other hand, offering remote access to physical devices in the teaching laboratories supports the education of CPS. CPS-enabled academic clouds and teaching CPS with academic clouds are both effectively uncharted territories from the didactic point of view – thus we also present an analysis of their potential from the aspect of learning facilitation. LA - English DB - MTMT ER - TY - CHAP AU - Kusper, Gábor AU - Kovásznai, Gergely AU - Schreiner, Wolfgang AU - Guta, Gábor AU - Sztrik, János ED - Egri-Nagy, Attila ED - Kovács, Emőd ED - Kovásznai, Gergely ED - Kusper, Gábor ED - Tómács, Tibor TI - A Small Survey on Java Specification Languages T2 - Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010 PB - Eszterházy Károly College CY - Eger SN - 9789639894723 PY - 2010 SP - 409 EP - 416 PG - 8 UR - https://m2.mtmt.hu/api/publication/1863675 ID - 1863675 LA - English DB - MTMT ER - TY - JOUR AU - Bérczes, Tamás AU - Guta, Gábor AU - Kusper, Gábor AU - Schreiner, Wolfgang AU - Sztrik, János TI - Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems JF - ANNALES MATHEMATICAE ET INFORMATICAE J2 - ANN MATH INFORM VL - 37 PY - 2010 SP - 51 EP - 75 PG - 25 SN - 1787-5021 UR - https://m2.mtmt.hu/api/publication/1498227 ID - 1498227 AB - We describe the results of analyzing the performance model of a finitesource retrial queueing system with the probabilistic model checker PRISM. The system has been previously investigated with the help of the performance modeling environment MOSEL; we are able to accurately reproduce the results reported in literature. The present paper compares PRISM and MOSEL with respect to their modeling languages and ways of specifying performance queries and benchmark the executions of the tools. LA - English DB - MTMT ER - TY - CONF AU - K, Wolfmaier AU - R, Ramler AU - Guta, Gábor AU - H, Dobler TI - Observable Runtime Behavior for Defects Indicated by Automated Static Analysis T2 - Computer Aided Systems Theory - EUROCAST 2009 PB - Springer Netherlands C1 - Berlin PY - 2009 SP - 312 EP - 319 PG - 8 UR - https://m2.mtmt.hu/api/publication/2829123 ID - 2829123 LA - English DB - MTMT ER - TY - CONF AU - Guta, Gábor AU - Schreiner, Wolfgang AU - Dirk, Draheim TI - A Lightweight MDSD Process Applied in Small Projects T2 - 39th Euromicro Conference on Software Engineering and Advanced Applications PB - IEEE PY - 2009 SP - 255 EP - 258 PG - 4 UR - https://m2.mtmt.hu/api/publication/2829106 ID - 2829106 LA - English DB - MTMT ER - TY - CONF AU - Bérczes, Tamás AU - Guta, Gábor AU - Kusper, Gábor AU - Schreiner, Wolfgang AU - Sztrik, János TI - Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM T2 - Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) PY - 2009 SP - 37 EP - 52 PG - 16 UR - https://m2.mtmt.hu/api/publication/1498511 ID - 1498511 LA - English DB - MTMT ER - TY - GEN AU - Bérczes, Tamás AU - Guta, Gábor AU - Kusper, Gábor AU - Schreiner, Wolfgang AU - Sztrik, János TI - Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM PY - 2008 UR - https://m2.mtmt.hu/api/publication/1863695 ID - 1863695 LA - English DB - MTMT ER - TY - GEN AU - Bérczes, Tamás AU - Guta, Gábor AU - Kusper, Gábor AU - Schreiner, W AU - Sztrik, János TI - Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems PY - 2007 UR - https://m2.mtmt.hu/api/publication/1899047 ID - 1899047 LA - English DB - MTMT ER -