@article{MTMT:33809830,
	title = {Pragmatic verification and validation of industrial executable SysML models},
	url = {https://m2.mtmt.hu/api/publication/33809830},
	author = {Horváth, Benedek and Molnár, Vince and Graics, Bence and Hajdu, Ákos and Ráth, István Zoltán and Horváth, Ákos and Karban, Robert and Trancho, Gelys and Micskei, Zoltán Imre},
	doi = {10.1002/sys.21679},
	journal-iso = {SYSTEMS ENG},
	journal = {SYSTEMS ENGINEERING},
	volume = {26},
	unique-id = {33809830},
	issn = {1098-1241},
	year = {2023},
	eissn = {1520-6858},
	pages = {693-714},
	orcid-numbers = {Horváth, Benedek/0000-0002-9805-1580; Molnár, Vince/0000-0002-8204-7595; Graics, Bence/0000-0001-5546-5970; Hajdu, Ákos/0000-0001-8001-8865; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:31647416,
	title = {Towards the next generation of reactive model transformations on low-code platforms},
	url = {https://m2.mtmt.hu/api/publication/31647416},
	author = {Horváth, Benedek and Horváth, Ákos and Wimmer, Manuel},
	booktitle = {Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
	doi = {10.1145/3417990.3420199},
	unique-id = {31647416},
	year = {2020},
	pages = {1-10}
}

@inproceedings{MTMT:31347211,
	title = {From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain},
	url = {https://m2.mtmt.hu/api/publication/31347211},
	author = {Kulcsar, Geza and Koltai, Kadosa and Tanyi, Szvetlin and Peceli, Balint and Horváth, Ákos and Micskei, Zoltán Imre and Varga, Pál},
	booktitle = {NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence},
	doi = {10.1109/NOMS47738.2020.9110310},
	unique-id = {31347211},
	abstract = {Through the increasing complexity and dynamics of industrial automation scenarios, the notion of Systems of Systems (SoS) has gained importance in this field. Here, interconnected constituent (hardware as well as software) systems collaborate in order to achieve common goals and to increase the efficiency of certain industrial applications.The Arrowhead Tools project aims at proposing a comprehensive, flexible platform for supporting SoS engineering in its every phase, in the form of an engineering toolchain. Thereby, although the SoS operation aspect has been already elaborated on, the design phase and the usage of design artifacts as part of a continous tool interoperability scenario received less attention so far. In this paper, we describe such a toolchain interoperability scenario, paving the way towards an established, integrated solution, by linking systems modeling practices with SoS operational management. In particular, we propose a custom-tailored abstract SysML profile for Arrowhead SoS design, and a prototype implementation for a bidirectional link between SoS models and a tool for managing Arrowhead SoS via a custom-tailored textual format. We illustrate the approach through a realistic industrial application.},
	keywords = {Computer Science, Information Systems; Computer Science, Hardware & Architecture; Computer Science, Theory & Methods},
	year = {2020},
	orcid-numbers = {Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:30603470,
	title = {Adaptive Step Size Control for Hybrid CT Simulation without Rollback},
	url = {https://m2.mtmt.hu/api/publication/30603470},
	author = {Farkas, Rebeka and Bergmann, Gábor and Horváth, Ákos},
	booktitle = {Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019},
	doi = {10.3384/ecp19157503},
	unique-id = {30603470},
	year = {2019},
	pages = {503-512},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@inproceedings{MTMT:30710636,
	title = {Incquery server for teamwork cloud},
	url = {https://m2.mtmt.hu/api/publication/30710636},
	author = {Hegedüs, Ábel and Ráth, István Zoltán and Bergmann, Gábor and Debreceni, Csaba and Horváth, Ákos and Lunk, Péter and Menyhért, Ákos and Papp, István and Varró, Dániel and Vileiniskis, Tomas},
	booktitle = {Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18},
	doi = {10.1145/3270112.3270125},
	unique-id = {30710636},
	year = {2018},
	pages = {27-31},
	orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Bergmann, Gábor/0000-0002-2556-2582; Debreceni, Csaba/0000-0002-6263-7758; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:3349043,
	title = {MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems},
	url = {https://m2.mtmt.hu/api/publication/3349043},
	author = {Vörös, András and Búr, Márton and Ráth, István Zoltán and Horváth, Ákos and Micskei, Zoltán Imre and Balogh, László and Hegyi, Bálint and Horváth, Benedek and Mázló, Zsolt and Varró, Dániel},
	booktitle = {NASA Formal Methods},
	doi = {10.1007/978-3-319-77935-5_31},
	unique-id = {3349043},
	abstract = {We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transportation system-of-systems composed of a model railway and a crane which may automatically load and unload cargo from trains where both subsystems need to fulfill functional and safety requirements. The demonstrator is built by using the model-based software engineering principle, while the system level safety is ensured by the combined use of design-time and runtime verification and validation techniques.},
	year = {2018},
	pages = {460-467},
	orcid-numbers = {Micskei, Zoltán Imre/0000-0003-1846-261X; Varró, Dániel/0000-0002-8790-252X}
}

@inbook{MTMT:3327320,
	title = {Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models},
	url = {https://m2.mtmt.hu/api/publication/3327320},
	author = {Varró, Dániel and Semeráth, Oszkár and Szárnyas, Gábor and Horváth, Ákos},
	booktitle = {Graph Transformation, Specifications, and Nets},
	doi = {10.1007/978-3-319-75396-6_16},
	unique-id = {3327320},
	year = {2018},
	pages = {285-312},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:3018014,
	title = {Formal validation of domain-specific languages with derived features and well-formedness constraints},
	url = {https://m2.mtmt.hu/api/publication/3018014},
	author = {Semeráth, Oszkár and Ágnes, Barta and Horváth, Ákos and Szatmári, Zoltán and Varró, Dániel},
	doi = {10.1007/s10270-015-0485-x},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {16},
	unique-id = {3018014},
	issn = {1619-1366},
	abstract = {Despite the wide range of existing tool support, constructing 
		a design environment for a complex domain-specific language 
		(DSL) is still a tedious task as the large number of derived 
		features and well-formedness constraints complementing the 
		domain metamodel necessitate special handling. Such derived 
		features and constraints are frequently defined by 
		declarative techniques (such graph patterns or OCL 
		invariants). However, for complex domains, derived features 
		and constraints can easily be formalized incorrectly 
		resulting in inconsistent, incomplete or ambiguous DSL 
		specifications. To detect such issues, we propose an 
		automated mapping of EMF metamodels enriched with derived 
		features and well-formedness constraints captured as graph 
		queries in EMF-IncQuery or (a subset of) OCL invariants into 
		an effectively propositional fragment of first-order logic 
		which can be efficiently analyzed by back-end reasoners. On 
		the conceptual level, the main added value of our encoding is 
		(1) to transform graph patterns of the EMF-IncQuery framework 
		into FOL and (2) to introduce approximations for complex 
		language features (e.g., transitive closure or 
		multiplicities) which are not expressible in FOL. On the 
		practical level, we identify and address relevant challenges 
		and scenarios for systematically validating DSL 
		specifications. Our approach is supported by a tool, and it 
		will be illustrated on analyzing a DSL in the avionics 
		domain. We also present initial performance experiments for 
		the validation using Z3 and Alloy as back-end reasoners.},
	year = {2017},
	eissn = {1619-1374},
	pages = {357-392},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:3169820,
	title = {Incremental Backward Change Propagation of View Models by Logic Solvers},
	url = {https://m2.mtmt.hu/api/publication/3169820},
	author = {Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel},
	booktitle = {MODELS '16},
	doi = {10.1145/2976767.2976788},
	unique-id = {3169820},
	abstract = {View models are key concepts of domain-specific modeling
		to provide task-specific focus (e.g., power or communication
		architecture of a system) to the designers by highlighting
		only the relevant aspects of the system. View models
		can be specified by unidirectional forward transformations
		(frequently captured by graph queries), and automatically
		maintained upon changes of the underlying source model using
		incremental transformation techniques. However, tracing
		back complex changes from one or more abstract view
		to the underlying source model is a challenging task, which,
		in general, requires the simultaneous analysis of 
		transformation
		specifications and well-formedness constraints to create
		valid changes in the source model. In this paper we introduce
		a novel delta-based backward transformation technique
		using SAT solvers to synthetize valid and consistent change
		candidates in the source model, where only forward 
		transformation rules are specified for the view models.},
	year = {2016},
	pages = {306-316},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:3092093,
	title = {Change Propagation of View Models by Logic Synthesis using SAT solvers.},
	url = {https://m2.mtmt.hu/api/publication/3092093},
	author = {Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel},
	booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016.},
	unique-id = {3092093},
	year = {2016},
	pages = {40-44},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Varró, Dániel/0000-0002-8790-252X}
}