SAT-Based Formula Simplification

SAT-Based Horn Least Upper Bounds

Scalable Correlation-aware Virtual Machine Consolidation Using Two-phase Clustering

Real-Time Reflexion Modelling in architecture reconciliation: A multi case study

Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems

A Recommender System Architecture for Predictive Telecom Network Management

Reducing Emergency Services Response Time in Smart Cities: An Advanced Adaptive and Fuzzy Approach

Reflections on {textquoteleft}reflection’

Requirement-Centric Reactive Testing for Safety-Related Automotive Software

Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang