Michael Vinov

According to our database, Michael Vinov authored at least 12 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case.

Andreas Alexopoulos, Yolanda Becerra, Omer Boehm, George Bravos, Vasilis Chatzigiannakis, Cesare Cugnasco, Giorgos Demetriou, Iliada Eleftheriou, Spiros Fotis, Gianmarco Genchi, Sotiris Ioannidis, Dusan Jakovetic, Leonidas Kallipolitis, Vlatka Katusic, Evangelia Kavakli, Despina Kopanaki, Christoforos Leventis, Miquel Martínez, Julien-Etienne Mascolo, Nemanja Milosevic, Enric Pages i Montanera, Gerald H. Ristow, Hernan Ruiz-Ocampo, Rizos Sakellariou, Raül Sirvent, Srdjan Skrbic, Ilias Spais, Giuseppe Danilo Spennacchio, Dusan Stamenkovic, Giorgos Vasiliadis, Michael Vinov

Proceedings of the Technologies and Applications for Big Data Value, 2022

Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case.

Andreas Alexopoulos, Yolanda Becerra, Omer Boehm, George Bravos, Vasilis Chatzigiannakis, Cesare Cugnasco, Giorgos Demetriou, Iliada Eleftheriou, Lidija Fodor, Spiros Fotis, Sotiris Ioannidis, Dusan Jakovetic, Leonidas Kallipolitis, Vlatka Katusic, Evangelia Kavakli, Despina Kopanaki, Christoforos Leventis, Mario Maawad Marcos, Ramon Martín de Pozuelo, Miquel Martínez, Nemanja Milosevic, Enric Pages i Montanera, Gerald H. Ristow, Hernan Ruiz-Ocampo, Rizos Sakellariou, Raül Sirvent, Srdjan Skrbic, Ilias Spais, Giorgos Vasiliadis, Michael Vinov

Proceedings of the Technologies and Applications for Big Data Value, 2022

2021

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, Oleg Blinder, Michael Vinov, George Leftheriotis, Martin Kunc, Fotis Oikonomou, Giovanni Magilo, Vito Petrarolo, Antonio Chieti, Robert Bordianu

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2020

On Defining Rules for Cancer Data Fabrication.

Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2019

Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications.

Ioannis Arapakis, Yolanda Becerra, Omer Boehm, George Bravos, Vasilis Chatzigiannakis, Cesare Cugnasco, Giorgos Demetriou, Iliada Eleftheriou, Julien-Etienne Mascolo, Lidija Fodor, Sotiris Ioannidis, Dusan Jakovetic, Leonidas Kallipolitis, Evangelia Kavakli, Despina Kopanaki, Nicolas Kourtellis, Mario Maawad Marcos, Ramon Martín de Pozuelo, Nemanja Milosevic, Giuditta Morandi, Enric Pages i Montanera, Gerald H. Ristow, Rizos Sakellariou, Raül Sirvent, Srdjan Skrbic, Ilias Spais, Giorgos Vasiliadis, Michael Vinov

Proceedings of the 2019 IEEE World Congress on Services, 2019

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, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

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

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.

Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov

Proceedings of the 44th Design Automation Conference, 2007

2006

Addressing Test Generation Challenges for Configurable Processor Verification.

Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

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

Proceedings of the 42nd Design Automation Conference, 2005

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

Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Proceedings of the 41th Design Automation Conference, 2004