Publikációk
Szűrők: Az Utónév Első Betűje = V [Minden szűrő visszaállítása]
"MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems",
NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018.
Abstract
"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.
"Bounded Saturation Based CTL Model Checking.",
12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"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
"Bounded saturation-based CTL model checking",
Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"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
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments",
Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
Abstract
"UML modellek automatikus transzformációi",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
Abstract
"Automated Program Generation in VIATRA",
Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
"Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans",
GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006.
Abstract
"Visual Automated Model Transformation",
Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.
"Generic and Meta-Transformations for Model Transformation Engineering",
Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004.
Abstract
Acceptance rate: 22%
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
Abstract
"Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007.
Abstract
"Grafikus nyelvek automatikus transzformációjának tervezése",
Végzõs Konferencia '2000, Budapest, Hungary, Budapest University of Technology and Economics, pp. 454–459, April 26, 2000.
"Automated Formal Verification of Visual Modeling Languages by Model Checking",
Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004.
Abstract
"UML Action Semantics for Model Transformation Systems",
Mini–Symposium 2003, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 22–23, February 4–5, 2003.
"Model Transformation by Example",
Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006.
Abstract
Acceptance rate: 29%
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
"Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models",
Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002.
Abstract
Acceptance rate: 30%
Benchmarking for Graph Transformation,
, no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.