@article{MTMT:2605193,
	title = {Designing The Automatic Transformation of Visual Languages},
	url = {https://m2.mtmt.hu/api/publication/2605193},
	author = {Varró, Dániel and Varró, Gergely György and Pataricza, András},
	doi = {10.1016/S0167-6423(02)00039-4},
	journal-iso = {SCI COMPUT PROGRAM},
	journal = {SCIENCE OF COMPUTER PROGRAMMING},
	volume = {44},
	unique-id = {2605193},
	issn = {0167-6423},
	abstract = {The design process of complex systems requires a precise checking of the functional and dependability attributes of the target design. The growing complexity of systems necessitates the use of formal methods, as the exhaustiveness of checks performed by the traditional simulation and testing is insufficient. For this reason, the mathematical models of various formal verification tools are automatically derived from UML-diagrams of the model by mathematical transformations guaranteeing a complete consistency between the target design and the models of verification and validation tools. In the current paper, a general framework for an automated model transformation system is presented. The method starts from a uniform visual description and a formal proof concept of the particular transformations by integrating the powerful computational paradigm of graph transformation, planner algorithms of artificial intelligence, and various concepts of computer engineering. (C) 2002 Elsevier Science B.V. All rights reserved.},
	year = {2002},
	eissn = {1872-7964},
	pages = {205-227},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Pataricza, András/0000-0002-6516-129X}
}

@CONFERENCE{MTMT:2614852,
	title = {Automatic Program Generation for and by Model Transformation Systems},
	url = {https://m2.mtmt.hu/api/publication/2614852},
	author = {Varró, Dániel},
	booktitle = {Proc. AGT 2002: Workshop on Applied Graph Transformation},
	unique-id = {2614852},
	abstract = {Model transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high--level specification consisting of a set of graph transformation rules and a control flow graph. The program generator takes a UML profile tailored to model transformation systems as the input, and produces the output Prolog program by successive model transformation steps. In this respect,
		only the core of the program generator is implemented by hand, and afterwards, this core provides automation for additional features of the VIATRA model transformation system.},
	year = {2002},
	pages = {161-173},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:2605191,
	title = {Dependability Analysis in The Early Phases of Uml-based System Design},
	url = {https://m2.mtmt.hu/api/publication/2605191},
	author = {Bondavalli, A and Dal, Cin M and Latella, D and Majzik, István and Pataricza, András and Savoia, G},
	journal-iso = {COMPUT SYST SCI ENG},
	journal = {COMPUTER SYSTEMS SCIENCE AND ENGINEERING},
	volume = {16},
	unique-id = {2605191},
	issn = {0267-6192},
	abstract = {A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire fife cycle. The early evaluation of system characteristics like dependability, correctness and performance is necessary to assess the conformance of the system under development to its targets. This paper presents the results achieved so far to develop an integrated environment, where design tools based on the UML (Unified Modeling Language) are augmented with validation and analysis techniques that provide useful information in the early phases of system design. Automatic transformations are defined for the generation of models to capture system behavioral properties, dependability and performance.},
	year = {2001},
	pages = {265-275},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@inproceedings{MTMT:2614712,
	title = {Checking General Safety Criteria on UML Statecharts},
	url = {https://m2.mtmt.hu/api/publication/2614712},
	author = {Pap, Zs and Majzik, István and Pataricza, András},
	booktitle = {Computer Safety, Reliability and Security},
	doi = {10.1007/3-540-45416-0_5},
	unique-id = {2614712},
	year = {2001},
	pages = {46-55},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@article{MTMT:2614702,
	title = {Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker},
	url = {https://m2.mtmt.hu/api/publication/2614702},
	author = {Latella, D and Majzik, István and Massink, M},
	doi = {10.1007/s001659970003},
	journal-iso = {FORM ASP COMPUT},
	journal = {FORMAL ASPECTS OF COMPUTING},
	volume = {11},
	unique-id = {2614702},
	issn = {0934-5043},
	year = {1999},
	eissn = {1433-299X},
	pages = {637-664}
}