While the increasing average age of population is posing new challenges to societies and
healthcare systems, the emergence of the Internet of Things research area is generating the …

Introduction There are (at least) three reasons to model and simulate a social system. First,
to understand and explain how the social system works, for example, to investigate the effect …

The paradigm of self-organisation is fundamental to theories of collective action in economic
science and democratic governance in political science. Self-organisation in these social …

Blockchain technology provides a platform for the decentralized execution of smart
contracts. A smart contract is an agreement that is automatically executed when certain …

Action languages have emerged as an important field of knowledge representation for
reasoning about change and causality in dynamic domains. This paper presents Cerbere, a …

In many countries of the world, the life expectancy increases but the population ages so
rapidly that it is expected that soon it will be difficult to ensure a good life quality to the elder …

It is now more than ten years since the EU FET project ALFEBIITE finished, during which its
researchers made original and distinctive contributions to (inter alia) formal models of trust …

This paper presents The Event Model (TEM) as a means to design, develop, implement, and
maintain event-driven applications. The friendly, yet rigorous, representation of the event …

We illustrate our approach to develop and verify distributed, adaptive software systems. The
cornerstone of our framework is the use of choreography languages, which allow us to …

Abstract The Event Model (TEM) is a novel computation-independent model targeted at
helping non-programmers to define and manage the logic of event-driven applications. The …