Assessing architectural drift in commercial software development: a case study

An ASSL Approach to Handling Uncertainty in Self-adaptive Systems

The ASSL Approach to Specifying Self-Managing Embedded Systems

Automated Refactoring for Testability

Bayesian kernel projections for classification of high dimensional data

Beyond Similarity-Based recommenders: Preference relaxation and product awareness E-Commerce and web technologies

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker

AdaptStream: Towards Achieving Fluidity in Adaptive Stream-Based Systems

Adopting Open Source Software: A Practical Guideline

The Agile Office: Experience Report from Cisco’s Unified Communications Business Unit