@inproceedings{MTMT:2630599,
	title = {An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications},
	url = {https://m2.mtmt.hu/api/publication/2630599},
	author = {Kovács, Máté Amadé and P, Lollini and Majzik, István and A, Bondavalli},
	booktitle = {Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems},
	doi = {10.1145/1479772.1479778},
	unique-id = {2630599},
	year = {2008},
	pages = {29-38}
}

@inproceedings{MTMT:2612537,
	title = {Advanced model transformation language constructs in the VIATRA2 framework},
	url = {https://m2.mtmt.hu/api/publication/2612537},
	author = {Balogh, András and Varró, Dániel},
	booktitle = {Applied computing 2006},
	doi = {10.1145/1141277.1141575},
	unique-id = {2612537},
	abstract = {We present the model transformation language of the VIATRA2 framework, which provides a rule and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation. Copyright 2006 ACM.},
	year = {2006},
	pages = {1280-1287},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:2605195,
	title = {Stochastic Dependability Analysis of System Architecture Based on Uml Models},
	url = {https://m2.mtmt.hu/api/publication/2605195},
	author = {Majzik, István and Pataricza, András and Bondavalli, A},
	doi = {10.1007/3-540-45177-3_10},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {2677},
	unique-id = {2605195},
	issn = {0302-9743},
	abstract = {The work in this paper(1) is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed. Due to the modular construction, this model can be refined later as more detailed information becomes available. We discuss the model refinement based on the General Resource Model, an extension of UML. We show that the dependability model can be constructed automatically by using graph transformation techniques.},
	year = {2003},
	eissn = {1611-3349},
	pages = {219-244},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}