Publikációk
"PLC Program Translation for Verification Purposes",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017.
Abstract
"PLC Code Generation Based on a Formal Specification Language",
14th IEEE International Conference on Industrial Informatics (INDIN), Poitiers, France, IEEE, pp. 389-396, 07/2016.
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract
"A Pattern-Based Constraint Language for Metamodels",
Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.
"Pattern Composition in Graph Transformation Rules",
European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006.
Abstract
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
"Parallelization of Graph Transformation Based on Incremental Pattern Matching",
Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009.
Abstract
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"Parallel GraphBLAS with OpenMP",
SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
"OWLAP—Using OLAP approach in anomaly detection: Award: Good support for the data preparation, analysis, and presentation process",
2012 IEEE Conference on Visual Analytics Science and Technology (VAST), Seattle, IEEE, 10/2012.
"Optimization of Incremental Queries in the Cloud",
CloudMDE, 2015.
"Optimization in Graph Transformation Systems Using Petri Net Based Techniques",
Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006.
Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm",
International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
"An Open Visualization Framework for Metamodel-Based Modeling Languages",
Proc. GraBaTs 2002, International Workshop on Graph-Based Tools, vol. 72 (2), no. 2, Barcelona, Spain, Elsevier, pp. 78–87, October 7–8, 2002.
Abstract
"Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study",
Advances and Applications in Model-Driven Engineering: IGI Global, 2013.
Abstract
"Ontology-based assessment of software models and development processes for safety-critical systems",
Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"Ontology driven design of EMF metamodels and well-formedness constraints",
Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
"Online Infrastructure Dependency Detection and Tracking",
Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.
"On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development",
European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
"On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems",
SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf",
1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
"Object Oriented Notation for Modelling Quantitative Aspects",
Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
"Ny\'ılt SVG alapú keretrendszer",
FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 47–50, March 21-22, 2003.
In Hungarian