@article{MTMT:30917749,
	title = {Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems},
	url = {https://m2.mtmt.hu/api/publication/30917749},
	author = {Búr, Márton and Szilágyi, Gábor and Vörös, András and Varró, Dániel},
	doi = {10.1007/s10009-019-00531-5},
	journal-iso = {INT J SOFTW TOOLS TECHN TRANSFER},
	journal = {INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
	volume = {22},
	unique-id = {30917749},
	issn = {1433-2779},
	year = {2019},
	eissn = {1433-2787},
	pages = {1-24},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:3397893,
	title = {Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems},
	url = {https://m2.mtmt.hu/api/publication/3397893},
	author = {Búr, Márton and Gábor, Szilágyi and Vörös, András and Varró, Dániel},
	booktitle = {Fundamental Approaches to Software Engineering},
	doi = {10.1007/978-3-319-89363-1_7},
	unique-id = {3397893},
	abstract = {In safety-critical cyber-physical systems (CPS), a service failure may result in severe financial loss or damage in human life. Smart CPSs have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous computation platform and provide autonomous behavior. This complexity makes design time verification infeasible in practice, and many CPSs need advanced runtime monitoring techniques to ensure safe operation. While graph queries are a powerful technique used in many industrial design tools of CPSs, in this paper, we propose to use them to specify safety properties for runtime monitors on a high-level of abstraction. Distributed runtime monitoring is carried out by evaluating graph queries over a distributed runtime model of the system which incorporates domain concepts and platform information. We
		provide a semantic treatment of distributed graph queries using 3-valued logic. Our approach is illustrated and an initial evaluation is carried out using an educational demonstrator of CPSs.},
	year = {2018},
	pages = {111-128},
	orcid-numbers = {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}
}

@inproceedings{MTMT:3350095,
	title = {The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems},
	url = {https://m2.mtmt.hu/api/publication/3350095},
	author = {Debreceni, Csaba and Bergmann, Gábor and Búr, Márton and Ráth, István Zoltán and Varró, Dániel},
	booktitle = {ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING},
	doi = {10.1145/3106237.3122829},
	unique-id = {3350095},
	year = {2017},
	pages = {984-988},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:3251678,
	title = {Model-driven engineering of an openCypher engine: using graph queries to compile graph queries},
	url = {https://m2.mtmt.hu/api/publication/3251678},
	author = {Marton, József and Szárnyas, Gábor and Búr, Márton},
	booktitle = {SDL 2017: Model-Driven Engineering for Future Internet},
	doi = {10.1007/978-3-319-68015-6_6},
	unique-id = {3251678},
	abstract = {Graph database systems are increasingly adapted for storing and processing heterogeneous network-like datasets. Many challenging applications with near real-time requirements - such as financial fraud detection, on-the-fly model validation and root cause analysis - can be formalised as graph problems and tackled with graph databases efficiently. However, as no standard graph query language has yet emerged, users are subjected to the possibility of vendor lock-in.
		
		The openCypher group aims to define an open specification for a declarative graph query language. However, creating an openCypher-compatible query engine requires significant research and engineering efforts. Meanwhile, model-driven language workbenches support the creation of domain-specific languages by providing high-level tools to create parsers, editors and compilers. In this paper, we present an approach to build a compiler and optimizer for openCypher using model-driven technologies, which allows developers to define declarative optimization rules.},
	year = {2017},
	pages = {80-98},
	orcid-numbers = {Marton, József/0000-0003-4752-4234}
}

@inproceedings{MTMT:3204827,
	title = {Towards Modeling Cyber-Physical Systems From Multiple Approaches},
	url = {https://m2.mtmt.hu/api/publication/3204827},
	author = {Búr, Márton and Vörös, András and Bergmann, Gábor and Varró, Dániel},
	booktitle = {Proceedings of the 24th PhD Mini-Symposium},
	doi = {10.5281/zenodo.291888},
	unique-id = {3204827},
	year = {2017},
	pages = {6-9},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@CONFERENCE{MTMT:3180987,
	title = {Towards hierarchical and distributed run-time monitors from high-level query languages},
	url = {https://m2.mtmt.hu/api/publication/3180987},
	author = {Búr, Márton and Dániel, Varró},
	booktitle = {The 10th Jubilee Conference of PhD Students in Computer Science (CS2)},
	unique-id = {3180987},
	year = {2016},
	pages = {16-16}
}

@CONFERENCE{MTMT:3023258,
	title = {Train Benchmark Case: an EMF-INCQUERY Solution},
	url = {https://m2.mtmt.hu/api/publication/3023258},
	author = {Szárnyas, Gábor and Búr, Márton and Ráth, István Zoltán},
	booktitle = {8th Transformation Tool Contest 2015},
	unique-id = {3023258},
	year = {2015},
	pages = {157-166}
}

@inproceedings{MTMT:2924871,
	title = {Local Search-Based Pattern Matching Features in EMF-IncQuery},
	url = {https://m2.mtmt.hu/api/publication/2924871},
	author = {Búr, Márton and Ujhelyi, Zoltán and Horváth, Ákos and Varró, Dániel},
	booktitle = {Graph Transformation},
	doi = {10.1007/978-3-319-21145-9_18},
	unique-id = {2924871},
	abstract = {Graph patterns provide a declarative formalism to describe model queries used for several important engineering tasks, such as well-formedness constraint validation or model transformations. As different pattern matching approaches, such as local search or incremental evaluation, have different performance characteristics (smaller memory footprint vs. smaller runtime), a wider range of practical problems can be addressed. The current paper reports on a novel feature of the EMF-IncQuery framework supporting local search-based pattern matching strategy to complement the existing incremental pattern matching capabilities. The reuse of the existing pattern language and query development environment of EMF-IncQuery enables to select the most appropriate strategy separately for each pattern without any modifications to the definitions of existing patterns. Furthermore, a graphical debugger component is introduced that visualizes the execution of the search process, helping to understand how complex patterns behave. This tool paper presents the new pattern matching feature from an end users viewpoint while the scientific details of the pattern matching strategy itself are omitted. The approach is illustrated on a case study of automated identification of anti-patterns over program models created from Java source code.},
	keywords = {EMF-IncQuery; Integrated development environment; Local search-based pattern matching},
	year = {2015},
	pages = {275-282},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:2801126,
	title = {Hardware-software allocation specification of IMA systems for early simulation},
	url = {https://m2.mtmt.hu/api/publication/2801126},
	author = {Horváth, Ákos and Hegedüs, Ábel and Búr, Márton and Varró, Dániel and Starr, Rodrigo R and Mirachi, Samoel},
	booktitle = {33rd Digital Avionics Systems Conference, DASC 2014},
	doi = {10.1109/DASC.2014.6979474},
	unique-id = {2801126},
	year = {2014},
	pages = {4D3-1-4D3-15},
	orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X}
}