
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