@inproceedings{MTMT:3366399,
	title = {Constructing a quantitative fusion layer over the semantic level for scalable inference},
	url = {https://m2.mtmt.hu/api/publication/3366399},
	author = {Gézsi, András and Bruncsics, Bence and Guta, Gábor and Antal, Péter},
	booktitle = {Bioinformatics and Biomedical Engineering},
	doi = {10.1007/978-3-319-78723-7_4},
	unique-id = {3366399},
	year = {2018},
	pages = {41-53},
	orcid-numbers = {Gézsi, András/0000-0003-1022-6356}
}

@article{MTMT:2832868,
	title = {Towards Cyber-Physical System Technologies over Apache VCL},
	url = {https://m2.mtmt.hu/api/publication/2832868},
	author = {Kocsis, Imre and Áron, Tóth and Szatmári, Zoltán and Dabóczi, Tamás and Pataricza, András and Guta, Gábor},
	doi = {10.1504/IJCC.2016.075101},
	journal-iso = {INT J CLOUD COMP},
	journal = {INTERNATIONAL JOURNAL OF CLOUD COMPUTING},
	volume = {5},
	unique-id = {2832868},
	issn = {2043-9989},
	abstract = {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.},
	year = {2016},
	eissn = {2043-9997},
	pages = {91-111},
	orcid-numbers = {Dabóczi, Tamás/0000-0002-7371-2186; Pataricza, András/0000-0002-6516-129X}
}

@CONFERENCE{MTMT:2862741,
	title = {Towards Cyber-Physical System Technologies over Apache VCL},
	url = {https://m2.mtmt.hu/api/publication/2862741},
	author = {Kocsis, Imre and Áron, Tóth and Szatmári, Zoltán and Dabóczi, Tamás and Pataricza, András and Guta, Gábor},
	booktitle = {2nd International IBM Cloud Academy Conference},
	unique-id = {2862741},
	abstract = {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.},
	year = {2014},
	pages = {1-10},
	orcid-numbers = {Dabóczi, Tamás/0000-0002-7371-2186; Pataricza, András/0000-0002-6516-129X}
}

@inproceedings{MTMT:1863675,
	title = {A Small Survey on Java Specification Languages},
	url = {https://m2.mtmt.hu/api/publication/1863675},
	author = {Kusper, Gábor and Kovásznai, Gergely and Schreiner, Wolfgang and Guta, Gábor and Sztrik, János},
	booktitle = {Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010},
	unique-id = {1863675},
	year = {2010},
	pages = {409-416}
}

@article{MTMT:1498227,
	title = {Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems},
	url = {https://m2.mtmt.hu/api/publication/1498227},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {37},
	unique-id = {1498227},
	issn = {1787-5021},
	abstract = {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.},
	year = {2010},
	eissn = {1787-6117},
	pages = {51-75}
}

@CONFERENCE{MTMT:2829123,
	title = {Observable Runtime Behavior for Defects Indicated by Automated Static Analysis},
	url = {https://m2.mtmt.hu/api/publication/2829123},
	author = {K, Wolfmaier and R, Ramler and Guta, Gábor and H, Dobler},
	booktitle = {Computer Aided Systems Theory - EUROCAST 2009},
	unique-id = {2829123},
	year = {2009},
	pages = {312-319}
}

@CONFERENCE{MTMT:2829106,
	title = {A Lightweight MDSD Process Applied in Small Projects},
	url = {https://m2.mtmt.hu/api/publication/2829106},
	author = {Guta, Gábor and Schreiner, Wolfgang and Dirk, Draheim},
	booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications},
	unique-id = {2829106},
	year = {2009},
	pages = {255-258}
}

@CONFERENCE{MTMT:1498511,
	title = {Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM},
	url = {https://m2.mtmt.hu/api/publication/1498511},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	booktitle = {Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09)},
	unique-id = {1498511},
	year = {2009},
	pages = {37-52}
}

@techreport{MTMT:1863695,
	title = {Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM},
	url = {https://m2.mtmt.hu/api/publication/1863695},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	unique-id = {1863695},
	year = {2008}
}

@techreport{MTMT:1899047,
	title = {Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems},
	url = {https://m2.mtmt.hu/api/publication/1899047},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, W and Sztrik, János},
	unique-id = {1899047},
	year = {2007}
}