Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2026

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles

Authors
Faria, JP; Trigo, E; Honorato, V; Abreu, R;

Publication
CoRR

Abstract

2026

2026 Roadmap on Digitalising Materials Science

Authors
Rossi, K; Grasselli, F; Akagic, A; Friis, J; Loncaric, I; Pavloudis, T; Kioseoglou, J; Wasmer, J; Cangi, A; Blügel, S; Gracia, LA; Hernández Gascón, B; Hasecic, A; Heras-Domingo, J; Mercuri, F; Kuzmin, A; Bertoni, G; Rosi, P; Rotunno, E; Grillo, V; Kulaç, MCK; Koc, B; Anker, AS; Chang, JH; Vekeman, J; Verstraelen, T; Cobelli, M; Gilligan, LP; Sanvito, S; Baghaee Ravari, S; Zhang, L; Stricker, M; Schmidt, J; Calvani, D; Aligayev, A; Udofia, B; LAthiya, G; Domínguez-Gutiérrez, FJ; Gregório Ramos, PA; Oliveira, JM; Bonfanti, S; Mäkinen, T; Alava, M; Khomenko, D; Stosiek, M; Zhang, Y; Rinke, P; Todorovic, M; Mirza, A; Alampara, N; Kumar, S; Molinari, E; Ruini, A; Aneesh, A; Schilling-Wilhelmi, M; Rios-Garcia, M; Jablonka, KMM;

Publication
Journal of Physics: Materials

Abstract
Abstract Materials science is at the crossroad between fundamental and applied sciences. Whether enabling clean energy, next-generation computing, or advanced manufacturing, it shapes the tools we use and the systems we build. As our societies undergo rapid digital, environmental, and technological transitions, materials science becomes even more central. It's a space where innovation can respond to practical challenges while aligning with broader social values. In the European context, that means supporting sustainability, openness, and solidarity -while also strengthening competitiveness.This roadmap explores how digital tools-especially simulation, data science, and AI-are transforming materials research, in connection with the twin digital and energy transition. The digital transition refers to the widespread adoption of digital technologies and data-driven methods across sectors, while the green (or energy) transition focuses on shifting toward sustainable, lowcarbon energy systems-together forming what is often called the twin transition, a joint effort to make economies both smarter and more sustainable.The Roadmap outlines both the technical directions and the cultural shifts needed to make this transformation inclusive and effective. Chapters span from atomic-scale simulations to advanced experimentation, from reproducibility to intelligent optimization, and from institutional reform to education for the next generation.Importantly, this isn't a single viewpoint. The document brings together a wide range of voices: researchers from different disciplines, working across length and time scales. It includes early-career scientists and senior experts. Enabled by activities supported by European Cooperation in Science and Technology (COST), it reflects a commitment to gender and geographic diversity. This plurality doesn't just enrich the content-it makes the vision more robust and relevant.We hope this collection serves not just as a guide, but as an invitation to collaborate-across fields, sectors, and borders-as we reimagine the future of materials science in a digital age.

2026

Collaborating with Algorithms: AI for Collaborative Supply Chain Management

Authors
Couto, F; Malta, MC; Soares, AL;

Publication
HYBRID HUMAN-AI COLLABORATIVE NETWORKS, PRO-VE 2025, PT I

Abstract
Artificial Intelligence (AI) integration in supply chain systems is growing, and with it grows its potential impact on inter-organisational collaborative networks. We review existing literature on how different AI archetypes (Reflexive, Anticipatory, Supervisory, Prescriptive) could support Collaborative Supply Chain Management (CSCM) activities, and how they impact information sharing, collaborative decision-making, and trust among supply chain partners at different integration levels. Adopting a sociotechnical perspective, we synthesise existing literature and map the archetypes along four levels of AI integration, varying in scope and decision autonomy. The results are conceptual frameworks demonstrating how AI impacts collaboration dynamics as it evolves from a decision-support tool to an autonomous coordination agent. Findings show differentiated effects along archetypes and integration levels, with implications for CSCM governance, transparency, and resilience. We contribute to the discussion on human-AI collaboration in CSCM and offer a baseline for research on the human-centric values of Industry 5.0.

2026

A comprehensive analysis of in-vehicle communication protocols: Performance benchmarks and security considerations

Authors
Hussain, I; Serôdio, C; Branco, F; Valente, A; Reis, MJCS;

Publication
COMPUTERS & ELECTRICAL ENGINEERING

Abstract
This review examines the vehicle communication systems, its evaluation measures, security concern and impact of contemporary technology. By making electronic searches through different databases, 20 articles were identified to include in the study. Findings have demonstrated that more sophisticated protocols are being implemented, e.g., FlexRay and Dedicated Short-Range Communication (DSRC), though older protocols, e.g., Controller Area Network (CAN) and Local Interconnect Network (LIN), remain widespread. Additionally, the use of Ethernet-based systems in automotive communications is increasing. However, many of these protocols have substantial vulnerabilities, which pose significant security challenges. The findings suggest adopting enhanced communication and security measures supported by Artificial Intelligence (AI) and Machine Learning (ML) for future vehicles. Overall, this work systematically evaluates in-vehicle communication protocols and proposes methods for addressing contemporary security challenges in the automotive industry.

2026

Idiosyncrasies of Programmable Caching Engines

Authors
Peixoto, JP; González, A; Bhimani, J; Rangaswami, R; Brito, C; Paulo, J; Macedo, R;

Publication
CoRR

Abstract

2026

Journal research data policies in materials science

Authors
Hörmann, L; Myneni, H; Al-Hamd, RKS; Batalovic, K; Bonfanti, S; Grasselli, F; Grazulis, S; Koç, B; Konstantinou, K; Loncaric, I; Lopanitsyna, N; Oliveira, JM; Pegolo, P; Ramos, P; Rossi, K; Schwaminger, SP; Simmen, E; Todorovic, M; Stricker, M; Schmidt, J;

Publication
DIGITAL DISCOVERY

Abstract
Open and reproducible research in materials science relies on the availability of data, code, and established metadata standards. Journal research data policies (RDPs) are a primary mechanism by which these community norms are enforced. We survey RDPs for 171 materials science journals spanning 17 publishers, using an expanded coding framework that captures both data-and-code sharing behavior as well as refereeing standards. We find clear signs of progress in comparison to earlier research on RDPs: nearly all journals provide an RDP, and most mention data availability statements. However, enforceable requirements remain uncommon, public deposition of underlying data is rarely mandatory, and FAIR publication is typically encouraged rather than required. Expectations for research software are substantially less developed than those for data, with limited attention to versioning and persistent identifiers, dependency disclosure, reproducible execution environments, or software quality practices. Aggregating the findings on policy features into an open research data score reveals pronounced heterogeneity across journals. Neither impact factor nor access model reliably predicts policy strength. Double-coding further shows that more complex policies and stricter policies can be more challenging to interpret consistently, and we highlight challenges in consistent RDP encoding across studies. Lastly, we conclude with recommended best practice directions for the future.

  • 37
  • 4574