Nikos S. Voros

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 9

Top Topics

Benders Decomposition

Cache Management

Heterogeneous Platforms

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Evanthia Faliagka, Eleni Christopoulou, Dimitrios Ringas, Tanya Politi, Nikos Kostis, Dimitris Leonardos, Christos Tranoris, Christos P. Antonopoulos, Spyros G. Denazis, Nikos S. Voros
Trends in Digital Twin Framework Architectures for Smart Cities: A Case Study in Smart Mobility. Sensors 24 (5) (2024)
Panagiotis Christakos, Nikos Petrellis, Panagiotis Mousouliotis, Georgios Keramidas, Christos P. Antonopoulos, Nikos S. Voros
A High Performance and Robust FPGA Implementation of a Driver State Monitoring Application. Sensors 23 (14) (2023)
Evanthia Faliagka, Alexandros Spournias, Christos P. Antonopoulos, Nikos S. Voros
From Embedded to AI-powered Cyberphysical Systems and Beyond. MIXDES (2023)
Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikos S. Voros
A Multi-stage Hybrid Approach for Mapping Applications on Heterogeneous Multi-core Platforms. VLSI-SoC (2022)
Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Geza Nemeth, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. DATE (2022)
Alexandros Spournias, Evanthia Faliagka, Christos P. Antonopoulos, Georgios Keramidas, Nikos S. Voros
Social Distance Monitoring using AI techniques in AAL environments. SmartIoT (2021)
Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikos S. Voros
Static Mapping of Applications on Heterogeneous Multi-Core Platforms Combining Logic-Based Benders Decomposition with Integer Linear Programming. ACM Trans. Design Autom. Electr. Syst. 23 (2) (2018)
Vasilios I. Kelefouras, Georgios Keramidas, Nikos S. Voros
Combining Software Cache Partitioning and Loop Tiling for Effective Shared Cache Management. ACM Trans. Embed. Comput. Syst. 17 (3) (2018)
Andreas Emeretlis, T. Tsakoulis, George Theodoridis, Panayiotis Alefragis, Nikos S. Voros
Task graph mapping and scheduling on heterogeneous architectures under communication constraints. SAMOS (2017)
Andreas Emeretlis, George Theodoridis, Panayiotis Alefragis, Nikos S. Voros
Mapping DAGs on Heterogeneous Platforms Using Logic-Based Benders Decompostion. ISVLSI (2015)
Konstantinos Antonis, Nikos S. Voros
System level design of telecom systems using formal model refinement: Applying the B method/language in practice. J. Syst. Archit. 54 (1-2) (2008)
Nikos S. Voros, Konstantinos Masselos
Prototyping of a WLAN system using C++ based architecture exploration. MobiMedia (2007)
Konstantinos Antonis, Nikos S. Voros
Applying formal methods for the design of wireless telecommunication systems. MobiMedia (2007)
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)
Fotios Gioulekas, Michael K. Birbas, Nikos S. Voros, George Kouklaras, Alexios N. Birbas
Heterogeneous system level co-simulation for the design of telecommunication systems. J. Syst. Archit. 51 (12) (2005)
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)
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)
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. J. Syst. Archit. 47 (1) (2001)
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)
François Terrier, Nikos S. Voros, Udo Brockmeyer
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops (2000)
Nikos S. Voros, Sofia Tsasakou, Alexios N. Birbas, Luis Sánchez, Alejandro Alonso
Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols. ICECS (1999)
S. K. Tsasakou, Nikos S. Voros, M. V. Koziotis, Diederik Verkest, Aggeliki S. Prayati, Alexios N. Birbas
Hardware-software co-design of embedded systems using CoWare's N2C methodology for application development. ICECS (1999)
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)
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)