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

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing

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

Wit4Java: A Violation-Witness Validator for Java Verifers (Competition Contribution)

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

Enabling Pipeline Parallelism in Heterogeneous Managed Runtime Environments via Batch Processing

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

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

01/03/2022

Wit4Java: A violation-witness validator for Java Verifiers (Competition Paper)

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

Summary of Model Checking C++ Programs

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

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

01/03/2022

Model Checking C++ Programs

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

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

01/03/2022

Automatically Exploiting the Memory Hierarchy of GPUs through Just-in-Time Compilation

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

Multiple-Tasks on Multiple-Devices (MTMD): Exploiting Concurrency in Heterogeneous Managed Runtimes

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

Model checking C++ programs

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

Venue: Journal of Software: Testing, Verification and Reliability

01/09/2021

The Application of Deep Learning Imputation and other advanced methods for handling missing values in network intrusion detection

Author: Mateusz Szczepański, Marek Pawlicki, Rafał Kozik, Michał Choraś

Venue: Vietnam Journal of Computer Science

12/04/2022

Enabling Transparent Acceleration of Big Data Frameworks Using Heterogeneous Hardware

Author: Maria Xekalaki, Juan Fumero, Athanasios Stratikopoulos, Katerina Doka, Christos Katsakioris, Constantinos Bitsakos, Nectatios Koziris, Christos Kotselidis

Venue: Proceedings of the VLDB (Very Large Data Bases) 2022

15/08/2022

Discovery of privacy threats via device de-anonymization in LoRaWAN

Author: P. Spadaccino, D. Garlisi, F. Cuomo, G. Pillon and P. Pisani,s Kotselidis

Venue: Computer Communications Journal, Volume 189, 2022,

22/02/2022

Discovery of privacy threats via device de-anonymization in LoRaWAN

Author: P. Spadaccino, D. Garlisi, F. Cuomo, G. Pillon and P. Pisani,

Venue: Proceedings of19th Mediterranean Communication and Computer Networking Conference (MedComNet 2021)

21/08/2021

LoRaWAN Behaviour Analysis through Dataset Traffic Investigation

Author: Spadaccino, P.; Crinó, F.G.; Cuomo, F.