| 2025 | Local-First Smart Home Applications with HubOS. | Igor Zavalvshyn, Axel Legay, Annanda Rath, Etienne Rivire |
| 2025 | Unified AI-Product Lifecycle Based on Road-Vehicle Safety Standards. | Shanza Ali Zafar, Jessica Kelly, Nria Mata |
| 2025 | Enhancing Safety and Performance of Autonomous Systems in Open Contexts Through the Layers of Protection Architecture (LOPAAS). | Patrick Wolf, Rasmus Adler |
| 2025 | AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2025 | A Modular Architecture Template for Resource Modeling in Software-Defined Vehicles. | Patrick Uven, Ralf Stemmer, Gregor Nitsche |
| 2025 | A Decentralized Architecture for Electronic Health Records to Enhanced Security and Privacy. | Rodrigo Tertulino, Fernando Vidal, Naghmeh Ivaki |
| 2025 | Towards Efficient Client-Side Transactions for Heterogeneous Cloud Data Stores. | Pedro Alexandre Sousa, Nuno Faria, Jos Pereira, Ana Nunes Alonso |
| 2025 | A Domain Specific Language to Define ODD: Textual and Graphical Notations. | Asma Smaoui, Morayo Adedjouma, Check Koutame, Nadira Boudjani, Gabin Nizan, Yechao Sun |
| 2025 | Blockchain Infrastructure and Web Application for Dematerialization of Promissory Notes. | Henrique Silva, Filipe Quina, Srgio Guerreiro, Miguel Matos |
| 2025 | Bringing Independent Cybersecurity Assessments to Space Systems. | Nuno Silva, Gustavo Dinis, Mauro Gameiro, Joo Gaspar |
| 2025 | Empowering Individual Climate Action Through Carbon Tokenization. | Umair S. Siddiqui, Joana R. Pereira, Ian J. Scott, Miguel de Castro Neto, Francisco Gallego |
| 2025 | Leveraging AI to Transform Rail Higher Education: Opportunities, Challenges, and the Path Forward. | Prachiti Shinde, Marin Marinov, Reem Hadeed |
| 2025 | Denial-of-Service Attacks on Wi-Fi Protected Management Frames Preventing Reconnection. | Kohei Senga, Shoei Nashimoto |
| 2025 | Fault Tolerance of Sorting Algorithms Under Varying Input Characteristics. | Steven Schwarz, Robin Thunig, Horst Schirmeier |
| 2025 | Improving the Efficiency of Multi-Cloud Storage. | Guilherme Santos, Alysson Bessani |
| 2025 | Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper). | Jorge Santos, Andr Augusto, Andr Vasconcelos, Miguel Correia |
| 2025 | Leveraging Remote Attestation APIs for Secure Image Sharing in Messaging Apps. | Joel Samper, Bernardo Ferreira |
| 2025 | Towards a Novel 8-Bit Floating-Point Format to Increase Robustness in Convolutional Neural Networks. | Luis J. Saiz-Adalid, Juan-Carlos Ruiz-Garcia, Joaquin Gracia-Moran, David de Andrs, Juan-Carlos Baraza-Calvo, Daniel Gil-Tomas, Pedro J. Gil-Vicente |
| 2025 | Towards SW-Based Robustness Assessment of HW Accelerators for Quantized CNNs. | Juan Carlos Ruiz, David de Andrs, Luis J. Saiz-Adalid, Joaquin Gracia-Moran |
| 2025 | Improving Availability in Event Sourcing Systems. | Tiago Rolo, Nuno M. Preguia, Filipe Arajo |
| 2025 | A Single AI Platform for the Unification of Railway Transport Logistics Processes. | Oleksandr Rohovyi, Valerii Samsonkin, Oksana Yurchenko, Gintautas Bureika |
| 2025 | Novel Use of EO Satellite Data and AI in Railways: A Concept for Rail Buckling Risk Estimation in the SPATRA Project. | Danijela Ristic-Durrant, Milan Banic, Milan Trifunovic, Alina Klapper, Milos Madic, Aleksandar Trajkovic, Dietrich Kuhn, Milos Simonovic |
| 2025 | Dependable Food Traceability Data Through Blockchain and Database Integration. | Loureno Preto, Samih Eisa, Orlando Remdios, David R. Matos, Miguel L. Pardal |
| 2025 | Evaluating the Impact of Cross-Chain Deployment on Dapps' Market Performance in Web3 Ecosystems. | Joana R. Pereira |
| 2025 | Compact Two-Dimensional RAID Level 6 Arrays Tolerating Quadruple Node Failures: Extended Abstract. | Jehan-Franois Pris, Thomas Schwarz SJ |