|
|
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 |
1 | Andreas 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. |
Technologies and Applications for Big Data Value |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas 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. |
Technologies and Applications for Big Data Value |
2022 |
DBLP DOI BibTeX RDF |
|
1 | George 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. |
CSR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov |
On Defining Rules for Cancer Data Fabrication. |
RuleML+RR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis 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. |
SERVICES |
2019 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. |
IEEE BigData |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
Constraint-Based Random Stimuli Generation for Hardware Verification. |
AI Mag. |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov |
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani |
Addressing Test Generation Challenges for Configurable Processor Verification. |
HLDVT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
Constraint-Based Random Stimuli Generation for Hardware Verification. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
1 | Allon 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. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
parallelism, test generation, VLIW, functional verification, processor verification |
1 | Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv |
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. |
IEEE Des. Test Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov |
Industrial experience with test generation languages for processor verification. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
test generation, functional verification, processor verification |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|