Weakening the Dolev-Yao model through probability

A Web-based System for Managing Software Architectural Knowledge

Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL

Towards Reuse of Business Processes Patterns to Design Services

Understanding Agility In Software Development Through A Complex Adaptive Systems Perspective

The Use of Empirical Methods in Open Source Software Research: Facts, Trends and Future Directions

Using context and behavioral patterns for intelligent traffic management

Using Dempster-Shafer Theory of Evidence for Situation Inference

Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems

Using Reinforcement Learning for Multi-Policy Optimization in Decentralized Autonomic Systems – An Experimental Evaluation