Tihamer Levendovszky

tihamer's picture

Position at ISIS

Academic rank
Research Assistant Professor


Research interests

Visual Languages: Modeling and Transformation

  • Domain-Specific Modeling Languages
  • Validated Model Transformations
  • Model-Based Simulation
  • Model-Integrated Computing
  • Model-Based Validation of Cyber-Physical Systems

  • Integrating CPS verification methods
  • Assurance/Safety Cases for CPS
  • Formal Semantics of CPS Models
  • Performance Analysis of Distributed Software Systems

  • Performance Models
  • Load-Dependent Prediction
  • Measurement Techniques
  • Software Engineering Methods

  • Methodologies
  • Agile and Traditional Development Processes

  • My publications list is maintained here.