Publikációk
Szűrők: Az Utónév Első Betűje = V [Minden szűrő visszaállítása]
"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.
"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.
"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
"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%
"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%
"Incremental Queries and Transformations: From Concepts to Industrial Applications",
SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016.
Abstract
Mathematical Model Transformations for System Verification,
: Budapest University of Technology and Economics, May, 2001.
Benchmarking for Graph Transformation,
, no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
UML Specification of Model Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, October, 2000.
Abstract
"Graph Transformations in Relational Databases",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Abstract
In press
Automatic Transformation of UML Models,
: Budapest University of Technology and Economics, 2000.
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
"Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008.
Abstract
"VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML",
Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
Abstract
"Automating Model Transformation by Example Using Inductive Logic Programming",
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007.
Abstract
Acceptance rate: 32%
"Designing the Automatic Transformation of Visual Languages",
Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002.
Abstract
"UML Based Modeling and Development of J2EE Applications: Course Experiences",
MODELS 2006: Educators Symposium, Genova, Italy, 2006.
Abstract
A Unifying Semantic Framework for Multilevel Metamodelling,
: Budapest University of Technology and Economics, October, 2001.
"Benchmarking for Graph Transformation",
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005.
Abstract
Acceptance rate: 31%