Tihamer Levendovszky Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Mészáros, Tihamer Levendovszky: Verified Operational Patterns with Graph Transformation. ICST 2012: 954-961
2011
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 42 (2011)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei: Active Model Patterns with Interactive Model Transformation. ECEASST 42 (2011)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ágnes Bogárdi-Mészöly, Tihamer Levendovszky: A novel algorithm for performance prediction of web-based software systems. Perform. Eval. 68(1): 45-57 (2011)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667
2010
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Gabor Karsai: An Active Pattern Infrastructure for Domain-Specific Languages. ECEASST 25 (2010)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Vajk, Tamás Mészáros, Tihamer Levendovszky: Design Pattern Modeling with Constraint Relaxation. ECEASST 25 (2010)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky: Verification of Model Transformations to Refactoring Mobile Social Networks. ECEASST 32 (2010)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf: A Novel Cost Model of XML Serialization. Electr. Notes Theor. Comput. Sci. 261: 147-162 (2010)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos: Manual and automated performance optimization of model transformation systems. STTT 12(3-4): 231-243 (2010)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai: A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Márk Asztalos, László Lengyel, Tihamer Levendovszky: Towards Automated, Formal Verification of Model Transformations. ICST 2010: 15-24
2009
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 21 (2009)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle: Preface. ECEASST 21 (2009)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei: Code Generation with the Model Transformation of Visual Behavior Models. ECEASST 21 (2009)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman: Guest Editorial: Special Issue on Multi-paradigm Modeling. Simulation 85(11-12): 685-687 (2009)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, László Lengyel, Tamás Mészáros: Supporting domain-specific model patterns with metamodeling. Software and System Modeling 8(4): 501-520 (2009)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi: Raising the Abstraction of Domain-Specific Model Translator Development. ECBS 2009: 31-37
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Tamás Mészáros: Tooling the Dynamic Behavior Models of Graphical DSLs. HCI (2) 2009: 830-839
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky: Recent Advances in Multi-paradigm Modeling. MoDELS Workshops 2009: 220-224
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai: A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41
2008
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Vajk, Gergely Mezei, Tihamer Levendovszky: An Incremental OCL Compiler for Modeling Environments. ECEASST 15 (2008)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Hassan Charaf: Validated model transformation-driven software development. IJCAT 31(1/2): 106-119 (2008)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky: A flexible, declarative presentation framework for domain-specific modeling. AVI 2008: 309-312
2007
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros: Introducing the VMTS Mobile Toolkit. AGTIVE 2007: 587-592
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Tamás Mészáros, Hassan Charaf: Supporting Design Patterns in Graph Rewriting-based Model Transformation. ENASE 2007: 25-32
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe: Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2007: 237-246
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, Sándor Juhász, Tihamer Levendovszky: A distribution technique for graph rewriting and model transformation systems. Parallel and Distributed Computing and Networks 2007: 63-68
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Hassan Charaf: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybern. 17(2) (2006)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Tamás Vajk, Hassan Charaf: Realizing QVT with Graph Rewriting-Based Model Transformation. ECEASST 4 (2006)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, László Lengyel, Tihamer Levendovszky, Hassan Charaf: A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages. ECEASST 4 (2006)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf: Restrictions for OCL Constraint Optimization Algorithms. ECEASST 5 (2006)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf: Metamodel-Based Model Transformation with Aspect-Oriented Constraints. Electr. Notes Theor. Comput. Sci. 152: 111-123 (2006)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Hassan Charaf: Constraint Validation in Model Compilers. Journal of Object Technology 5(4): 107-127 (2006)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf: Towards a Model-Based Unification of Mobile Platforms. AICCSA 2006: 867-874
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf: A Visual Control Flow Language for Model Transformation Systems. IASTED Conf. on Software Engineering 2006: 194-199
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf: Visual Presentation Solutions for Domain Specific Languages. IASTED Conf. on Software Engineering 2006: 212-217
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ágnes Bogárdi-Mészöly, Tihamer Levendovszky, Hassan Charaf: Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications. IASTED Conf. on Software Engineering 2006: 252-257
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf: An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. SET 2006: 61-71
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf: Model-Based Development with Validated Model Transformation. MDEIS 2006: 39-48
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Tihamer Levendovszky, Hans Vangheluwe: Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2006: 252-262
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 43-52
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gábor Imre, Tihamer Levendovszky, Hassan Charaf: Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications. TEAA 2006: 202-216
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. 127(1): 65-75 (2005)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 48-49
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf: A Flexible Attribute Instantiation Technique for Visual Languages. IASTED Conf. on Software Engineering 2005: 355-359
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ágnes Bogárdi-Mészöly, Zoltán Szitás, Tihamer Levendovszky, Hassan Charaf: Investigating Factors Influencing the Response Time in ASP.NET Web Applications. Panhellenic Conference on Informatics 2005: 223-233
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
László Lengyel, Tihamer Levendovszky, Hassan Charaf: Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. Panhellenic Conference on Informatics 2005: 393-403
2004
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 178-182
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, László Lengyel, Hassan Charaf: Software composition with a multipurpose modeling and model transformation framework. IASTED Conf. on Software Engineering 2004: 590-594
2003
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai: Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178

