Among others, I am interested in automatically refining of highly abstract models with low level implementation details and this way improving the prediction models for component-based software architectures. This includes aspects of the following topics:

• Identification and formalisation of non-functional configurable properties of black-box model constructs (called completions)
• Building library of completions for design patterns (with focus on concurrency)
• Support for variability of completion configuration and their automatical integration in the prediction model
• Higher-Order Transformations for refinement transformation generation
• Conflict Resolution in a completion chain

See the wiki page on my approach Chilies for details.

Publications are listed on a separate page.

Currently supervised diploma thesis: Pavol Kovac (Charles University in Prague) - Evaluation of methods for conceptual design and implementation of service-oriented aplications based on enterprise integration systems