Tihamer Levendovszky

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Topics

Graph Transformation

Dynamic Systems

Modeling Language

Top Venues

Sci. Comput. Program.

Publications

Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122 (2016)
David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits
Validating Transformations for Semantic Anchoring. J. Object Technol. 14 (3) (2015)
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106 (2015)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Automatically reasoning about metamodeling. Softw. Syst. Model. 14 (1) (2015)
Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits
Formalization of software models for cyber-physical systems. FormaliSE (2014)
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 (2014)
Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits
Towards a theory for cyber-physical systems modeling. CyPhy (2014)
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)
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31 (2) (2014)
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS (2014)
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
Model Evolution and Management. CoRR (2014)
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) (2014)
Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS (2013)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
Formal specification and analysis of functional properties of graph rewriting-based model transformation. Softw. Test. Verification Reliab. 23 (5) (2013)
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS (2013)
Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
Incremental semantic analysis for OCL compilers. Innov. Syst. Softw. Eng. 9 (3) (2013)
David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits
Multi-way Semantic Specification of Domain-Specific Modeling Languages. ECBS (2013)
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)
Faruk Caglar, Kyoungho An, Aniruddha S. Gokhale, Tihamer Levendovszky
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. MDHPCL@MoDELS (2012)
Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
Evolution in a context of an model-integrated tool environment. ME@MoDELS (2012)
Tamás Mészáros, Tihamer Levendovszky
Verified Operational Patterns with Graph Transformation. ICST (2012)
Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS (2012)
Ágnes Bogárdi-Mészöly, Tihamer Levendovszky
A novel algorithm for performance prediction of web-based software systems. Perform. Evaluation 68 (1) (2011)
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)
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)
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)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS (2011)
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)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
Towards Automated, Formal Verification of Model Transformations. ICST (2010)
Tihamer Levendovszky, Gabor Karsai
An Active Pattern Infrastructure for Domain-Specific Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010)
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)
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
A transformation instance-based approach to traceability. ECMFA-TW (2010)
Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf
A Novel Cost Model of XML Serialization. Electron. Notes Theor. Comput. Sci. 261 (2010)
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) (2010)
Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
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)
Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky
Recent Advances in Multi-paradigm Modeling. MoDELS (Workshops) (2009)
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)
Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi
Raising the Abstraction of Domain-Specific Model Translator Development. ECBS (2009)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
A formalism for describing modeling transformations for verification. MoDeVVa@MoDELS (2009)
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman
Guest Editorial: Special Issue on Multi-paradigm Modeling. Simul. 85 (11-12) (2009)
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS (2009)
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE (2009)
Tihamer Levendovszky, Tamás Mészáros
Tooling the Dynamic Behavior Models of Graphical DSLs. HCI (2) (2009)
Tihamer Levendovszky, László Lengyel, Tamás Mészáros
Supporting domain-specific model patterns with metamodeling. Softw. Syst. Model. 8 (4) (2009)
Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
Incremental Type Checking in OCL Compilers. ECBS-EERC (2009)
Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky
A flexible, declarative presentation framework for domain-specific modeling. AVI (2008)
László Lengyel, Tihamer Levendovszky, Hassan Charaf
Validated model transformation-driven software development. Int. J. Comput. Appl. Technol. 31 (1/2) (2008)
Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
An Incremental OCL Compiler for Modeling Environments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
László Lengyel, Tihamer Levendovszky, Tamás Mészáros, Hassan Charaf
Supporting Design Patterns in Graph Rewriting-based Model Transformation. ENASE (2007)
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) (2007)
Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros
Introducing the VMTS Mobile Toolkit. AGTIVE (2007)
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems (2007)
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)
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
Termination Criteria for DPO Transformations with Injective Matches. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
László Lengyel, Tihamer Levendovszky, Hassan Charaf
Constraint Validation in Model Compilers. J. Object Technol. 5 (4) (2006)
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf
Towards a Model-Based Unification of Mobile Platforms. AICCSA (2006)
Holger Giese, Tihamer Levendovszky, Hans Vangheluwe
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) (2006)
Á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)
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)
Gábor Imre, Tihamer Levendovszky, Hassan Charaf
Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications. TEAA (2006)
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf
Metamodel-Based Model Transformation with Aspect-Oriented Constraints. Electron. Notes Theor. Comput. Sci. 152 (2006)
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)
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf
Model-Based Development with Validated Model Transformation. MDEIS (2006)
László Lengyel, Tihamer Levendovszky, Hassan Charaf
Constraint Validation Support in Visual Model Transformation Systems. Acta Cybern. 17 (2) (2006)
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)
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. SET (2006)
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
Restrictions for OCL Constraint Optimization Algorithms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
Visual Presentation Solutions for Domain Specific Languages. IASTED Conf. on Software Engineering (2006)
László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf
A Visual Control Flow Language for Model Transformation Systems. IASTED Conf. on Software Engineering (2006)
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)
Á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)
Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
László Lengyel, Tihamer Levendovszky, Hassan Charaf
Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. Panhellenic Conference on Informatics (2005)
Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf
A Flexible Attribute Instantiation Technique for Visual Languages. IASTED Conf. on Software Engineering (2005)
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)
Tihamer Levendovszky, László Lengyel, Hassan Charaf
Software composition with a multipurpose modeling and model transformation framework. IASTED Conf. on Software Engineering (2004)
Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai
Domain Model Translation Using Graph Transformations. ECBS (2003)
Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf
Model Reuse with Metamodel-Based Transformations. ICSR (2002)