Coauthor Index

1Aditya Agrawal
[c2]
2Vasco Amaral
[c26]
3Márk Asztalos
[j23] [j18] [j16] [c29] [j15]
4Daniel Balasubramanian
[c31] [c30] [c25] [c24]
5Ágnes Bogárdi-Mészöly
[j21] [c14] [c6]
6Hassan Charaf
[j17] [j9] [c20] [j7] [j6] [j5] [j4] [j3] [j2] [c17] [c16] [c15] [c14] [c13] [c12] [c10] [c9] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c1]
7Hartmut Ehrig
[j8]
8Péter Ekler
[j23] [j18]
9Bertalan Forstner
[j3] [c17] [c10]
10Holger Giese
[c11]
11Ulrike Golas (Ulrike Prange)
[j8]
12Cécile Hardebolle
[j14] [c26]
13Gábor Imre
[j17] [c9]
14Ethan K. Jackson
[c31]
15Sándor Juhász
[c18]
16Gabor Karsai
[j20] [c30] [j14] [c26] [c25] [c24] [c2] [c1]
17M. Kaszó
[j17]
18Imre Kelényi
[c10]
19Róbert Kereskényi
[c28]
20P. Kozma
[c8]
21Juan de Lara (Juan de Lara Jaramillo)
[j12] [c19]
22László Lengyel
[j23] [j18] [c29] [j15] [j14] [j11] [c26] [j9] [c22] [c20] [j7] [j6] [j5] [j3] [j2] [c17] [c16] [c12] [c10] [j1] [c8] [c7] [c5] [c4] [c3]
23Ákos Lédeczi
[c28] [c1]
24Miklós Maróti (Miklos Maroti)
[c1]
25Gergely Mezei
[j23] [j22] [j16] [j13] [j10] [c23] [c22] [c18] [j5] [j4] [j3] [c17] [c16] [c15] [c13] [c12] [c10] [j1] [c7]
26Pieter J. Mosterman
[j12] [c19]
27Tamás Mészáros
[c32] [j23] [j22] [j19] [j16] [j13] [j11] [c27] [c23] [c22] [c20]
28Anantha Narayanan
[c25] [c24]
29Bernhard Rumpe
[c21]
30Bernhard Schätz
[c21]
31Feng Shi
[c30] [c2]
32Kevin Smyth
[c30]
33Jonathan Sprinkle
[c21] [c2]
34Zoltán Szitás
[c6]
35Tamás Vajk
[j19] [c28] [j10] [j6]
36Hans Vangheluwe
[c19] [c11]
Last update Wed May 22 23:53:01 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page