| 2020 | Towards a formal model for composable container systems. | Fabio Burco, Marino Miculan, Marco Peressotti |
| 2020 | Goal-based configuration analysis for networks of collaborative cyber-physical systems. | Jennifer Brings, Marian Daun, Thorsten Weyer, Klaus Pohl |
| 2020 | A blockchain-based protocol for message exchange in a ICS network: student research abstract. | Ricardo Brando |
| 2020 | HeadPrint: detecting anomalous communications through header-based application fingerprinting. | Riccardo Bortolameotti, Thijs van Ede, Andrea Continella, Thomas Hupperich, Maarten H. Everts, Reza Rafati, Willem Jonker, Pieter H. Hartel, Andreas Peter |
| 2020 | Retrieval of visiting paths through relevant resources and services for enabling smart communities. | Gloria Bordogna, Luca Frigerio, Anna Rampini |
| 2020 | Spatial bloom filter in named data networking: a memory efficient solution. | Filippo Berto, Luca Calderoni, Mauro Conti, Eleonora Losiouk |
| 2020 | ALISI: a lightweight identification system based on Iroha. | Giuseppe Bernieri, Mauro Conti, Matteo Sovilla, Federico Turrin |
| 2020 | Using application knowledge to reduce cold starts in FaaS services. | David Bermbach, Ahmet-Serdar Karakaya, Simon Buchholz |
| 2020 | Finding interest groups from Twitter lists. | Mohamed Benabdelkrim, Jean Savinien, Cline Robardet |
| 2020 | Dynamic proxemia modeling approach (DPMA) for navigation and interaction with a group of persons. | Abir Bellarbi, Abdel-Illah Mouaddib, Nouara Achour, Noureddine Ouadah |
| 2020 | On the reliability of hardware event monitors in MPSoCs for critical domains. | Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella, Mikel Fernndez, Guillem Bernat, Francisco J. Cazorla |
| 2020 | Near real-time scheduling in cloud-edge platforms. | Vasile-Daniel Balteanu, Alexandru Neculai, Catalin Negru, Florin Pop, Adrian Stoica |
| 2020 | Modeling and verification method for an early evaluation of systems of systems interactions. | Ronan Baduel, Iulian Ober, Jean-Michel Bruel |
| 2020 | Evaluating the usefulness of citation graph and document metadata in scientific document recommendation for neophytes. | Bissan Audeh, Michel Beigbeder, Christine Largeron, Diana Ramrez-Cifuentes |
| 2020 | Etherolic: a practical security analyzer for smart contracts. | Mohammadreza Ashouri |
| 2020 | An experiment-driven performance model of stream processing operators in fog computing environments. | HamidReza Arkian, Guillaume Pierre, Johan Tordsson, Erik Elmroth |
| 2020 | A sound abstract interpreter for dynamic code. | Vincenzo Arceri, Isabella Mastroeni |
| 2020 | Smart home platform supporting decentralized adaptive automation control. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini |
| 2020 | Schema-agnostic blocking for streaming data. | Tiago Brasileiro Arajo, Kostas Stefanidis, Carlos Eduardo Santos Pires, Jyrki Nummenmaa, Thiago Pereira da Nbrega |
| 2020 | Resource allocation for edge computing with multiple tenant configurations. | Andrea Araldo, Alessandro Di Stefano, Antonella Di Stefano |
| 2020 | Evaluating semantic textual similarity in clinical sentences using deep learning and sentence embeddings. | Rui Antunes, Joo Figueira Silva, Srgio Matos |
| 2020 | Large-scale machine learning for business sector prediction. | Mitch N. Angenent, Antnio Pereira Barata, Frank W. Takes |
| 2020 | Rule-based extraction of family history information from clinical notes. | Joo Rafael Almeida, Srgio Matos |
| 2020 | Enhanced clustering approach for traffic regulation in directional antennas based nanonetworks. | Lina Aliouat, Hakim Mabed, Julien Bourgeois |
| 2020 | TRIDEnT: towards a decentralized threat indicator marketplace. | Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stphane Le Roux, Steven Rowe, Max Mhlhuser |