Industrial experience with test generation languages for processor verification. - Michael L. Behm; John M. Ludden; Yossi Lichtenstein; Michal Rimon; Michael Vinov (DAC, 2004)

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. - Allon Adir; Eli Almog; Laurent Fournier; Eitan Marcus; Michal Rimon; Michael Vinov; Avi Ziv (IEEE Des. Test Comput., 2004)

VLIW: a case study of parallelism verification. - Allon Adir; Yaron Arbetman; Bella Dubrov; Yossi Lichtenstein; Michal Rimon; Michael Vinov; Massimo A. Calligaro; Andrew Cofler; Gabriel Duffy (DAC, 2005)

Addressing Test Generation Challenges for Configurable Processor Verification. - Michal Rimon; Yossi Lichtenstein; Allon Adir; Itai Jaeger; Michael Vinov; S. Johnson; D. Jani (HLDVT, 2006)

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. - Shady Copty; Itai Jaeger; Yoav Katz; Michael Vinov (DAC, 2007)

Constraint-Based Random Stimuli Generation for Hardware Verification. - Yehuda Naveh; Michal Rimon; Itai Jaeger; Yoav Katz; Michael Vinov; Eitan Marcus; Gil Shurek (AI Mag., 2007)

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. - Vladimir Janjic; Michael Vinov; Thomas Given-Wilson; Axel Legay; Euan Blackledge; R. Arredouani; George Stylianou; Wanting Huang; Juliana Küster Filipe Bowles; Andreas Francois Vermeulen; Agastya Silvina; Marios Belk; et al. (IEEE BigData, 2019)

Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications. - Ioannis Arapakis; Yolanda Becerra 001; Omer Boehm; George Bravos; Vasilis Chatzigiannakis; Cesare Cugnasco; Giorgos Demetriou; Iliada Eleftheriou; Julien-Etienne Mascolo; Lidija Fodor; Sotiris Ioannidis; Dusan Jakovetic; et al. (SERVICES, 2019)

On Defining Rules for Cancer Data Fabrication. - Juliana Küster Filipe Bowles; Agastya Silvina; Eyal Bin; Michael Vinov (RuleML+RR, 2020)

The THREAT-ARREST Cyber Range Platform. - George Hatzivasilis; Sotiris Ioannidis; Michail Smyrlis; George Spanoudakis; Fulvio Frati; Chiara Braghin; Ernesto Damiani; Hristo Koshutanski; George Tsakirakis; Torsten Hildebrandt; Ludger Goeke; Sebastian Pape 001; et al. (CSR, 2021)

Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case. - Andreas Alexopoulos; Yolanda Becerra 001; Omer Boehm; George Bravos; Vasilis Chatzigiannakis; Cesare Cugnasco; Giorgos Demetriou; Iliada Eleftheriou; Lidija Fodor; Spiros Fotis; Sotiris Ioannidis; Dusan Jakovetic; et al. (Technologies and Applications for Big Data Value, 2022)

Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case. - Andreas Alexopoulos; Yolanda Becerra 001; Omer Boehm; George Bravos; Vasilis Chatzigiannakis; Cesare Cugnasco; Giorgos Demetriou; Iliada Eleftheriou; Spiros Fotis; Gianmarco Genchi; Sotiris Ioannidis; Dusan Jakovetic; et al. (Technologies and Applications for Big Data Value, 2022)