20 citations · 53 across the 10 of their papers we have counts for
3 papers · 1 filter
Simulator Semantics for System Level Formal Verification
Toni Mancini, Federico Mari, Annalisa Massini +2
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators…
On Model Based Synthesis of Embedded Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…
Model Based Synthesis of Control Software from System Level Formal Specifications
Federico Mari, Igor Melatti, Ivano Salvo +1
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…