default search action
Tihamer Levendovszky
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
- [j28]Subhav Pradhan, Abhishek Dubey
, Tihamer Levendovszky, Pranav Srinivas Kumar
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122: 344-363 (2016) - 2015
- [j27]David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits:
Validating Transformations for Semantic Anchoring. J. Object Technol. 14(3): 2:1-25 (2015) - [j26]Daniel Balasubramanian, Abhishek Dubey
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106: 3-29 (2015) - [j25]Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Automatically reasoning about metamodeling. Softw. Syst. Model. 14(1): 271-285 (2015) - 2014
- [j24]András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits:
A model-integrated authoring environment for privacy policies. Sci. Comput. Program. 89: 105-125 (2014) - [j23]Tihamer Levendovszky, Abhishek Dubey
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31(2): 62-69 (2014) - [j22]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai
A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. 13(2): 807-823 (2014) - [c50]Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits
Towards a theory for cyber-physical systems modeling. CyPhy 2014: 56-61 - [c49]Sandeep Neema
Formalization of software models for cyber-physical systems. FormaliSE 2014: 45-51 - [c48]Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamer Levendovszky, Ákos Lédeczi:
Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. MPM@MoDELS 2014: 41-60 - [c47]Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS 2014: 67-76 - [i1]Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management. CoRR abs/1409.2361 (2014) - 2013
- [j21]Tamás Vajk, Gergely Mezei, Tihamer Levendovszky:
Incremental semantic analysis for OCL compilers. Innov. Syst. Softw. Eng. 9(3): 147-162 (2013) - [j20]Márk Asztalos, László Lengyel
Formal specification and analysis of functional properties of graph rewriting-based model transformation. Softw. Test. Verification Reliab. 23(5): 405-435 (2013) - [c46]David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits:
Multi-way Semantic Specification of Domain-Specific Modeling Languages. ECBS 2013: 20-29 - [c45]Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS 2013: 30-39 - [c44]Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gábor Pap, Kevin Smyth, Larry Howard:
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. MDHPCL@MoDELS 2013: 25-36 - [c43]Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS 2013: 471-487 - 2012
- [c42]Tamás Mészáros, Tihamer Levendovszky:
Verified Operational Patterns with Graph Transformation. ICST 2012: 954-961 - [c41]Faruk Caglar, Kyoungho An, Aniruddha S. Gokhale
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. MDHPCL@MoDELS 2012: 8 - [c40]Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
Evolution in a context of an model-integrated tool environment. ME@MoDELS 2012: 33-38 - [c39]Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS 2012: 73-78 - 2011
- [j19]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42 (2011) - [j18]Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei:
Active Model Patterns with Interactive Model Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42 (2011) - [j17]Ágnes Bogárdi-Mészöly, Tihamer Levendovszky:
A novel algorithm for performance prediction of web-based software systems. Perform. Evaluation 68(1): 45-57 (2011) - [c38]Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky:
Runtime model validation with parallel object constraint language. MoDeVVa@MoDELS 2011: 7:1-7:8 - [c37]Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667 - 2010
- [j16]Tihamer Levendovszky, Gabor Karsai:
An Active Pattern Infrastructure for Domain-Specific Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010) - [j15]Tamás Vajk, Tamás Mészáros, Tihamer Levendovszky:
Design Pattern Modeling with Constraint Relaxation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010) - [j14]Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky:
Verification of Model Transformations to Refactoring Mobile Social Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j13]Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos:
Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transf. 12(3-4): 231-243 (2010) - [c36]Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60 - [c35]Márk Asztalos, László Lengyel
Towards Automated, Formal Verification of Model Transformations. ICST 2010: 15-24
2000 – 2009
- 2009
- [j12]Márk Asztalos, László Lengyel, Tihamer Levendovszky:
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j11]Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j10]Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei:
Code Generation with the Model Transformation of Visual Behavior Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j9]Juan de Lara
Guest Editorial: Special Issue on Multi-paradigm Modeling. Simul. 85(11-12): 685-687 (2009) - [j8]Tihamer Levendovszky, László Lengyel
Supporting domain-specific model patterns with metamodeling. Softw. Syst. Model. 8(4): 501-520 (2009) - [c34]Tamás Vajk, Gergely Mezei, Tihamer Levendovszky:
Incremental Type Checking in OCL Compilers. ECBS-EERC 2009: 9-18 - [c33]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 - [c32]Tihamer Levendovszky, Tamás Mészáros:
Tooling the Dynamic Behavior Models of Graphical DSLs. HCI (2) 2009: 830-839 - [c31]Márk Asztalos, László Lengyel
A formalism for describing modeling transformations for verification. MoDeVVa@MoDELS 2009: 2:1-2:10 - [c30]Vasco Amaral
Recent Advances in Multi-paradigm Modeling. MoDELS (Workshops) 2009: 220-224 - [c29]Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711 - [c28]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41 - [c27]Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf
A Novel Cost Model of XML Serialization. PASM@MASCOTS 2009: 147-162 - 2008
- [j7]Tamás Vajk, Gergely Mezei, Tihamer Levendovszky:
An Incremental OCL Compiler for Modeling Environments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [j6]László Lengyel
Validated model transformation-driven software development. Int. J. Comput. Appl. Technol. 31(1/2): 106-119 (2008) - [c26]Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky:
A flexible, declarative presentation framework for domain-specific modeling. AVI 2008: 309-312 - 2007
- [c25]Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros:
Introducing the VMTS Mobile Toolkit. AGTIVE 2007: 587-592 - [c24]Tihamer Levendovszky, Bernhard Rumpe
Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems 2007: 241-270 - [c23]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 - [c22]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 - [c21]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
- [j5]László Lengyel, Tihamer Levendovszky, Hassan Charaf:
Constraint Validation Support in Visual Model Transformation Systems. Acta Cybern. 17(2): 339-357 (2006) - [j4]László Lengyel, Tihamer Levendovszky, Tamás Vajk, Hassan Charaf:
Realizing QVT with Graph Rewriting-Based Model Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j3]Gergely Mezei, László Lengyel, Tihamer Levendovszky, Hassan Charaf:
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j2]Gergely Mezei, Tihamer Levendovszky, Hassan Charaf:
Restrictions for OCL Constraint Optimization Algorithms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [j1]László Lengyel, Tihamer Levendovszky, Hassan Charaf:
Constraint Validation in Model Compilers. J. Object Technol. 5(4): 107-127 (2006) - [c20]László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf:
Towards a Model-Based Unification of Mobile Platforms. AICCSA 2006: 867-874 - [c19]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 - [c18]Gergely Mezei, Tihamer Levendovszky, Hassan Charaf:
Visual Presentation Solutions for Domain Specific Languages. IASTED Conf. on Software Engineering 2006: 212-217 - [c17]Á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 - [c16]Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. SET 2006: 61-71 - [c15]László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf:
Model-Based Development with Validated Model Transformation. MDEIS 2006: 39-48 - [c14]Holger Giese, Tihamer Levendovszky, Hans Vangheluwe
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) 2006: 252-262 - [c13]Bertalan Forstner, László Lengyel
Model-Based System Development for Embedded Mobile Platforms. MDB/MOMPES 2006: 43-52 - [c12]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 - [c11]Tihamer Levendovszky, Ulrike Prange
Termination Criteria for DPO Transformations with Injective Matches. GT-VC@CONCUR 2006: 87-100 - 2005
- [c10]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 - [c9]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 - [c8]Á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 - [c7]László Lengyel, Tihamer Levendovszky, Hassan Charaf:
Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. Panhellenic Conference on Informatics 2005: 393-403 - [c6]László Lengyel
Metamodel-Based Model Transformation with Aspect-Oriented Constraints. GRaMoT@GPCE 2005: 111-123 - 2004
- [c5]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 - [c4]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 - [c3]Tihamer Levendovszky, László Lengyel
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. GraBaTs 2004: 65-75 - 2003
- [c2]Jonathan Sprinkle
Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167 - 2002
- [c1]Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf:
Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: