Staff

Research interests  [ Show full biography ]

The aim of her research is to develop adequate methods and tools for specification, modeling, and formal analysis of services and service compositions in Service-Oriented Systems (SOS). First part of the doctoral studies has been conducted under "Quality Impact Prediction for Evolving Service-Oriented Software" project, with aim at bringing service orientation to critical software systems, such as industrial production control, telecommunication, and critical enterprise applications. As an outcome of this project she has defended her licentiate thesis with title "Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis" in June 2011. She is currently working under "Contract-Based Components for Embedded Software - CONTESSE" project, which aims to advance state of the art in component- and model-based software development for by improving prerequisites for efficient reuse of components via well defined contracts.

Latest publications [ Show all publications ]

Research projects

On-going:

Finished:
• Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software

• Connecting a Design Framework for Service-oriented Systems with UPPAAL Model checker
• A Design Framework for Service-oriented Systems
• Implementing data analysis and visualization into a SOA based architecture for AddTrack Enterprise 4G

Teaching