PUBLICATIONS

The EU-funded ELEGANT project aims to develop a novel software solution that addresses key challenges facing IoT and Big Data: interoperability, reliability, safety and security. Some of the key innovations of the proposed framework are lightweight virtualisation, automatic code extraction compatible with IoT and Big Data frameworks, intelligent orchestration, dynamic code motion and advanced code verification and cybersecurity mechanisms. These should enable the seamless operation of end-to-end IoT/Big Data systems. To achieve its goal, the project will gather a consortium of experts on low-level system software, IoT, Big Data, AI-assisted scheduling and DevOps.

Papers

01

Author:Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, and Lucas C. Cordeiro

Venue:  Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241

29/03/2022

02

Author:Tong Wu , Peter Schrammel, and Lucas C. Cordeiro

Venue: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, vol 13244. Springer

30/03/2022

03

Author:Florin Blanaru, Athanasios Stratikopoulos, Juan Fumero, Christos Kotselidis

Venue:  ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’22)

01/03/2022

04

Author:Wu, T., Schrammel, P., Cordeiro, L. C

Venue:  In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

01/03/2022

05

Author:Monteiro, F., Gadelha, M., Cordeiro, L. C

Venue: In 15th IEEE International Conference on Software Testing, Verification and Validation (ICST)

01/03/2022

06

Author:Monteiro, F., Gadelha, M., Cordeiro, L.

Venue: In Software Testing, Verification and Reliability, v32(1)

01/03/2022

07

Author:Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, and Christos Kotselidis

Venue: ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’21)

16/04/2021

08

Author: Michail Papadimitriou, Eleni Markou, Juan Fumero, Athanasios Stratikopoulos, Florin Blanaru, and Christos Kotselidis

Venue:  ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’21)

16/04/2021

09

Author: Felipe R. Monteiro,Mikhail R. Gadelha,Lucas C. Cordeiro

Venue: Journal of Software: Testing, Verification and Reliability

01/09/2021

Presentations

01

Author:Thanos Stratikopoulos

Venue:  FOSDEM 2022

05/02/2022

02

Author:Aleksandra Pawlicka, Marek Pawlicki, Mikołaj Komisarek, Rafał Kozik, Michał Choraś

Venue: Computing (Springer Journal)

08.10.2021 

03

Author:Juan Fumero

Venue:  JavaZone 2021

09/12/2021

04

Author:Lucas Cordeiro

Venue: 10th Latin-American Symposium on Dependable Computing (LADC)

15/11/2021

05

Author:Juan Fumero

Venue: Devoxx Ukraine 2021

14/11/2021

06

Author:Juan Fumero

Venue: InfoQ QCon plus 2021

01/11/2021