10 citations · 12 across the 2 of their papers we have counts for
3 papers
A Logic Theory Pattern for Linearized Control Systems
Andrea Domenici, Cinzia Bernardeschi
This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theori…
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation
Gioacchino Mauro, Harold Thimbleby, Andrea Domenici +1
We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore…
High availability using virtualization - 3RC
Federico Calzolari, Silvia Arezzini, Alberto Ciampa +3
High availability has always been one of the main problems for a data center. Till now high availability was achieved by host per host redundancy, a highly expensive method in term…