The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Vinov" ( http://dblp.L3S.de/Authors/Michael_Vinov )

  Author page on DBLP  Author page in RDF  Community of Michael Vinov in ASPL-2

Publication years (Num. hits)
2004-2022 (13)
Publication types (Num. hits)
article(2) incollection(2) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 5 keywords

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andreas Alexopoulos, Yolanda Becerra 0001, 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 Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case. Search on Bibsonomy Technologies and Applications for Big Data Value The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andreas Alexopoulos, Yolanda Becerra 0001, 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 Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case. Search on Bibsonomy Technologies and Applications for Big Data Value The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1George Hatzivasilis, Sotiris Ioannidis, Michail Smyrlis, George Spanoudakis, Fulvio Frati, Chiara Braghin, Ernesto Damiani, Hristo Koshutanski, George Tsakirakis, Torsten Hildebrandt, Ludger Goeke, Sebastian Pape 0001, Oleg Blinder, Michael Vinov, George Leftheriotis, Martin Kunc, Fotis Oikonomou, Giovanni Magilo, Vito Petrarolo, Antonio Chieti, Robert Bordianu The THREAT-ARREST Cyber Range Platform. Search on Bibsonomy CSR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov On Defining Rules for Cancer Data Fabrication. Search on Bibsonomy RuleML+RR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ioannis Arapakis, Yolanda Becerra 0001, 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 Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications. Search on Bibsonomy SERVICES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir 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 The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. Search on Bibsonomy IEEE BigData The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek Constraint-Based Random Stimuli Generation for Hardware Verification. Search on Bibsonomy AI Mag. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani Addressing Test Generation Challenges for Configurable Processor Verification. Search on Bibsonomy HLDVT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek Constraint-Based Random Stimuli Generation for Hardware Verification. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy VLIW: a case study of parallelism verification. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallelism, test generation, VLIW, functional verification, processor verification
1Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov Industrial experience with test generation languages for processor verification. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test generation, functional verification, processor verification
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license