Table of Contents

• AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed SystemsDiogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia 0001. 1-2 [doi]
• Large Language Models for Explainable Threat IntelligenceTiago Dinis, Roger Tavares, Miguel Correia. 3-4 [doi]
• Towards a Reliable Orchestration of Containerised Critical ServicesAna Luis, Alysson Bessani, Vinicius Vielmo Cogo. 5-6 [doi]
• Blockchain Infrastructure and Web Application for Dematerialization of Promissory NotesHenrique Silva, Filipe Quina, Sérgio Guerreiro, Miguel Matos. 7-10 [doi]
• Improving the Efficiency of Multi-Cloud StorageGuilherme Santos, Alysson Bessani. 11-13 [doi]
• BLADE-Byzantine-Tolerant Learning Under an Asynchronous and Decentralized EnvironmentGonçalo Ferreira, Ana Nunes Alonso, José Pereira. 14-17 [doi]
• Improving Availability in Event Sourcing SystemsTiago Rolo, Nuno M. Preguiça, Filipe Araújo. 18-21 [doi]
• Towards SW-Based Robustness Assessment of HW Accelerators for Quantized CNNsJuan Carlos Ruiz 0001, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran. 22-25 [doi]
• Initial Insights into Synthesis Overheads Caused by C-Based Error Correction Codes ImplementationsJoaquin Gracia-Moran, David de Andrés, Luis J. Saiz-Adalid, Juan Carlos Ruiz 0001, Juan-Carlos Baraza-Calvo, Daniel Gil-Tomas, Pedro J. Gil-Vicente. 26-29 [doi]
• Compact Two-Dimensional RAID Level 6 Arrays Tolerating Quadruple Node Failures: Extended AbstractJehan-François Pâris, Thomas Schwarz SJ. 30-33 [doi]
• Towards a Novel 8-Bit Floating-Point Format to Increase Robustness in Convolutional Neural NetworksLuis J. Saiz-Adalid, Juan-Carlos Ruiz-Garcia 0001, Joaquin Gracia-Moran, David de Andrés, Juan-Carlos Baraza-Calvo, Daniel Gil-Tomas, Pedro J. Gil-Vicente. 34-37 [doi]
• Exploring Complementarity Between Functional Safety and Cybersecurity in the Chemical Process IndustryGeert Deconinck, Jan Luyts, Geert Boogaerts. 38-39 [doi]
• Let it Glow: Illuminating Middleboxes with NoPASARANIliès Benhabbour, Marc Dacier. 40-43 [doi]
• Machine Learning-Based Distributed Intrusion Detection System in Industrial Edge Environments: Challenge IdentificationZihao Deng, Geert Deconinck. 44-47 [doi]
• Methodology for Vulnerabilities Detection in IoT Gateways Source CodeDiego R. Gomes. 48-51 [doi]
• Security Evaluation of Smart Home Devices Based on the OWASP Top 10 IoT VulnerabilitiesEduardo F. Felix. 52-55 [doi]
• Towards Real-Time Malware Classification Through Honeypot AnalysisMiguel Faísco, Ibéria Medeiros, Hans P. Reiser. 56-59 [doi]
• Benchmarking LLM Robustness Against Prompt-Based Adversarial AttacksJoão Donato. 60-63 [doi]
• Benchmarking Large Language Models for Code GenerationRodrigo Pato Nogueira. 64-67 [doi]
• Processing Web Applications using NLP for Vulnerability IdentificationJorge Guerreiro, Ibéria Medeiros. 68-71 [doi]
• Software Trustworthiness Assessment via Large Language Models (LLMs)Saeed Javani Jananloo. 72-75 [doi]
• Empowering Individual Climate Action Through Carbon TokenizationUmair S. Siddiqui, Joana R. Pereira, Ian J. Scott, Miguel C. Neto, Francisco Gallego. 76-79 [doi]
• Novel Use of EO Satellite Data and AI in Railways: A Concept for Rail Buckling Risk Estimation in the SPATRA ProjectDanijela Ristic-Durrant, Milan Banic, Milan Trifunovic, Alina Klapper, Milos Madic, Aleksandar Trajkovic, Dietrich Kuhn, Milos Simonovic. 80-83 [doi]
• A Traffic Evacuation Model for Enhancing Resilience During Railway DisruptionHangli Ge, Xiaojie Yang, Jinyu Chen, Francesco Flammini, Noboru Koshizuka. 84-89 [doi]
• ESSecA Expert System for Automated Penetration Testing: The Train Control and Monitoring System Case StudyAlessandra De Benedictis, Massimiliano Rak, Emanuele Agostino Messuri, Felice Moretta, Augusto Ausanio. 90-95 [doi]
• A Single AI Platform for the Unification of Railway Transport Logistics ProcessesOleksandr Rohovyi, Valerii Samsonkin, Oksana Yurchenko, Gintautas Bureika. 96-101 [doi]
• The Impact of Artificial Intelligence on Passenger Flow in Air and Rail Integrated Networks: A Systematic Literature ReviewNandhini Mahesh, Reem Hadeed, Marin Marinov. 102-107 [doi]
• Synchronisation of On-Board Track Geometry Monitoring Signals to Enable Machine Learning PredictionsSepehr Abdi Goudarzi, Riccardo Licciardello, Nadia Kaviani, Shahab Aldin Mansouri, Mani Entezami. 108-112 [doi]
• An Integrated AI and Model-Based Approach for Railway Cyber-Physical SystemsArianna Nocente, Gabriele Pannocchia, Giulio Rossetti. 113-118 [doi]
• Harnessing Explainable AI in Railway: A Decision Tree-Based ApproachMario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco di Torrepadula. 119-124 [doi]
• Leveraging AI to Transform Rail Higher Education: Opportunities, Challenges, and the Path ForwardPrachiti Shinde, Marin Marinov, Reem Hadeed. 125-129 [doi]
• Evaluating the Impact of Cross-Chain Deployment on Dapps' Market Performance in Web3 EcosystemsJoana R. Pereira. 130-132 [doi]
• Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper)Rodolfo Carapau, André Augusto, André Vasconcelos 0001, Miguel Correia 0001. 133-138 [doi]
• Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper)Jorge Santos, André Augusto, André Vasconcelos 0001, Miguel Correia 0001. 139-144 [doi]
• Reliability is Blind: Collective Incentives for Decentralized Computing Marketplaces Without Individual Behavior InformationHenry Mont, Matthieu Bettinger, Sonia Ben Mokhtar, Anthony Simonet-Boulogne. 145-150 [doi]
• What Must the Price in Decentralized Exchanges Be?Hyoung Joong Kim, Gyu M. Lee, Jongwon Lee, Sora Kang, Seong Wook Chae, Jun-Seok Park. 151-156 [doi]
• A Decentralized Marketplace for Tokenized Real EstateDuarte Costa, João Santos, Tiago Dias 0006, Miguel P. Correia 0001. 157-162 [doi]
• Dependable Food Traceability Data Through Blockchain and Database IntegrationLourenço Preto, Samih Eisa, Orlando Remédios, David R. Matos, Miguel L. Pardal. 163-167 [doi]
• ChainGuard: Verified Data Intake for a Track & Trace BlockchainAndré Avelar, Samih Eisa, Orlando Remédios, Miguel L. Pardal. 168-173 [doi]
• A Decentralized Architecture for Electronic Health Records to Enhanced Security and PrivacyRodrigo Tertulino, Fernando Vidal, Naghmeh Ivaki. 174-179 [doi]
• Web 3 Data Matching for Blockchain-Supported Real Estate (Position Paper)Henrique Lin, João F. Santos, Tiago Dias 0006, Miguel P. Correia 0001. 180-184 [doi]
• On the Meaning of AI SafetyIbrahim Habli. 185-188 [doi]
• Unified AI-Product Lifecycle Based on Road-Vehicle Safety StandardsShanza Ali Zafar, Jessica Kelly, Núria Mata. 189-194 [doi]
• A Five-Dimensional Digital Twin Architecture for Real-Time and Non-Real-Time Safety Assurance of Autonomous SystemsLaure Buysse, Dries Vanoost, Jeroen Boydens, Davy Pissoort. 195-200 [doi]
• A Dependable Trajectory Prediction Pipeline for Autonomous Driving: Integrating Computer Vision and Bayesian Networks for Highway SafetySanjana Range Gowda, Patrick Wolf. 201-206 [doi]
• Enhancing Safety and Performance of Autonomous Systems in Open Contexts Through the Layers of Protection Architecture (LOPAAS)Patrick Wolf, Rasmus Adler. 207-212 [doi]
• A Modular Architecture Template for Resource Modeling in Software-Defined VehiclesPatrick Uven, Ralf Stemmer, Gregor Nitsche. 213-217 [doi]
• Bringing Independent Cybersecurity Assessments to Space SystemsNuno Silva, Gustavo Dinis, Mauro Gameiro, João Gaspar. 218-223 [doi]