Author of the publication

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

Constraint-Based Random Stimuli Generation for Hardware Verification., , , , , , and . AI Magazine, 28 (3): 13-30 (2007)Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation., , , and . DAC, page 891-895. IEEE, (2007)Addressing Test Generation Challenges for Configurable Processor Verification., , , , , , and . HLDVT, page 95-101. IEEE Computer Society, (2006)On Defining Rules for Cancer Data Fabrication., , , and . RuleML+RR, volume 12173 of Lecture Notes in Computer Science, page 168-176. Springer, (2020)Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case., , , , , , , , , and 21 other author(s). Technologies and Applications for Big Data Value, Springer, (2022)Industrial experience with test generation languages for processor verification., , , , and . DAC, page 36-40. ACM, (2004)Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case., , , , , , , , , and 20 other author(s). Technologies and Applications for Big Data Value, Springer, (2022)The THREAT-ARREST Cyber Range Platform., , , , , , , , , and 11 other author(s). CSR, page 422-427. IEEE, (2021)VLIW: a case study of parallelism verification., , , , , , , , and . DAC, page 779-782. ACM, (2005)Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification., , , , , , and . IEEE Des. Test Comput., 21 (2): 84-93 (2004)