| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dmitriy Dunaev, László Lengyel |
Complexity of a Special Deobfuscation Problem.  |
ECBS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros |
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vasco Amaral, Cécile Hardebolle, Hans Vangheluwe, László Lengyel, Peter Bunus |
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools. |
MoDELS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky |
Verification of Model Transformations to Refactoring Mobile Social Networks. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Márk Asztalos, István Madari, László Lengyel |
Towards Formal Analysis of Multi-paradigm Model Transformations. |
Simulation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márk Asztalos, László Lengyel, Tihamer Levendovszky |
Towards Automated, Formal Verification of Model Transformations. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
verification, model transformation, automation |
| 1 | István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf |
Implementing QVT in a Domain-specific Modeling Framework. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | László Angyal, László Lengyel, Tamás Mészáros, Hassan Charaf |
Textual Syntax Mapping can Enable Syntactic Merging. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hans Vangheluwe, Vasco Amaral, Cécile Hardebolle, László Lengyel |
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márk Asztalos, László Lengyel, Tihamer Levendovszky |
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle |
Preface. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tihamer Levendovszky, László Lengyel, Tamás Mészáros |
Supporting domain-specific model patterns with metamodeling. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky |
Recent Advances in Multi-paradigm Modeling. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Validated model transformation-driven software development. |
IJCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | László Angyal, László Lengyel, Hassan Charaf |
A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Three-way AST Differencing, AST Merging, Model-Code Synchronization, Model-Driven Development, Domain-Specific Models |
| 1 | László Angyal, László Lengyel, Hassan Charaf |
Novel Techniques For Model-Code Synchronization. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Tamás Mészáros, Hassan Charaf |
Supporting Design Patterns in Graph Rewriting-based Model Transformation. |
ENASE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros |
Introducing the VMTS Mobile Toolkit. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
development for mobile platforms, model-driven development, Metamodeling, domain-specific modeling |
| 1 | László Lengyel, Tihamer Levendovszky, Tamás Vajk, Hassan Charaf |
Realizing QVT with Graph Rewriting-Based Model Transformation. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gergely Mezei, László Lengyel, Tihamer Levendovszky, Hassan Charaf |
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Constraint Validation Support in Visual Model Transformation Systems. |
Acta Cybern. |
2006 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Constraint Validation in Model Compilers. |
Journal of Object Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf |
Metamodel-Based Model Transformation with Aspect-Oriented Constraints. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf |
A Visual Control Flow Language for Model Transformation Systems. |
IASTED Conf. on Software Engineering |
2006 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf |
Model-Based Development with Validated Model Transformation. |
MDEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf |
Towards a Model-Based Unification of Mobile Platforms. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertalan Forstner, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Imre Kelényi, Hassan Charaf |
Model-Based System Development for Embedded Mobile Platforms. |
MDB/MOMPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf |
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf |
A Flexible Attribute Instantiation Technique for Visual Languages. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf |
Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. |
Panhellenic Conference on Informatics |
2005 |
DBLP DOI BibTeX RDF |
Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL |
| 1 | Tihamer Levendovszky, László Lengyel, Hassan Charaf |
Software composition with a multipurpose modeling and model transformation framework. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
| 1 | László Lengyel, Tihamer Levendovszky, Hassan Charaf |
Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")