Tihamer Levendovszky
According to our database1,
Tihamer Levendovszky
authored at least 78 papers
between 2002 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
J. Syst. Softw., 2016
2015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program., 2015
2014
Softw. Syst. Model., 2014
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw., 2014
Sci. Comput. Program., 2014
Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014
2013
Formal specification and analysis of functional properties of graph rewriting-based model transformation.
Softw. Test. Verification Reliab., 2013
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
2012
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Perform. Evaluation, 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the 6th ECMFA Traceability Workshop, 2010
2009
Softw. Syst. Model., 2009
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009
Proceedings of the Models in Software Engineering, 2009
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009
Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
2008
Int. J. Comput. Appl. Technol., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the working conference on Advanced Visual Interfaces, 2008
2007
A distribution technique for graph rewriting and model transformation systems.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Supporting Design Patterns in Graph Rewriting-based Model Transformation.
Proceedings of the ENASE 2007, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Acta Cybern., 2006
Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications.
Proceedings of the Trends in Enterprise Application Architecture, 2006
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006
Proceedings of the Models in Software Engineering, 2006
Model-Based Development with Validated Model Transformation.
Proceedings of the Model-Driven Enterprise Information Systems, 2006
Proceedings of the Software Engineering Techniques: Design for Quality, 2006
Visual Presentation Solutions for Domain Specific Languages.
Proceedings of the IASTED International Conference on Software Engineering, 2006
A Visual Control Flow Language for Model Transformation Systems.
Proceedings of the IASTED International Conference on Software Engineering, 2006
Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications.
Proceedings of the IASTED International Conference on Software Engineering, 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
Proceedings of the Advances in Informatics, 2005
Proceedings of the Advances in Informatics, 2005
A Flexible Attribute Instantiation Technique for Visual Languages.
Proceedings of the IASTED International Conference on Software Engineering, 2005
Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers.
Proceedings of the IASTED International Conference on Software Engineering, 2005
2004
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004
Software composition with a multipurpose modeling and model transformation framework.
Proceedings of the IASTED International Conference on Software Engineering, 2004
Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques.
Proceedings of the IASTED International Conference on Software Engineering, 2004
2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
2002
Proceedings of the Software Reuse: Methods, 2002