Position at ISIS

Title

Alumni

Academic rank

Research Assistant Professor

Miscellaneous

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.