@{MTMT:2663518,
	title = {Workflow-Driven Tool Integration Using Model Transformations},
	url = {https://m2.mtmt.hu/api/publication/2663518},
	author = {Balogh, András and Bergmann, Gábor and Csertán, György and Gönczy, László and Horváth, Ákos and Majzik, István and Pataricza, András and Polgár, Balázs and Ráth, István Zoltán and Varró, Dániel and Varró, Gergely György},
	booktitle = {Graph Transformations and Model-Driven Engineering},
	doi = {10.1007/978-3-642-17322-6_11},
	unique-id = {2663518},
	abstract = {The design of safety-critical systems and business-critical services necessitates to coordinate between a large variety of tools used in different phases of the development process. As certification frequently prescribes to achieve justified compliance with regulations of authorities, integrated tool chain should strictly adhere to the development process itself. In order to manage complexity, we follow a model-driven approach where the development process is captured using a precise domain-specific modeling language. Each individual step within this process is represented transparently as a service. Moreover, to carry out individual tasks, systems engineers are guided by semi-automated transformation steps and well-formedness constraint checking. Both of them are formalized by graph patterns and graph transformation rules as provided by the Viatra2 framework. In our prototype implementation, we use the popular JBPM workflow engine as orchestration means between different design and verification tools. We also give some insights how this tool integration approach was applied in recent projects.},
	year = {2010},
	pages = {224-248},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Pataricza, András/0000-0002-6516-129X; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:2660520,
	title = {Incremental Evaluation of Model Queries over EMF Models},
	url = {https://m2.mtmt.hu/api/publication/2660520},
	author = {Bergmann, Gábor and Horváth, Ákos and Ráth, István Zoltán and Varró, Dániel and Balogh, András and Z, Balogh and A, Ökrös},
	doi = {10.1007/978-3-642-16145-2_6},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {6394},
	unique-id = {2660520},
	issn = {0302-9743},
	year = {2010},
	eissn = {1611-3349},
	pages = {76-90},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:2651136,
	title = {An optimization based design for integrated dependable real-timeembedded systems},
	url = {https://m2.mtmt.hu/api/publication/2651136},
	author = {Islam, S and Suri, N and Balogh, András and Csertán, György and Pataricza, András},
	doi = {10.1007/s10617-009-9041-7},
	journal-iso = {DES AUTOM EMBED SYST},
	journal = {DESIGN AUTOMATION FOR EMBEDDED SYSTEMS},
	volume = {13},
	unique-id = {2651136},
	issn = {0929-5585},
	abstract = {Moving from the traditional federated design paradigm, integration of mixed-criticality software components onto common computing platforms is increasingly being adopted by automotive, avionics and the control industry. This method faces new challenges such as the integration of varied functionalities (dependability, responsiveness, power consumption, etc.) under platform resource constraints and the prevention of error propagation. Based on model driven architecture and platform based design's principles, we present a systematic mapping process for such integration adhering a transformation based design methodology. Our aim is to convert/transform initial platform independent application specifications into post integration platform specific models. In this paper, a heuristic based resource allocation approach is depicted for the consolidated mapping of safety critical and non-safety critical applications onto a common computing platform meeting particularly dependability/fault-tolerance and real-time requirements. We develop a supporting tool suite for the proposed framework, where VIATRA (VIsual Automated model TRAnsformations) is used as a transformation tool at different design steps. We validate the process and provide experimental results to show the effectiveness, performance and robustness of the approach.},
	keywords = {Software; ALLOCATION},
	year = {2009},
	eissn = {1572-8080},
	pages = {245-285},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@techreport{MTMT:2644741,
	title = {Model and Quality Driven Embedded Systems Engineering},
	url = {https://m2.mtmt.hu/api/publication/2644741},
	author = {Eila, Ovaska and Balogh, András and Sergio, Campos and Adrian, Noguero and Pataricza, András and Kari, Tiensyrja and Josetxo, Vicedo},
	editor = {Eila, Ovaska},
	unique-id = {2644741},
	year = {2009},
	pages = {1-211},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@CONFERENCE{MTMT:2647581,
	title = {Automated verification and validation of domain specific languages and their applications},
	url = {https://m2.mtmt.hu/api/publication/2647581},
	author = {Pataricza, András and Balogh, András and Ráth, István Zoltán},
	booktitle = {Proceedings of the 4th World Congress for Software Quality},
	unique-id = {2647581},
	year = {2008},
	pages = {1-6},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@inproceedings{MTMT:2615233,
	title = {Model-driven Specification, Analysis, and Realization of Assisted Living Systems},
	url = {https://m2.mtmt.hu/api/publication/2615233},
	author = {Balogh, András and Pataricza, András and Pintér, Gergely and Sisak, Áron and Michalis, Anastasopoulos and Jaejoon, Lee},
	booktitle = {Proceedings of Regional Conference on Embedded and Ambient Systems : RCEAS 2007 : selected papers},
	unique-id = {2615233},
	year = {2008},
	pages = {115-122},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@inproceedings{MTMT:2615232,
	title = {Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems},
	url = {https://m2.mtmt.hu/api/publication/2615232},
	author = {Balogh, András and Pataricza, András and Csertán, György and Polgár, Balázs},
	booktitle = {Proceedings of Regional Conference on Embedded and Ambient Systems : RCEAS 2007 : selected papers},
	unique-id = {2615232},
	year = {2008},
	pages = {123-130},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@inproceedings{MTMT:2615231,
	title = {Verification of Hardware-Software Integration Processes},
	url = {https://m2.mtmt.hu/api/publication/2615231},
	author = {Balogh, András},
	booktitle = {Proceedings of the 14th PhD mini-symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	unique-id = {2615231},
	year = {2007},
	pages = {58-61}
}

@CONFERENCE{MTMT:2615226,
	title = {Scheduling of embedded time-triggered systems},
	url = {https://m2.mtmt.hu/api/publication/2615226},
	author = {Balogh, András and Pataricza, András and Judit, Rácz},
	booktitle = {Proceedings of 2nd Workshop on Engineering Fault-Tolerant Systems},
	doi = {10.1145/1316550.1316558},
	unique-id = {2615226},
	year = {2007},
	pages = {44-49},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@CONFERENCE{MTMT:2615220,
	title = {Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain},
	url = {https://m2.mtmt.hu/api/publication/2615220},
	author = {Wolfgang, Herzner and Rupert, Schlick and Martin, Schlager and Bernard, Leiner and Balogh, András and Csertán, György and Alain, LeGuennec and Thierry, LeSergent and Neeraj, Suri and Md, Shariful Islam and Bernard, Huber},
	booktitle = {Proc. of SAE Aerotech Congress & Exchibition 2007},
	unique-id = {2615220},
	year = {2007},
	pages = {1-11}
}