10 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 2 cited
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…
cs.SE2017★ 10 cited
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…