Publications
] Filters: First Letter Of Last Name is B [Clear All Filters]
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets,
, vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Automated Generation of Formal Models from ST Control Programs for Verification Purposes,
, no. CERN-ACC-NOTE-2014-0037: CERN, 2014.
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
Event-based model transformations with incremental pattern matching,
, October, 2007.
