Tihamer Levendovszky

79 papers A 5B 4C 1Journal 29Unranked 40

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
2015	J	`jnl`	Automatically reasoning about metamodeling. Softw. Syst. Model. Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
2015	J	`jnl`	DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015	J	`jnl`	Validating Transformations for Semantic Anchoring. J. Object Technol. David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits
2014	J	`jnl`	A model-integrated authoring environment for privacy policies. Sci. Comput. Program. András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits
2014	J	`jnl`	A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai
2014	J	`jnl`	Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
2014	—	`conf`	Formalization of software models for cyber-physical systems. FormaliSE Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits
2014	J	`jnl`	Model Evolution and Management. CoRR Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
2014	—	`conf`	Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. MPM@MoDELS 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
2014	—	`conf`	Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
2014	—	`conf`	Towards a theory for cyber-physical systems modeling. CyPhy Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits
2013	—	`conf`	A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits
2013	J	`jnl`	Formal specification and analysis of functional properties of graph rewriting-based model transformation. Softw. Test. Verification Reliab. Márk Asztalos, László Lengyel, Tihamer Levendovszky
2013	J	`jnl`	Incremental semantic analysis for OCL compilers. Innov. Syst. Softw. Eng. Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
2013	—	`conf`	Multi-way Semantic Specification of Domain-Specific Modeling Languages. ECBS David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits
2013	A	`conf`	Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
2013	—	`conf`	VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. MDHPCL@MoDELS Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gábor Pap, Kevin Smyth, Larry Howard
2012	—	`conf`	Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai
2012	—	`conf`	Evolution in a context of an model-integrated tool environment. ME@MoDELS Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
2012	—	`conf`	Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. MDHPCL@MoDELS Faruk Caglar, Kyoungho An, Aniruddha S. Gokhale, Tihamer Levendovszky
2012	A	`conf`	Verified Operational Patterns with Graph Transformation. ICST Tamás Mészáros, Tihamer Levendovszky
2011	J	`jnl`	A novel algorithm for performance prediction of web-based software systems. Perform. Evaluation Ágnes Bogárdi-Mészöly, Tihamer Levendovszky
2011	J	`jnl`	Active Model Patterns with Interactive Model Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei
2011	J	`jnl`	Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros
2011	A	`conf`	Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
2011	—	`conf`	Runtime model validation with parallel object constraint language. MoDeVVa@MoDELS Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky
2010	—	`conf`	A transformation instance-based approach to traceability. ECMFA-TW Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
2010	J	`jnl`	An Active Pattern Infrastructure for Domain-Specific Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tihamer Levendovszky, Gabor Karsai
2010	J	`jnl`	Design Pattern Modeling with Constraint Relaxation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tamás Vajk, Tamás Mészáros, Tihamer Levendovszky
2010	J	`jnl`	Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transf. Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos
2010	A	`conf`	Towards Automated, Formal Verification of Model Transformations. ICST Márk Asztalos, László Lengyel, Tihamer Levendovszky
2010	J	`jnl`	Verification of Model Transformations to Refactoring Mobile Social Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky
2009	B	`conf`	A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
2009	—	`conf`	A Novel Cost Model of XML Serialization. PASM@MASCOTS Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf
2009	—	`conf`	A formalism for describing modeling transformations for verification. MoDeVVa@MoDELS Márk Asztalos, László Lengyel, Tihamer Levendovszky
2009	A	`conf`	Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
2009	J	`jnl`	Code Generation with the Model Transformation of Visual Behavior Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei
2009	J	`jnl`	Guest Editorial: Special Issue on Multi-paradigm Modeling. Simul. Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman
2009	—	`conf`	Incremental Type Checking in OCL Compilers. ECBS-EERC Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
2009	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle
2009	—	`conf`	Raising the Abstraction of Domain-Specific Model Translator Development. ECBS Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi
2009	—	`conf`	Recent Advances in Multi-paradigm Modeling. MoDELS (Workshops) Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky
2009	J	`jnl`	Supporting domain-specific model patterns with metamodeling. Softw. Syst. Model. Tihamer Levendovszky, László Lengyel, Tamás Mészáros
2009	—	`conf`	Tooling the Dynamic Behavior Models of Graphical DSLs. HCI (2) Tihamer Levendovszky, Tamás Mészáros
2009	J	`jnl`	Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Márk Asztalos, László Lengyel, Tihamer Levendovszky
2008	B	`conf`	A flexible, declarative presentation framework for domain-specific modeling. AVI Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky
2008	J	`jnl`	An Incremental OCL Compiler for Modeling Environments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tamás Vajk, Gergely Mezei, Tihamer Levendovszky
2008	J	`jnl`	Validated model transformation-driven software development. Int. J. Comput. Appl. Technol. László Lengyel, Tihamer Levendovszky, Hassan Charaf
2007	—	`conf`	A distribution technique for graph rewriting and model transformation systems. Parallel and Distributed Computing and Networks Gergely Mezei, Sándor Juhász, Tihamer Levendovszky
2007	—	`conf`	Introducing the VMTS Mobile Toolkit. AGTIVE Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros
2007	—	`conf`	Model Evolution and Management. Model-Based Engineering of Embedded Real-Time Systems Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle
2007	—	`conf`	Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe
2007	B	`conf`	Supporting Design Patterns in Graph Rewriting-based Model Transformation. ENASE László Lengyel, Tihamer Levendovszky, Tamás Mészáros, Hassan Charaf
2006	J	`jnl`	A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gergely Mezei, László Lengyel, Tihamer Levendovszky, Hassan Charaf
2006	—	`conf`	A Visual Control Flow Language for Model Transformation Systems. IASTED Conf. on Software Engineering László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf
2006	—	`conf`	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. SET Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
2006	J	`jnl`	Constraint Validation Support in Visual Model Transformation Systems. Acta Cybern. László Lengyel, Tihamer Levendovszky, Hassan Charaf
2006	J	`jnl`	Constraint Validation in Model Compilers. J. Object Technol. László Lengyel, Tihamer Levendovszky, Hassan Charaf
2006	—	`conf`	Model-Based Development with Validated Model Transformation. MDEIS László Lengyel, Tihamer Levendovszky, Gergely Mezei, Hassan Charaf
2006	—	`conf`	Model-Based System Development for Embedded Mobile Platforms. MDB/MOMPES Bertalan Forstner, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Imre Kelényi, Hassan Charaf
2006	—	`conf`	Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications. TEAA Gábor Imre, Tihamer Levendovszky, Hassan Charaf
2006	J	`jnl`	Realizing QVT with Graph Rewriting-Based Model Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. László Lengyel, Tihamer Levendovszky, Tamás Vajk, Hassan Charaf
2006	J	`jnl`	Restrictions for OCL Constraint Optimization Algorithms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
2006	—	`conf`	Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS (Workshops) Holger Giese, Tihamer Levendovszky, Hans Vangheluwe
2006	—	`conf`	Termination Criteria for DPO Transformations with Injective Matches. GT-VC@CONCUR Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
2006	C	`conf`	Towards a Model-Based Unification of Mobile Platforms. AICCSA László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf
2006	—	`conf`	Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications. IASTED Conf. on Software Engineering Ágnes Bogárdi-Mészöly, Tihamer Levendovszky, Hassan Charaf
2006	—	`conf`	Visual Presentation Solutions for Domain Specific Languages. IASTED Conf. on Software Engineering Gergely Mezei, Tihamer Levendovszky, Hassan Charaf
2005	—	`conf`	A Flexible Attribute Instantiation Technique for Visual Languages. IASTED Conf. on Software Engineering Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf
2005	—	`conf`	Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. IASTED Conf. on Software Engineering László Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf
2005	—	`conf`	Investigating Factors Influencing the Response Time in ASP.NET Web Applications. Panhellenic Conference on Informatics Ágnes Bogárdi-Mészöly, Zoltán Szitás, Tihamer Levendovszky, Hassan Charaf
2005	—	`conf`	Metamodel-Based Model Transformation with Aspect-Oriented Constraints. GRaMoT@GPCE László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf
2005	—	`conf`	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. Panhellenic Conference on Informatics László Lengyel, Tihamer Levendovszky, Hassan Charaf
2004	—	`conf`	A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. GraBaTs Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf
2004	—	`conf`	Software composition with a multipurpose modeling and model transformation framework. IASTED Conf. on Software Engineering Tihamer Levendovszky, László Lengyel, Hassan Charaf
2004	—	`conf`	Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques. IASTED Conf. on Software Engineering László Lengyel, Tihamer Levendovszky, Hassan Charaf
2003	—	`conf`	Domain Model Translation Using Graph Transformations. ECBS Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai
2002	B	`conf`	Model Reuse with Metamodel-Based Transformations. ICSR Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf