In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
The demand for high quality microdata for analytical purposes has grown rapidly among researchers and the public over the last few years. In order to respect existing laws on data ...
Scientific problem solving often involves concordance (or discordance) analysis among the result sets from different approaches. For example, different scientific analysis met...
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
Antonia Bertolino, Guglielmo De Angelis, Antonino ...