Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level

von Bragaglio, Moreno
Veröffentlicht in IFIP/IEEE International Conference on Very Large Scale Integration (29. : 2021 : Online) VLSI-SoC: Technology advancement on SoC design (2022)

From Informal Specifications to an ABV Framework for Industrial Firmware Verification

von Germiniani, Samuele
Veröffentlicht in IFIP/IEEE International Conference on Very Large Scale Integration (28. : 2020 : Online) VLSI-SoC: design trends (2021)

Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era

von Boldo, Michele
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

VLSI-SoC : design and engineering of electronics systems based on new computing paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-...

Veröffentlicht 2019