Conference Proceedings
The online volume of the short papers can be downloaded here:
CSCS2026_Proceedings.pdf
Table of Contents
| Preface | i | |
| Contents | ii | |
| Program | iv | |
| Plenary talks | 1 | |
| Gergely Ambrus | Extreme Tales on Unit Distances | 1 |
| Zsolt Gazdag | Context Matters: How Context Sensitivity Enhances Computational Power in Membrane Systems | 2 |
| Róbert Trényi | Iterative Optimization in Quantum Metrology and Entanglement Theory Using Semidefinite Programming | 3 |
| Short papers | 4 | |
| Aleksandr Samedov and Tamás Kozsik | Experiments on the Energy Efficiency of Static Analysis | 4 |
| Abbas Alharan, István Kósa, Brigitta Szálka and István Vassányi | Mining dietary harmony rules from user logs for automated meal plan generation | 8 |
| Szolnoki Norbert Sándor and Gábor Antal | Fine-Tuning CodeBERT-Java for Method-Level Bug Detection on Defects4J | 12 |
| Nándor Ákos Vincze and Balázs Bánhelyi | Reliable Parking Trajectory Prediction with Verifiable Neural Networks | 16 |
| Zahra Delavari | AI Agent-based Approach for Enhancing Urban Mobility Applications | 20 |
| Balázs Ádám Toldi, András Földvári, András Pataricza and Zsigmond Pap | Deterministic Diagnostics for Highly Configurable 5G Networks Using Inductive Learning | 25 |
| Vivien Vörös, Gábor Antal and Péter Hegedűs | Comparing Large Language Models for Automated Vulnerability Repair under a Fixed Prompting Strategy | 29 |
| Moenes Benaissa and László József Kovács | Taxonomy and Optimization of Kolmogorov-Arnold Networks vs. Multi-Layer Perceptrons for Explainable AI | 34 |
| Hiba Adil Al-Kharsan and Robert Rajkó | Diffusion-Based Feature Denoising with NNMF for Robust handwritten digit multi-class classification | 38 |
| Krisztián Pomázi and Bertalan Forstner | Meteorology-Driven Live Fuel Moisture Content Estimation at Global Scale: A Machine Learning Empirical Study Without Satellite Imagery | 42 |
| István Kolláth and Gábor Antal | Evaluating LLMs for SAST Warning Repair: An Empirical Study on VUL4J | 47 |
| Ádám Domonkos and Péter Ekler | Passive Detection of Forward Error Correction Schemes from Network Traffic | 51 |
| Viktor Vad and Gábor Valasek | Point-Curve Minimal Distance via Higher Order Taylor Estimation of Footpoint Mapping | 55 |
| Hanan Namrouti, Cecília Sik-Lányi and Tibor Guzsvinecz | Cross-Cultural Color Fidelity and Realism: A Comparative Perceptual Study across Real, Unreal Engine, and Unity Lighting Environments | 59 |
| Noel Nagy and Kálmán Palágyi | Fully Parallel 3D Curve-Thinning on the FCC grid with Endpoint Re-Checking | 64 |
| Gergő Papp, Emil Világos, Krisztián Szekeres and Ellák Somfai | Athlete Tracking and Identification in Water Polo | 68 |
| Anna Lili Horváth, Gábor Valasek and Csongor Csanád Karikó | Spline Proxies for Planar Level Set Distance Computations | 72 |
| Ádám Brand and Attila Magyar | Fuzzy Rule-Based Smart Street Lighting for Energy-Efficient Urban Illumination | 76 |
| Etele Balogh and András Kicsi | Prediction of 90-day mRS values of stroke patients based on textual care documentation | 80 |
| Róbert Nagy | Implementation and computational verification of digital signal processing pipelines for temporal light artifact measurements | 84 |
| László Gyarmati | Optimal Object Arrangements for Star Graph Comparison Structures in the Bradley-Terry model | 88 |
| Dávid Maliga and Levente Buttyan | Design and analysis of incremental clustering algorithms for large dynamic similarity graphs | 92 |
| Péter Hajnal, Edit Pengő and István Siket | Technical Challenges in Java Symbolic Execution: Control Flow Graphs and Exception Handling Dynamics | 96 |
| Dániel Kovács and Milán Mondok | Reusing Intermediate Model Checking Results With Implicit Abstraction | 100 |
| Csaba Nagy, Andrea Huszti and Norbert Oláh | Blockchain-based RAG Architecture for Vulnerability Assessment | 105 |
| József Sándor, Bence Kovács and Levente Buttyán | Towards Automated Generation of Adversarial Malware Samples with a Genetic Algorithm | 109 |
| Yusufbek Sulaymonov and Veronika Szűcs | Keystroke-Based Behavioral Liveness Detection for Adaptive Multi-Factor Authentication | 113 |
| Sami Abdel-Fattah and Judit Jász | Enhancing LLM-Based Vulnerability Analysis Using Runtime-Aware Context: An Empirical Study on the Vul4J Dataset | 124 |
| Yusufbek Sulaymonov and Veronika Szűcs | A Multi-Criteria Scoring Model for Evaluating and Selecting Multi-Factor Authentication Mechanisms | 128 |
| Roland Kotroczó and János Márk Szalai-Gindl | Data Ordering for Split-Based Mtree-Construction | 140 |
| Bálint Tóth and Zoltán Juhász | A High-Performance GPU-accelerated Parallel 2D Multigrid Poisson Solver | 144 |
| Bertalan Kovács, Botond Bertók and Márton Frits | Hybrid bitset-based data types for optimizing runtimes of set operations | 148 |
| Zoltán Kégli, Tamás Kozsik and Péter Rakyta | Bounded Exact Channel-Native Fusion of Local Noisy Motifs in Density-Matrix Simulation | 152 |
| Pál Mihály | From Centralized to Distributed Digital Twins: A Review | 157 |
| List of Authors | 161 | |