Table of Contents

• From Software Engineering Education to Impactful Industry Research: A Blueprint for Impactful CollaborationAndrea Capiluppi. 5
• Human-Robot Teaming (HRT)Filippo Sanfilippo. 7
• Language-Based Software TestingAndreas Zeller. 9
• Quantum Low-Code Metamodel and Transformation PipelineDaniel Georg, Johanna Barzen, Fabian Bühler, Lavinia Stiliadou. 15-26 [doi]
• Barriers to Use: Perspectives on Environmental Research SoftwareYvette D. Hastings, Jeffrey C. Carver, Clemente Izurieta, Ann Marie Reinhold. 27-38 [doi]
• Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + GenerationArslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, Taining Wang, George K. Thiruvathukal, Konstantin Läufer, Mohammed Abuhamad. 39-50 [doi]
• A Study of Cursorrules Files in GitHub Open Source ProjectsShuang Sun, Jafar Akhoundali, Arina Kudriavtseva, Sengim Karayalcin, Olga Gadyatskaya. 51-62 [doi]
• Evidence-Gated Agentic Delivery: An Essence-Based Reference Model for Hybrid Human-Agent Software ProcessesRobin Nunkesser. 63-74 [doi]
• From Data Lifting to Risk Estimation: A Process-Aware Pipeline for Clinical Pathway MonitoringPasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Samuele Latorre. 75-84 [doi]
• Evaluating Bagging-Based Ensembles for Predicting Performance in Configurable Software SystemsTaha El Hihi, Ali Idri. 85-94 [doi]
• Exploring Persistent Configuration Decisions for Adaptive Data ProvisioningGiovanni Donato Gallo, Federico Bergamini, Marco Napolitano, Daniela Micucci. 95-106 [doi]
• Enhancing Code Quality through AI-Powered Metric-Driven Refactoring: A Multi-Model AnalysisTindwende Thierry Sawadogo, Fadel Touré. 109-116 [doi]
• Temporal Constrained Objects for Firewall ModelingAswathy M. S., Jinesh M. Kannimoola, Bharat Jayaraman. 117-124 [doi]
• A Certification-Oriented Cyber Range Based on a Digital TwinAhmed Bokri, Khaled Rahal, Arbia Riahi, Wim Mees. 125-132 [doi]
• Design of Secure Recovery Connectors for Asynchronous Message Communications in Distributed ApplicationsJuan Marcelo Gutierrez Carballo, Michael E. Shin, Hassan Gomaa. 133-140 [doi]
• A Stacked Regressor for the Prediction of the Number of Defects in Software ModulesRim El Jammal, Elissa Lichaa El Khoury, Leonardo Daou, Charbel Daoud, Jalal Joseph Possik, Danielle Azar. 141-148 [doi]
• A Study Based on Interviews about the Perceptions of Implementing Maturity Models Using Agile Initiatives in Public BodiesAlfredo Gabriel de Sousa Oliveira, Sandro Ronaldo Bezerra Oliveira. 149-156 [doi]
• Applying the SofIA Methodology to the Design of Gamified Visual Rehabilitation Tools for AMD Patients: A Multidisciplinary WorkS. Giuli-Bello, S. Pons-López, Maria Jose Bautista-Llamas, Nicolás Sánchez-Gómez, Julián Alberto García-García, María J. Escalona. 157-164 [doi]
• A Systematic Mapping-Based Support Instrument for Implementing the Ensuring Quality Capability Area in CMMI 3.0Larissa de Paula Serrão Garcia, Sandro Ronaldo Bezerra Oliveira. 165-172 [doi]
• Agentic AI Workflow: From Natural Language Requirements to Verifiable and Executable ModelsVladimir Estivill-Castro, René Hexel. 173-182 [doi]
• From Requirement Engineering Analysis to Real Implementations: The GOReM Methodology Case StudyAlfredo Cuzzocrea, Alfredo Garro. 183-191 [doi]
• Engineering Self-Adaptive and Autonomous Systems: A Critical Survey and an Adaptation-Assurance FrameworkKashif Manzer, Dipak Yadav, Muhammad Abdul Basit Ur Rahim. 192-202 [doi]
• Models, Prompts, and Code! A Semi-Formal State Machine Language for Multi-Paradigmatic Software DevelopmentOliver Engling, Felix Schwägerl, Thomas Buchmann. 203-210 [doi]
• Generalizability of Deep Learning Models for Java Code Clone DetectionThomas S. Heinze. 211-219 [doi]
• A Multi-Layer Empirical Validation Methodology for Security Protocols in Critical Communication SystemsBudi Erixson, Jochen Seitz. 220-227 [doi]
• Assessing the Efficacy of Claude in Understanding Hand-Sketched UML Use Case DiagramsMohamed El-Attar 0001, Yasser Khan, Mahmood Niazi, Sajjad Mahmood, Mohammad R. Alshayeb, Mousa Al-Kfairy. 228-235 [doi]
• Time-Series-Based Self-Healing Architecture for Incident Management in Infrastructure-as-CodeAli Ghamgosar, Florian Hofer 0001, Nabil El Ioini, Claus Pahl. 236-245 [doi]
• AI-Augmented Research Software Engineering: A Structured Experience Report from the Development of a Python PackageRobin Nunkesser. 246-253 [doi]
• Native Probes on Demand: Agent-Generated Reference Implementations for Layer-Bisection Debugging in Cross-Platform AppsRobin Nunkesser. 254-261 [doi]
• Towards Agentic Support for the Chaos Engineering of Cyber-Physical SystemsAbiola Paterne Chokki, Christophe Ponsard, Jean-François Daune. 262-269 [doi]
• Formalizing Model Selection in LLMOps: A Systematic UML-Based Process ModelMaria Chernigovskaya, Abdulrahman Nahhas, Christian Haertel, Christian Daase, Klaus Turowski. 270-277 [doi]
• Towards a Pattern Language for Green ComputingMartin Beisel, Benjamin Weder. 278-284 [doi]
• A Uniform and Privacy-Preserving Interface for the Clone Detector StoneDetectorWolfram Amme, Christopher Bärthel, Tim Bögel, Michael A. King, Thomas S. Heinze. 285-293 [doi]
• CodeEnhancer: An LLM-Assisted Framework for Automated Software MaintenanceShafiya Mubeen Umme, Muhammad Abdul Basit Ur Rahim. 294-301 [doi]
• From User Stories to Movement Features: A Requirements-Driven Approach to Pose-Based Dance Movement AnalysisSaid Daoudagh, Giacomo Ignesti, Davide Moroni, Laura Sebastiani, Paolo Paradisi. 302-309 [doi]
• Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACIFaiza Tahir, Ubaid Ullah, Eric Bodden. 315-326 [doi]
• Continuous Quality Assessment of Web Applications through Software ObservabilityBachar Rima, Anas Shatnawi, Abdelhak-Djamel Seriai. 327-338 [doi]
• Agentic AI for Self-Healing Microservices: An LLM-Orchestrated Framework for Autonomous Fault Detection and Remediation in Regulated Enterprise EnvironmentsKetankumar Savajiyani. 339-347 [doi]
• A Unified Framework for the Detection and Classification of Fatty Pancreas in Ultrasound ImagesIoan-Tudor-Alexandru Anghel, Ciprian-Mihai Ceausescu, Elena Dana Nedelcu, Elena Raluca Stirban, Camelia Croitoru, Despina Ungureanu, Gabriela Pop. 348-359 [doi]
• From Accuracy to Reliability: A Trust-Centric Machine Learning Framework for Safe Decision-MakingYusuf Surajo, Shuib Basri, Abdullateef Oluwagbemiga Balogun, Hussaini Mamman, Aliyu Garba. 360-368 [doi]
• TAE-MAGSAGE: Topology Aware Metric Learning for Graph Based Network Intrusion DetectionPoonam Bala Nehru, Yunpeng Zhang, Renjie Hu, Changqing Luo. 369-380 [doi]
• A Hybrid Machine Learning-LLM Intrusion Detection Framework with Semantic Log Enrichment for ATMS NetworksMuzamil Raheman Shaik, Yunpeng Zhang, Changqing Luo, Renjie Hu. 381-389 [doi]
• Compliance by Architecture: A Case Study in Regulatory-Driven SaaS Design for UK Children's Residential CareBranson Kouaya, Jagdev Bhogal. 390-400 [doi]
• A Data-Oriented Entity Component System Architecture for Real-Time Game Engines: The Blubber Engine Case StudyFadi Atwi, Mageda A. A. Sharafeddin. 403-410 [doi]
• A Security Taxonomy and Comparative Evaluation of Package Repository ArchitecturesArnaud Stoz. 411-418 [doi]
• Une: A Position on Declarative, Natural-Language-Oriented DSLs for IoT ProgrammingFrancisco Morero-Peyrona, Javier Jesus Gutiérrez Rodriguez, Nicolás Sánchez-Gómez. 419-425
• A Data Security Risk Management Framework for Medical Device Software AI Model Lifecycle: Alpha VersionBuddhika Jayaneththi, Fergal Mc Caffery, Gilbert Regan. 426-433 [doi]
• Exploring the Effect of Multiple Languages on Code Suggestion Using ChatGPT 5.2Jonathan José Cardoso de Sales, Sandro Ronaldo Bezerra Oliveira. 434-441 [doi]
• Designing a Serious Game to Support Socio-Emotional Skills Development in Children with Autism Spectrum Disorder: A Context-Aware Approach for SenegalAwa Diattara, Cheikh Abdoul Ahad Mbacke Diop. 442-449 [doi]
• From Runtime Reflection to Compile-Time Specialization: A Template-Based Approach to Runtime LibrariesTeodor-Stefan Dutu, Albert Guiman, Razvan Nitu, Constantin-Eduard Staniloiu. 450-461 [doi]
• A Comparative Study of LLMs and Human Judgment in UML Diagram EvaluationOlena Chebanyuk, Carles Sierra. 462-469 [doi]
• Architecture-Centric Code Migration for Legacy Industrial Systems Using LLMsAyush Luhar, Dev Trivedi, Vatsal Patel, Vijetha Kamath, Utkarsh Balu Lubal, Muhammad Abdul Basit Ur Rahim. 470-477 [doi]
• The Cost of Purity: Scalability Challenges in the Pure Operation-Based CRDT FrameworkLéo Olivier, Jim Bauwens, Marcos Didonet Del Fabro, Sébastien Gérard. 478-487 [doi]
• Hybrid Edge Monitoring and Dependable Alert Delivery for UAV-Assisted Cattle MonitoringAntonello Calabrò, Eda Marchetti. 488-495 [doi]
• Petri Net-Based Heuristic Scheduling for Improving the Efficiency of Reconfigurable Manufacturing SystemsSalah Hammedi, Haythem Chniti, Lotfi Nabli. 496-503 [doi]
• AURORA: Adaptive Crypto-Compliant qUantum-Ready Architecture for zerO-tRust dAta EcosystemsAntonello Calabrò, Eda Marchetti, Sanaz Nikghadam-Hojjati. 504-511 [doi]
• Studying Type System Usability in an Inexpensive and Replicable Way: A Repeated, Generated N-of-1 Trial on the Effect of (Nominal and Annotated) Static and Dynamic Types in Constructor CallsStefan Hanenberg, Stefan Gries 0001, Volker Gruhn. 512-523 [doi]
• Verifying Machine Learning Testability Requirements with ProvenanceLynn Vonderhaar, Tyler Thomas Procko, Omar Ochoa. 524-532 [doi]
• An AI-Driven Digital Twin Framework for Personalized COPD Treatment OptimizationHamid Mcheick, Pamela Achouh, Hassan Hajjdiab. 533-540 [doi]
• Kind of Quantity Analysis on a ShoestringSteve McKeever. 541-548 [doi]
• Modeling and Mitigating Physical Layer Jamming in Connected Vehicular NetworksKumoulica Allu, Yunpeng Zhang, Changqing Luo, Renjie Hu. 549-556 [doi]
• Don't Just Translate: Verify - LLM-Guided Solidity Migration with Semantic GuaranteesArnab Mukherjee, Soumyadip Bandyopadhyay, Raju Halder, Dominique Blouin. 557-564 [doi]
• Replication and Extension of FuseFL: Demystifying Faulty Code with LLM Step-by-Step Reasoning for Explainable Fault LocalizationBansi Patel, Nishi Shah, Muhammad Abdul Basit Ur Rahim. 565-572 [doi]
• Closed-Loop Control Structure for LLMsCésar Fernández, Maria Asunción Vicente. 573-580 [doi]
• Agentic AI for Scientific Visualization: Tool-Calling Pipelines for Automated Chart and Diagram Generation in Research WritingElisavet-Persefoni Kanidou, Apostolos Ampatzoglou. 581-588 [doi]
• Beyond the Black Box: Neuro-Symbolic Integration for Interpretable Video-Based Reinforcement LearningLorenzo Cardone, Giorgia Ghisolfo, Giorgio Mongardi, Stefano Quer, Giovanni Squillero. 593-604 [doi]
• Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph ProblemLorenzo Cardone, Stefano Quer. 605-616 [doi]
• Blockchain-Based Predictive Resource Sharing in NFV Environments with LSTM-Based Demand ForecastingKhaled Ahmed Gadouh, Hend Koubaa, Manel Boujelben. 619-626 [doi]
• TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank AdaptationEric Spencer, Arslan Bisharat, Brian Ortiz, Mujtaba Nazari, Khushboo Bhadauria, Taining Wang, George K. Thiruvathukal, Konstantin Läufer, Mohammed Abuhamad. 627-636 [doi]
• Benchmarking Classical, Transformer-Based, and RAG Approaches with LLMs for Automated Bug TriageMárk Lajkó, Balázs Nagy 0004, László Vidács. 637-644 [doi]