Scientific Publications


Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs

Francisco Neves, Nuno Machado, Ricardo Vilaça, José Pereira

51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021)

Totally-Ordered Prefix Parallel Snapshot Isolation

Nuno Faria, José Pereira

8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC @ EuroSys 2021)


Partially Monotonic Learning for Neural Networks

Joana Trindade, João Vinagre, Kelwin Fernandes, Nuno Paiva, Alípio Jorge

19th International Symposium on Intelligent Data Analysis (IDA 2021)

Efficient Privacy Preserving Distributed K-Means for Non-IID Data

André Brandão, Ricardo Mendes, João P. Vilela

19th International Symposium on Intelligent Data Analysis (IDA 2021)

Analysis of VM Migration Scheduling as Moving Target Defense against insider attacks

Matheus Torquato, Paulo Maciel, Marco Vieira

ACM/SIGAPP Symposium on Applied Computing (ACM SAC 2021)


On the Use of Open-Source C/C++ Static AnalysisTools in Large Projects

José D’Abruzzo Pereira, Marco Vieira 

16th European Dependable Computing Conference (EDCC 2020)

An Availability Model for DSS and OLTP Applications in Virtualized Environments

Matheus Torquato, Charles F. Goncalves, Marco Vieira

16th European Dependable Computing Conference (EDCC 2020)

Vulnerability Analysis as Trustworthiness Evidence in Security Benchmarking: A Case Study on Xen

Charles F. Gonçalves, Nuno Antunes

5th IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2020) 

Fault Injection to Generate Failure Data for Failure Prediction: A Case Study

João R. Campos, Ernesto Costa

31st International Symposium on Software Reliability Engineering (ISSRE 2020)

Using Attack Injection to Evaluate Intrusion Detection Effectiveness in Container-based Systems

J. Flora, P. Gonçalves, N. Antunes

25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)

Vulnerable Code Detection Using Software Metrics and Machine Learning

Nádia Medeiros, Naghmeh Ivaki, Pedro Costa, Marco Vieira 

IEEE Access