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:
Viatra
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Viatra
Varró, D.
,
Asztalos, M.
,
Bisztray, D.
,
Boronat, A.
,
Dang, D-H.
,
Geiss, R.
,
Greenyer, J.
,
Gorp, P V.
,
Kniemeyer, O.
,
Narayanan, A.
, et al.,
"
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.
BibTex
Incremental pattern matching in the VIATRA model transformation system
domain-specific languages
incremental graph pattern matching
incremental model transformation
Viatra
Bergmann, G.
,
Ökrös, A.
,
Ráth, I.
,
Varró, D.
, and
Varró, G.
,
"
Incremental pattern matching in the VIATRA model transformation system
",
Proc. Graph and Model Transformations (GRAMOT 2008)
: ACM, 2008.
BibTex
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
incremental graph pattern matching - RETE - benchmarking
Viatra
Bergmann, G.
,
Horváth, Á.
,
Ráth, I.
, and
Varró, D.
,
"
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
",
Proc. 4th International Conference on Graph Transformations, ICGT 2008
, vol. 5214: Springer, pp. 396-410, 2008.
PDF:
Full text
BibTex
Model Transformation by Example Using Inductive Logic Programming
Viatra
Balogh, Z.
, and
Varró, D.
,
"
Model Transformation by Example Using Inductive Logic Programming
",
Software and Systems Modeling
, vol. 8, no. 3, pp. 347-364, 2009.
BibTex
The Model Transformation Language of the {VIATRA2} Framework
abstract state machines
graph transformation
model transformation
Viatra
Varró, D.
, and
Balogh, A.
,
"
The Model Transformation Language of the {VIATRA2} Framework
",
Science of Computer Programming
, vol. 68, no. 3, pp. 214–234, October, 2007.
BibTex
Generic Search Plans for Matching Advanced Graph Patterns
Viatra
Horváth, Á.
,
Varró, D.
, and
Varró, G.
,
"
Generic Search Plans for Matching Advanced Graph Patterns
",
Electronic Communications of the EASST
, vol. 6, 2007.
PDF:
Full text
BibTex
Automating Model Transformation by Example Using Inductive Logic Programming
by-example synthesis
inductive logic programming
model transformation
Viatra
Varró, D.
, and
Balogh, Z.
,
"
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.
BibTex
Pattern Composition in Graph Transformation Rules
Viatra
Balogh, A.
, and
Varró, D.
,
"
Pattern Composition in Graph Transformation Rules
",
European Workshop on Composition of Model Transformations
, Bilbao, Spain, July, 2006.
BibTex
Benchmarking for Graph Transformation
Viatra
Varró, G.
,
Schürr, A.
, and
Varró, D.
,
"
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.
BibTex
Advanced Model Transformation Language Constructs in the {VIATRA2} Framework
Viatra
Balogh, A.
, and
Varró, D.
,
"
Advanced Model Transformation Language Constructs in the {VIATRA2} Framework
",
ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006)
, Dijon, France, ACM Press, pp. 1280–1287, April, 2006.
BibTex
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
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