Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Pattern matching
Efficient Model Transformations by Combining Pattern Matching Strategies
Pattern matching
Viatra
Bergmann, G.
,
Horváth, Á.
,
Ráth, I.
, and
Varró, D.
,
"
Efficient Model Transformations by Combining Pattern Matching Strategies
",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
, vol. 5563: Springer, pp. 20-34, 2009.
PDF:
Full text
BibTex
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans
Pattern matching
recursive pattern matching
Viatra
Varró, G.
,
Horváth, Á.
, and
Varró, D.
,
"
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.
PDF:
Full text
BibTex
Towards Testing the Implementation of Graph Transformations
graph transformation
Pattern matching
test generation
testing
Darabos, A.
,
Pataricza, A.
, and
Varró, D.
,
"
Towards Testing the Implementation of Graph Transformations
",
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques
: Elsevier, 2006.
BibTex
Graph Transformations in Relational Databases
graph transformation
Pattern matching
relational databases
Tool support
Varró, G.
,
Friedl, K.
, and
Varró, D.
,
"
Graph Transformations in Relational Databases
",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools
, Rome, Italy, Elsevier, October, 2004.
BibTex
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials