Paraskevas Bourgos

According to our database, Paraskevas Bourgos authored at least 8 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

SERRANO: Transparent Application Deployment in a Secure, Accelerated and Cognitive Cloud Continuum.

Aristotelis Kretsis, Panagiotis C. Kokkinos, Polyzois Soumplis, Juan Jose Vegas Olmos, Marcell Fehér, Márton Ákos Sipos, Daniel E. Lucani, Dmitry Khabi, Dimosthenis Masouros, Kostas Siozios, Paraskevas Bourgos, Sofia Tsekeridou, Ferad Zyulkyarov, Efstathios Karanastasis, Efthymios Chondrogiannis, Vassiliki Andronikou, Aitor Fernández Gómez, Silviu Panica, Gabriel Iuhasz, Anastassios Nanos, Charalampos Chalios, Manos Varvarigos

Proceedings of the IEEE International Mediterranean Conference on Communications and Networking, 2021

2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.

Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin

Des. Autom. Embed. Syst., 2018

2015

Building distributed sensor network applications using BIP.

Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem

Proceedings of the IEEE Sensors Applications Symposium, 2015

Models for deterministic execution of real-time multiprocessor applications.

Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

Rigorous Design Flow for Programming Manycore Platforms. (Flot de conception rigoureux pour la programmation de plates-formes manycore.).

Paraskevas Bourgos

PhD thesis, 2013

2011

Rigorous system level modeling and analysis of mixed HW/SW systems.

Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Component Assemblies in the Context of Manycore.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011