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 |