Nikos S. Voros

	2008
12		Konstantinos 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)
	2007
11		Konstantinos Antonis, Nikos S. Voros: Applying formal methods for the design of wireless telecommunication systems. MobiMedia 2007: 26
10		Nikos S. Voros, Konstantinos Masselos: Prototyping of a WLAN system using C++ based architecture exploration. MobiMedia 2007: 54
	2006
9		Konstantinos 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
	2005
8		Fotios 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)
	2004
7		Fotios 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
6		Nikos 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
	2001
5		S. K. Tsasakou, Nikos S. Voros, Alexios N. Birbas, M. V. Koziotis, D. G. Papadopoulos: High-level co-simulation based on the extension of processor simulators. Journal of Systems Architecture 47(1): 1-13 (2001)
	2000
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
3		François Terrier, Nikos S. Voros, Udo Brockmeyer: Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops 2000: 150-177
	1998
2		Nikos S. Voros, S. K. 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
1		Nikos 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

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

Colors in the list of coauthors