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:
IncQuery
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
IncQuery
Viatra
Varró, D.
,
Bergmann, G.
,
Hegedüs, Á.
,
Horváth, Á.
,
Ráth, I.
, and
Ujhelyi, Z.
,
"
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.
BibTex
Local search-based pattern matching features in EMF-IncQuery
IncQuery
Búr, M.
,
Ujhelyi, Z.
,
Horváth, Á.
, and
Varró, D.
,
"
Local search-based pattern matching features in EMF-IncQuery
",
8th International Conference on Graph Transformation
, L'Aquila, Italy, Springer, 07/2015.
PDF:
Full text
BibTex
Performance Comparison of Query-based Techniques for Anti-Pattern Detection
IncQuery
Ujhelyi, Z.
,
Szőke, G.
,
Horváth, Á.
,
Csiszár, N I.
,
Vidács, L.
,
Varró, D.
, and
Ferenc, R.
,
"
Performance Comparison of Query-based Techniques for Anti-Pattern Detection
",
Information and Software Technology
, vol. 65, pp. 147-165, 09/2015.
PDF:
Full text
BibTex
Query-driven soft traceability links for models
derived features
IncQuery
soft links
traceability
Hegedüs, Á.
,
Horváth, Á.
,
Ráth, I.
,
Starr, R R.
, and
Varró, D.
,
"
Query-driven soft traceability links for models
",
Software & Systems Modeling
, vol. 15, issue 3, pp. 733-756, 2014.
PDF:
Full text
BibTex
Multi-Objective Optimization in Rule-Based Design Space Exploration
IncQuery
model-driven engineering
multi-objective optimization
rule-based design space exploration
Abdeen, H.
,
Varró, D.
,
Sahraoui, H.
,
Nagy, A S.
,
Hegedüs, Á.
,
Horváth, Á.
, and
Debreceni, C.
,
"
Multi-Objective Optimization in Rule-Based Design Space Exploration
",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
, Vasteras, Sweden, IEEE, 9/2014.
PDF:
Full text
BibTex
Query-driven incremental synchronization of view models
IncQuery
query-driven synchronization
view models
Debreceni, C.
,
Horváth, Á.
,
Hegedüs, Á.
,
Ujhelyi, Z.
,
Ráth, I.
, and
Varró, D.
,
"
Query-driven incremental synchronization of view models
",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
, York, United Kingdom, ACM, pp. 31, 07/2014.
PDF:
Full text
BibTex
Streaming Model Transformations By Complex Event Processing
CEP
IncQuery
model transformations
streaming transformations
Viatra
Viatra-CEP
Dávid, I.
,
Ráth, I.
, and
Varró, D.
,
"
Streaming Model Transformations By Complex Event Processing
",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014
, Valencia, Spain, Springer, 2014.
BibTex
Translating OCL to Graph Patterns
graph pattern matching
IncQuery
model query
OCL
Bergmann, G.
,
"
Translating OCL to Graph Patterns
",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014
, Valencia, Spain, Springer, 2014.
PDF:
Full text
BibTex
EMF-IncQuery: An Integrated Development Environment for Live Model Queries
IncQuery
Ujhelyi, Z.
,
Bergmann, G.
,
Hegedüs, Á.
,
Horváth, Á.
,
Izsó, B.
,
Ráth, I.
,
Szatmári, Z.
, and
Varró, D.
,
"
EMF-IncQuery: An Integrated Development Environment for Live Model Queries
",
Science of Computer Programming
, vol. 98, issue 1, 02/2015.
PDF:
Full text
BibTex
Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver
IncQuery
Viatra
Semeráth, O.
,
Horváth, Á.
, and
Varró, D.
,
"
Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver
",
ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems
, Miami, US, Springer LNCS 8107, 09/2013.
PDF:
Full text
BibTex
1
2
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