Runtime verification (RV) facilitates detecting the failures of software during its execution.
Due to the complexity of RV techniques, there is an increasing interest in achieving …

Emergent behavior is generally defined as the appearance of complex behavior out of
multiplicity of relatively simple interactions. Nowadays, there are various kinds of software …

Critical infrastructures are required to be monitored and eventually rescued, for example,
due to natural and/or man-made disasters. These control activities are among the …

Nowadays, detecting emergent behavioral patterns in the environment, representing and
manipulating them become the main focus of many software systems such as traffic …

Abstract (EN) Nowadays, large-scale software systems consist of multiple applications,
which interact with each other to fulfill desired system-level requirements. It is usually …

From the early days of computers, researchers have been trying to invent effective and
efficient means for expressing software systems through the introduction of new …

To effectively extend legacy applications with energy-awareness functionality, dedicated
modularization mechanisms are required. This paper introduces the GreenDev framework …

Emergent behavior is generally defined as the appearance of complex behavior out of
multiplicity of relatively simple interactions. Although significant amount of research has …

This research investigates what impact energy-awareness functionality has on an existing
software design. Energy-awareness has become increasingly important in software …

Nowadays, event processing is becoming the backbone of many applications. Therefore, it
is necessary to provide suitable abstractions to properly modularize the concerns that …