( en | de | ru )

 

Disambiguation of "Germiniani, Samuele"

Author of the publication

copydeleteadd this publication to your clipboard
Assertion-aware approximate computing design exploration on behavioral models.

, , , , , and . LATS, page 1-6. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuele Bovo

Samuele Carpineti

Samuele Pasini

Samuele Salti

Samuele Scarpelli

 

Other publications of authors with the same name

System-level bug explanation through program slicing and instruction clusterization., , , and . VLSI-SoC, page 1-6. IEEE, (2021)Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level., , and . VLSI-SoC (Selected Papers), volume 661 of IFIP Advances in Information and Communication Technology, page 71-92. Springer, (2021)Exploiting assertions mining and fault analysis to guide RTL-level approximation., , , and . DATE, page 1-2. IEEE, (2023)MIST: monitor generation from informal specifications for firmware verification., , and . VLSI-SOC, page 111-116. IEEE, (2020)Invited Talk: Pros and Cons of Assertion Mining., , and . LATS, page 1-2. IEEE, (2024)A containerized ROS-compliant verification environment for robotic systems., , , , and . DATE, page 222-225. IEEE, (2021)Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation., , , , , and . LATS, page 1-5. IEEE, (2022)Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions., and . VLSI-SoC, page 1-6. IEEE, (2022)From Informal Specifications to an ABV Framework for Industrial Firmware Verification., , and . VLSI-SoC (Selected Papers), volume 621 of IFIP Advances in Information and Communication Technology, page 179-204. Springer, (2020)Assertion-aware approximate computing design exploration on behavioral models., , , , , and . LATS, page 1-6. IEEE, (2022)