Michael Vinov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2019
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SERVICES | 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 Martn de Pozuelo, Nemanja Milosevic, Giuditta Morandi, Enric Pages i Montanera, Gerald H. Ristow, Rizos Sakellariou, Ral Sirvent, Srdjan Skrbic, Ilias Spais, Giorgos Vasiliadis, Michael Vinov |
| 2007 | DAC | Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. | Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov |
| 2006 | AAAI | Constraint-Based Random Stimuli Generation for Hardware Verification. | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
| 2005 | DAC | 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 |
| 2004 | DAC | Industrial experience with test generation languages for processor verification. | Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov |