@inproceedings{MTMT:30358187,
	title = {Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach},
	url = {https://m2.mtmt.hu/api/publication/30358187},
	author = {Isstaif, Al Amjad Tawfiq and Alhafez, Nizar},
	booktitle = {Computer Performance Engineering},
	doi = {10.1007/978-3-030-02227-3_7},
	unique-id = {30358187},
	year = {2018},
	pages = {94-109}
}

@article{MTMT:27163875,
	title = {Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks},
	url = {https://m2.mtmt.hu/api/publication/27163875},
	author = {TatjanaKapus},
	doi = {10.1016/j.simpat.2017.08.002},
	journal-iso = {SIMUL MODEL PRACT TH},
	journal = {SIMULATION MODELLING PRACTICE AND THEORY},
	volume = {77},
	unique-id = {27163875},
	issn = {1569-190X},
	year = {2017},
	eissn = {1878-1462},
	pages = {367-378}
}

@techreport{MTMT:27163873,
	title = {Experiments with Measuring Time in PRISM 4.0},
	url = {https://m2.mtmt.hu/api/publication/27163873},
	author = {Wolfgang, Schreiner},
	unique-id = {27163873},
	year = {2013}
}

@article{MTMT:27163872,
	title = {Modelling and Performance Evaluation of Router Transparent Web cache Mode},
	url = {https://m2.mtmt.hu/api/publication/27163872},
	author = {EH, Al-Hemiary},
	journal-iso = {IJCSET},
	journal = {INTERNATIONAL JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLOGY},
	volume = {2},
	unique-id = {27163872},
	issn = {2229-3345},
	year = {2012},
	pages = {1316-1320}
}

@article{MTMT:21989858,
	title = {Performance Certification of Software Components},
	url = {https://m2.mtmt.hu/api/publication/21989858},
	author = {Erik, Burger and Ralf, Reussner},
	doi = {10.1016/j.entcs.2011.11.010},
	journal-iso = {ELECTR NOTES COMPUT SCI},
	journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
	volume = {279},
	unique-id = {21989858},
	issn = {1571-0661},
	year = {2011},
	pages = {33-41}
}

@techreport{MTMT:27163874,
	title = {Model-checking du délai dans les éléments réseaux},
	url = {https://m2.mtmt.hu/api/publication/27163874},
	author = {SAMI, BEN NASR},
	unique-id = {27163874},
	year = {2011}
}

@CONFERENCE{MTMT:21989878,
	title = {CAT: A Last Mile Protocol for Content-Centric Networks},
	url = {https://m2.mtmt.hu/api/publication/21989878},
	author = {Sasu, Tarkoma and Dmitriy, Kuptsov and Petri, Savolainen and Pasi, Sarolahti},
	booktitle = {ICC'11 Workshop T2 FutureNet IV},
	unique-id = {21989878},
	year = {2011}
}