Research Interests

• Model driven development
• Model transformation, UML, process algebra
• Specification, verification and validation of systems
• Business processes modeling
• Service oriented architecture

    Links to some of my publications

• DBLP
• Google Scholar
• Springer
• Elsevier

 

 

 

• Home
• Teaching
• Research
• Links