Vangelis Kollias

Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems

Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, 2003, SDL Forum.

BBN based approach for improving the software development process of an SME - a case study

Ioannis Stamelos, Vangelis Kollias, Stamatia Bibi, 2010, J. Softw. Maintenance Res. Pract..

Overview of Activities Involving Time Triggered Ethernet Technology Carried out by ESA ESTEC

Vangelis Kollias, Tomasz Szewczyk, Farid Guettache, 2016 .

A BBN Based Approach for Improving a Telecommunication Software Estimation Process

Ioannis Stamelos, Vangelis Kollias, Stamatia Bibi, 2008, 2008 Panhellenic Conference on Informatics.

Validation of Securely Partitioned Systems over Multicore Architectures Based on XtratuM

Alfons Crespo, Vangelis Kollias, Dimitrios Mylonas, 2013 .

iSAFT-PVS: Recording, simulation & traffic generation at full network load

Vangelis Kollias, Kostas Marinis, Antonis Tavoularis, 2014, 2014 International SpaceWire Conference (SpaceWire).

iSAFT Protocol Validation Platform for On-Board Data Networks

Vangelis Kollias, Kostas Marinis, Antonis Tavoularis, 2014 .

A self-adaptive service provisioning framework for 3G+/4G mobile applications

Thomas Magedanz, Nikos A. Nikolaou, Nicholaos Zervos, 2004, IEEE Wireless Communications.

Flight equipment validation with iSAFT: The EUCLID Fine Guidance Sensor case

Vangelis Kollias, Antonis Tavoularis, Nikos Pogkas, 2014, 2014 International SpaceWire Conference (SpaceWire).

Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel

Ismael Ripoll, Alfons Crespo, Vangelis Kollias, 2011 .