Nikos S. Voros

2008
11	EE	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
10	EE	Konstantinos Antonis, Nikos S. Voros: Applying formal methods for the design of wireless telecommunication systems. MobiMedia 2007: 26
9	EE	Nikos S. Voros, Konstantinos Masselos: Prototyping of a WLAN system using C++ based architecture exploration. MobiMedia 2007: 54
2006
8	EE	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
7	EE	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
6	EE	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
5	EE	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
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	EE	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. 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	EE	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	[10] [11]
3	S. Arab	[2]
4	Spyrogiannis Batistatos	[1]
5	Alexios N. Birbas	[1] [2] [6] [7]
6	Michael K. Birbas	[1] [2] [6] [7]
7	Udo Brockmeyer	[3]
8	Miroslav Cupák	[8]
9	Sébastien Gérard (Sebastien Gerard)	[4]
10	Fotios Gioulekas	[6] [7]
11	Stefan Hallerstede	[5]
12	George Kouklaras	[6] [7]
13	Chris Koulamas	[4]
14	Thierry Lecomte	[5]
15	Evaggelinos P. Mariatos	[1] [2]
16	Kostas Masselos (Konstantinos Masselos)	[8] [9]
17	Nikos Petrellis	[1]
18	Marko Pettissalo	[8]
19	Yang Qu	[8]
20	Luc Rijnders	[8]
21	Colin F. Snook	[5]
22	François Terrier	[3] [4]
23	Kari Tiensyrjä	[8]
24	S. Tsasakou	[2]
25	C. Valderrama	[2]

Colors in the list of coauthors