With modern requirements, there is an increasing tendency of considering multiple
objectives/criteria simultaneously in many Software Engineering (SE) scenarios. Such a …

Despite considerable research efforts on handling uncertainty in self-adaptive systems, a
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …

Configurable software systems can be tuned for better performance. Leveraging on some
Pareto optimizers, recent work has shifted from tuning for a single, time-related performance …

An increasingly used method for the engineering of software systems with strict quality-of-
service (QoS) requirements involves the synthesis and verification of probabilistic models for …

We describe a tool-supported method for the efficient synthesis of parametric continuous-
time Markov chains (pCTMC) that correspond to robust designs of a system under …

Almost without exception, cyber-physical systems operate alongside, for the benefit of, and
supported by humans. Unsurprisingly, disregarding their social aspects during development …

Self-adaptive systems increasingly need to reason about and adapt both structural and
behavioral system aspects, such as in mobile service robots, which must reason about …

In software design, guaranteeing the correctness of run-time system behavior while
achieving an acceptable balance among multiple quality attributes remains a challenging …

Probabilistic programs are key to deal with uncertainty in, eg, controller synthesis. They are
typically small but intricate. Their development is complex and error prone requiring …

In Search-Based Software Engineering, more than 100 works have involved the human in
the search process to obtain better results. However, the case where the human completely …