Author of the publication

An error simulation based approach to measure error coverage of formal properties.

, , , , , and . ACM Great Lakes Symposium on VLSI, page 53-58. ACM, (2002)

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.

 

Other publications of authors with the same name

An IoT Toolchain Architecture for Planning, Running and Managing a Complete Condition Monitoring Scenario., , , , , , , , , and 10 other author(s). IEEE Access, (2023)Tag Overflow Buffering: An Energy-Efficient Cache Architecture., , and . DATE, page 520-525. IEEE Computer Society, (2005)Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?, , , , , , and . IM, page 896-901. IEEE, (2021)An Engineering Process model for managing a digitalised life-cycle of products in the Industry 4.0., , , , and . NOMS, page 1-6. IEEE, (2020)An error simulation based approach to measure error coverage of formal properties., , , , , and . ACM Great Lakes Symposium on VLSI, page 53-58. ACM, (2002)Yield-aware placement optimization., , , , , and . DATE, page 1232-1237. EDA Consortium, San Jose, CA, USA, (2007)Recommendation Technologies for IoT Edge Devices., , , , , , and . FNC/MobiSPC, volume 110 of Procedia Computer Science, page 504-509. Elsevier, (2017)From Heterogeneous Sensor Networks to Integrated Software Services: Design and Implementation of a Semantic Architecture for the Internet of Things at ARCES@UNIBO., , , , , , , , , and 6 other author(s). FRUCT, page 10-18. IEEE, (2018)An Edge Computing-Oriented WoT Architecture for Air Quality Monitoring in Mobile Vehicular Scenarios., , , , and . CCNC, page 1-7. IEEE, (2024)Distributed Smart Measurement Architecture for Industrial Automation., , , , , , , , , and . CoRR, (2021)