| 2026 | SAC | A Framework for Zero-Knowledge Proofs of Exploits in Solidity Smart Contracts. | Alessandro Cavaliere, Santiago Galianes Arienti, Christian Esposito, Naghmeh Ivaki, Nuno Laranjeiro |
| 2025 | ISSRE | bBench: A Comprehensive Performance Benchmark for Blockchain Applications. | Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro |
| 2024 | EDCC | BugHub: A Large Scale Issue Report Dataset. | Renato Andrade, Nuno Laranjeiro, Marco Vieira |
| 2023 | DSN | Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices. | Jessica Castro, Nuno Laranjeiro, Marco Vieira |
| 2023 | DSN | Automating Vulnerability Management in the Software Development Lifecycle. | Horacio L. Frana, Csar Alexandre Teixeira, Nuno Laranjeiro |
| 2023 | DSN | Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation. | Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro |
| 2023 | ICWS | Exploring Logic Scoring of Preference for DoS Attack Detection in Microservice Applications. | Jessica Castro, Nuno Laranjeiro, Marco Vieira |
| 2023 | PRDC | An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification. | Horacio L. Frana, Csar Alexandre Teixeira, Nuno Laranjeiro |
| 2022 | ISSRE | Message from the WoSoCer 2022 Chairs. | Luigi De Simone, Nuno Laranjeiro |
| 2021 | PRDC | An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. | Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro |
| 2019 | ISSRE | Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. | Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, Joo Dures, Gonalo Duarte, Joo Castelhano, Isabel Catarina Duarte, Csar Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros |
| 2018 | EDCC | Assessing Containerized REST Services Performance in the Presence of Operator Faults. | Mariana Cunha, Nuno Laranjeiro |
| 2017 | EDCC | An Analysis of OpenStack Vulnerabilities. | Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro, Marco Vieira |
| 2017 | ICWS | INTENSE: INteroperability TEstiNg as a SErvice. | Bruno Martins, Nuno Laranjeiro, Marco Vieira |
| 2017 | ISSRE | Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. | Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira |
| 2016 | NCA | Towards designing reliable messaging patterns. | Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Arajo |
| 2016 | SERVICES | The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). | Nuno Laranjeiro, Naghmeh Ramezani Ivaki, Marco Vieira |
| 2015 | DSN | Test-Based Interoperability Certification for Web Services. | Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira |
| 2015 | PRDC | A Survey on Data Quality: Classifying Poor Data. | Nuno Laranjeiro, Seyma Nur Soydemir, Jorge Bernardino |
| 2015 | SAC | A taxonomy of reliable request-response protocols. | Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Arajo |
| 2015 | SAC | Characterizing the performance of web service frameworks under security attacks. | Rui Andr Oliveira, Nuno Laranjeiro, Marco Vieira |
| 2015 | SERVICES | IEEE Services Visionary Track on Dependable and Secure Services (DSS 2015). | Nuno Laranjeiro, Pedro Furtado, Marco Vieira |
| 2014 | DSN | Understanding Interoperability Issues of Web Service Frameworks. | Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira |
| 2014 | ICWS | ITWS: An Extensible Tool for Interoperability Testing of Web Services. | Ivano Alessandro Elia, Nuno Laranjeiro, Marco Vieira |
| 2014 | SAC | Robustness evaluation of the rainbow framework for self-adaptation. | Javier Cmara, Rogrio de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira |
| 2014 | SAFECOMP | Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14). | Francesco Brancati, Nuno Laranjeiro, bel Hegeds |
| 2014 | SERVICES | IEEE International Workshop on Dependable and Secure Services (DSS 2014). | Nuno Laranjeiro, Pedro Furtado, Marco Vieira |
| 2013 | DSN | Towards evaluating the impact of data quality on service applications. | Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Marco Vieira |
| 2010 | PRDC | A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2010 | SRDS | Applying Text Classification Algorithms in Web Services Robustness Testing. | Nuno Laranjeiro, Rui Andr Oliveira, Marco Vieira |
| 2009 | DASFAA | Predicting Timing Failures in Web Services. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2009 | DEXA | Protecting Database Centric Web Services against SQL/XPath Injection Attacks. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2009 | ICWS | Improving Web Services Robustness. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2008 | APSCC | Timing Failures Detection in Web Services. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2008 | ICSE | Robustness Validation in Service-Oriented Architectures. | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2007 | DSN | Assessing Robustness of Web-Services Infrastructures. | Marco Vieira, Nuno Laranjeiro, Henrique Madeira |
| 2007 | ICWS | Comparing Web Services Performance and Recovery in the Presence of Faults. | Marco Vieira, Nuno Laranjeiro |
| 2007 | PRDC | Benchmarking the Robustness of Web Services. | Marco Vieira, Nuno Laranjeiro, Henrique Madeira |