Model-Driven Automation for Simulation-Based Functional Verification

Model-driven support for product line evolution on feature level

Modeling Rationale over Time to support Product Line Evolution Planning

Modelling Support for Mobile Ambients in Service Oriented Architecture

On monitoring overhead impact in wireless mesh networks

Multi-Agent Systems {textendash} Theory, Approaches and NASA Applications

MUSer2: An Efficient MUS Extractor, System Description

Method of improving system performance and survivability through changing function

Mobi-Test: A Cross-Platform Tool for Testing Mobile Applications

Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System