Software systems evolve by adding new features, fixing bugs or refactoring existing source code. During this process, some problems may occur (e.g., backward-incompatibility, missing or unclear method deprecation) causing evolving systems and their clients to be inconsistent or to fail, decreasing code quality. As nowadays software systems are frequently part of bigger ecosystems, such problems are even harder to handle because the impact may be large and unknown.One solution to deal with such maintainability problems is the usage of rules to ensure consistency. These rules may be created by experts or extracted from source code repositories, which are commonly evaluated in small-scale case studies. We argue that existing approaches lack of...
The most powerful artificial intelligence systems are now based on learned statisticalmodels. In ord...
State-of-the-art System-on-Chip (SoC) architectures integrate many different components, such as pro...
Internet of Things (IoT) paradigm envisages expanding the current Internet with a huge number of the...
Distributed message passing applications are in the mainstream of information technology since they ...
The humanity has long been passionate about creating intellectual machines that can freely communica...
Motivated by applications ranging from XML processing to runtime verificationof programs, many logic...
Understanding the behavior of the retino-thalamo-cortico-collicular (i.e. early) visual system in a ...
In many court cases related to software, judges, before any thorough examination of the facts, perfo...
With the never ending evolution of communication technologies and of multimedia, the race to integra...
Background: Open source software (OSS) and software ecosystems (SECOs) are two consolidated research...
The network ecosystem has tremendously changed in the past years and is becoming more complex as dev...
Computational reproducibility is an unavoidable concept in the 21st century. Computer hardware evolu...
Inverse problems related to physical processes are of great importance in practically every field re...
This dissertation is concerned with the question of formally verifying that the implementation of an...
A critical software is a software whose malfunction may result in death or serious injury to people,...
The most powerful artificial intelligence systems are now based on learned statisticalmodels. In ord...
State-of-the-art System-on-Chip (SoC) architectures integrate many different components, such as pro...
Internet of Things (IoT) paradigm envisages expanding the current Internet with a huge number of the...
Distributed message passing applications are in the mainstream of information technology since they ...
The humanity has long been passionate about creating intellectual machines that can freely communica...
Motivated by applications ranging from XML processing to runtime verificationof programs, many logic...
Understanding the behavior of the retino-thalamo-cortico-collicular (i.e. early) visual system in a ...
In many court cases related to software, judges, before any thorough examination of the facts, perfo...
With the never ending evolution of communication technologies and of multimedia, the race to integra...
Background: Open source software (OSS) and software ecosystems (SECOs) are two consolidated research...
The network ecosystem has tremendously changed in the past years and is becoming more complex as dev...
Computational reproducibility is an unavoidable concept in the 21st century. Computer hardware evolu...
Inverse problems related to physical processes are of great importance in practically every field re...
This dissertation is concerned with the question of formally verifying that the implementation of an...
A critical software is a software whose malfunction may result in death or serious injury to people,...
The most powerful artificial intelligence systems are now based on learned statisticalmodels. In ord...
State-of-the-art System-on-Chip (SoC) architectures integrate many different components, such as pro...
Internet of Things (IoT) paradigm envisages expanding the current Internet with a huge number of the...