Michael Vinov

13 papers A* 4B 2Misc 1Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2022 — ch.
Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case.
Technologies and Applications for Big Data Value
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
2022 — ch.
Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case.
Technologies and Applications for Big Data Value
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
2021 Misc conf
The THREAT-ARREST Cyber Range Platform.
CSR
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
2020 B conf
On Defining Rules for Cancer Data Fabrication.
RuleML+RR
Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
2019 — conf
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems.
IEEE BigData
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
2019 B conf
Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications.
SERVICES
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
2007 J jnl
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag.
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2007 A* conf
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.
DAC
Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov
2006 — conf
Addressing Test Generation Challenges for Configurable Processor Verification.
HLDVT
Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani
2006 A* conf
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2005 A* conf
VLIW: a case study of parallelism verification.
DAC
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy
2004 J jnl
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Des. Test Comput.
Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
2004 A* conf
Industrial experience with test generation languages for processor verification.
DAC
Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov