Nikos S. Voros

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

11EEKonstantinos Antonis, Nikos S. Voros: System level design of telecom systems using formal model refinement: Applying the B method/language in practice. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 287-304 (2008)
10EEKonstantinos Antonis, Nikos S. Voros: Applying formal methods for the design of wireless telecommunication systems. MobiMedia 2007: 26
9EENikos S. Voros, Konstantinos Masselos: Prototyping of a WLAN system using C++ based architecture exploration. MobiMedia 2007: 54
8EEKonstantinos Masselos, Kari Tiensyrjä, Yang Qu, Nikos S. Voros, Miroslav Cupák, Luc Rijnders, Marko Pettissalo: System Level Architecture Exploration for Reconfigurable Systems On Chip. FPL 2006: 1-6
7EEFotios Gioulekas, Michael K. Birbas, Nikos S. Voros, George Kouklaras, Alexios N. Birbas: Heterogeneous system level co-simulation for the design of telecommunication systems. Journal of Systems Architecture 51(12): 688-705 (2005)
6EEFotios Gioulekas, Michael K. Birbas, Nikos S. Voros, George Kouklaras, Alexios N. Birbas: A Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems. FDL 2004: 355-366
5EENikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte: A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL 2004: 598-612
4 Sébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier: Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology. DIPES 2000: 11-22
3EEFrançois Terrier, Nikos S. Voros, Udo Brockmeyer: Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops 2000: 150-177
2 Nikos S. Voros, S. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou: Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development. FORTE 1998: 387-403
1EENikos S. Voros, Evaggelinos P. Mariatos, Michael K. Birbas, Alexios N. Birbas, Nikos Petrellis, Spyrogiannis Batistatos: Reusable Architecture Templates and Automatic Specification Mapping for the Efficient Implementation of ATM Protocols. International Workshop on Rapid System Prototyping 1998: 45-50

Coauthor Index

1A. Andritsou [2]
2Konstantinos Antonis [10] [11]
3S. Arab [2]
4Spyrogiannis Batistatos [1]
5Alexios N. Birbas [1] [2] [6] [7]
6Michael K. Birbas [1] [2] [6] [7]
7Udo Brockmeyer [3]
8Miroslav Cupák [8]
9Sébastien Gérard (Sebastien Gerard) [4]
10Fotios Gioulekas [6] [7]
11Stefan Hallerstede [5]
12George Kouklaras [6] [7]
13Chris Koulamas [4]
14Thierry Lecomte [5]
15Evaggelinos P. Mariatos [1] [2]
16Kostas Masselos (Konstantinos Masselos) [8] [9]
17Nikos Petrellis [1]
18Marko Pettissalo [8]
19Yang Qu [8]
20Luc Rijnders [8]
21Colin F. Snook [5]
22François Terrier [3] [4]
23Kari Tiensyrjä [8]
24S. Tsasakou [2]
25C. Valderrama [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)