Publikációk
Szűrők: Az Utónév Első Betűje = B [Minden szűrő visszaállítása]
"A VIATRA modelltranszformációs rendszer",
FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 51–54, March 21-22, 2003.
In Hungarian
"Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.
"Applying Model Checking to Industrial-Sized PLC Programs",
IEEE Transactions on Industrial Informatics, vol. 11, issue 6: IEEE, pp. 1400-1410, 12/2015.
"Bounded saturation-based CTL model checking",
Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"Change-driven model transformations. Change (in) the rule to rule the change.",
Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
"Component-wise Incremental LTL Model Checking",
Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
"Controllable and decomposable multidirectional synchronizations",
Software and Systems Modeling, 04/2021.
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Development of safety software for the Paks Nuclear Power Plant",
ERCIM News, issue 75, pp. 53 - 54, 2008.
"Diagnostics of coordinate components of purposeful arm movements of a human.",
Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.
Ukraine
"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
"Diversity of Graph Models and Graph Generators in Mutation Testing",
International Journal on Software Tools for Technology Transfer, 2019.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2",
International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010.
Abstract
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints",
International Journal on Software and Systems Modeling, 07/2015.
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"Implementation of a testing and diagnostic concept for an NPP reactor protection system",
Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
"Improving Saturation-based Bounded Model Checking",
Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"Integrált irányítási alkalmazások járműrendszerekben.",
Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.
"Model Transformation by Example Using Inductive Logic Programming",
Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
"The Model Transformation Language of the VIATRA2 Framework",
Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007.
Abstract