SAC_2025: THE 40TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING

A
Abdellatif, Ahmad	A Machine Learning-Based Approach For Detecting Malicious PyPI Packages
Abella, Jaume	On the Time Predictability of AXI4 Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Abualsaud, Razan	An AI-augmented Framework for Automated and Intelligent Process Monitoring
Adu-Duodu, Kwabena	A Circular Construction Product Ontology for End-of-Life Decision-Making
Afzal, Samira	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Agnelli, Francesco	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Aguilar-Ruiz, Jesús S.	Tree-based biclustering of genomic time series
Aguzzi, Gianluca	Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
Ahmadian, Amir Shayan	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Ahn, Seokho	Topic-Aware Knowledge Graph with Large Language Models for Interoperability in Recommender Systems UKTA: Unified Korean Text Analyzer
Ahn, Sunghyun	Advanced Knowledge Transfer: Refined Feature Distillation for Zero-Shot Quantization in Edge Computing
Ahn, Tae Min	Speed-up of Data Analysis with Kernel Trick in Encrypted Domain
Ajmal, Mahnoor	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Akbar, Muhammad Azeem	Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
Al-Maamari, Mohammed	Mixture of Modular Experts: Distilling Knowledge from a Multilingual Teacher into Specialized Modular Language Models
Albuquerque, Danyllo	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Alfalou, Ayman	Exploration and Active Recognition Strategy using Meta-MDP
Ali, Sarwan	Sequence-to-Image Transformation for Sequence Classification Using Rips Complex Construction and Chaos Game Representation
Ali, Shahzad	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling
Ali Ahmad, Muhammad Tanveer	A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables
Alkobaisi, Shayma	A Retrieval-Augmented Framework For Meeting Insight Extraction
Allegrini, Edoardo	Deciphering Social Behaviour: a Novel Biological Approach For Social Users Classification
Allignol, Cyril	BiCoq : Bigraphs Formalisation with Coq
Almeida, Andre	Pursuing Interoperability in Digital Twins: An Analysis of the Current Research Landscape
Almeida, Camila	Advances in Requirements Engineering for Well-Being, Aging, and Health: A Systematic Mapping Study
Almeida, Eduardo	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Almeida, Hyggo	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Almeida, Tiago	Collaborative filtering through weighted similarities of user and item embeddings
Alrubaye, Hussein	MigrationMapper: Fine-Grained Detection of Third-Party Java Library Migration
Alsagheer, Dana	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Alsanousi, Bassam	Mobile App Quality Assessment: Leveraging LLM-Driven Data Augmentation for Enhanced User Reviews Analysis
Altarrazi, Sultan	Automating Data Quality Monitoring for Environmental Air Quality System
Alves, André	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Alves Almeida, Matheus	Exploiting Fuzzy Controllers for Adapting Messaging Systems
Amerini, Irene	HCN-TA: Hierarchical Capsule Network with Temporal Attention for a Generalizable Approach to Audio Deepfake Detection
Amorim, Annie	Language Flavors in the Lusophone World: A BERT-Based Social Media Study of Portuguese in Brazil, Portugal, and Mozambique
An, Haill	A Lightweight and Accurate Localization Model for Anatomical Landmark in Medical Imaging Using Depth-Wise Separable Convolution
An, Jae Hoon	Scalable Orchestration Design for Mixed-Critical Task Scheduling in SDI-based Mobility Systems
An, Seongmo	Efficient Kernel Source Code Management for BMC Optimization
Andersen, Julia	EdgeMiner: Distributed Process Mining at the Data Sources
Andrade, Joao	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Andreu Villar, Mario	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Andriotis, Panagiotis	An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack
André, Étienne	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Antonelli, Fabio	Soilcast: a Multitask Encoder-Decoder AI Model for Precision Agriculture
Appice, Annalisa	GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Ara, Tarannum	LonelyTracker: An IoT Solution with Multimodal Data and Split Computing for Secure Loneliness Detection
Araya, Roberto	Beyond Text-to-Text: An Overview of Multimodal and Generative Artificial Intelligence for Education Using Topic Modeling
Arceri, Vincenzo	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Archibald, Blair	BiCoq : Bigraphs Formalisation with Coq
Arias, Cristian Millan	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Arjona Aroca, Jordi	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Aspinall, David	Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
Assis, Gabriel	Language Flavors in the Lusophone World: A BERT-Based Social Media Study of Portuguese in Brazil, Portugal, and Mozambique
Aus, Kati	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Awad, Hiba	VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
Ayalew, Yirsaw	Requirements Traceability: A Systematic Literature Review
Azad, Nasreen	A qualitative study for understanding professionals' perspectives of Quantum Business
Azevedo, Gregorio	Collaborative filtering through weighted similarities of user and item embeddings
Azevedo, Roger	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
B
Babatunde, Ibukun David	Moderating Large Scale Online Deliberative Processes with Large Language Models (LLMs): Enhancing Collective Decision-Making.
Bachlechner, Daniel	Bringing the Digital Product Passport to Life: Requirements Analysis for a Carbon Footprint Tracking System using Knowledge Graphs and Data Spaces
Badran, Kawthar	Relay Memory Analysis via Constraint Satisfaction Modeling for Malware Detection in the Electrical Power Grid
Bae, Jonghyun	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree
Bae, Wan D.	A Retrieval-Augmented Framework For Meeting Insight Extraction
Bagchi, Saurabh	Detection of Device Triggerable Vulnerabilities in Android Companion Apps through Interactive Triaging
Bahrainian, Seyed Ali	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Bahri, Maroua	ASML-REG: Automated Machine Learning for Data Stream Regression
Bai, Shuhan	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Bamdad Mehrabani, Behzad	Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Banerjee, Avik	Towards Solidity Smart Contract Efficiency Optimization through Code Mining
Banerjee, Debanjali	Information Flow in Deep Learning Classification Networks
Baptista, Cláudio	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Barati, Masoud	A Circular Construction Product Ontology for End-of-Life Decision-Making
Basgalupp, Márcio	Network-based instance hardness measures for classification problems Data Balancing for Mitigating Sampling Bias in Machine Learning
Bassi, Barry	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Bastos-Filho, Carmelo	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Batista, Thais	Pursuing Interoperability in Digital Twins: An Analysis of the Current Research Landscape
Baumgart, Ingmar	Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard
Baunach, Marcel	A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness
Beilschmidt, Christian	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Belardinelli, Francesco	Explainable Reinforcement Learning for Formula One Race Strategy
Belova, Anastasiia	Bringing the Digital Product Passport to Life: Requirements Analysis for a Carbon Footprint Tracking System using Knowledge Graphs and Data Spaces
Ben Amor, Mehdi	MemBERT: Foundation model for memory forensics Mixture of Modular Experts: Distilling Knowledge from a Multilingual Teacher into Specialized Modular Language Models
Ben Dhiab, Ayoub	Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
Ben Yahia, Sadok	Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Bensrhair, Abdelaziz	Mamba-PKD: A Framework for Efficient and Scalable Model Compression in Image Classification
Bernabeu Aubán, José Manuel	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Bever, Markus	Leveraging BRSKI to Protect the Hardware Supply Chain of Operational Technology: Opportunities and Challenges
Beyvers, Sebastian	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Bezema, Menno	BISCUID: On the Feasibility of Identifying Scouting Drones Based on their Flying Behavior
Bhuvaji, Sartaj	A Retrieval-Augmented Framework For Meeting Insight Extraction
Bian, Xingchao	Detecting Cache-based Side-Channel Attacks by Leveraging Mesh Interconnect Traffic Monitoring
Bifet, Albert	ASML-REG: Automated Machine Learning for Data Stream Regression
Bigonha, Mariza	Detecting Co-change Using Categorized Commit Data
Bistarelli, Stefano	Controlling VC disclosure with Terms of Use and ABAC in SSI
Blandano, Giorgio	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Boi, Biagio	On exploiting LLMs and Statistical Methods for testing Contractual Clarity
Bombarda, Andrea	A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring
Bompotas, Agorakis	Triangle Counting in Large Historical Graphs
Bono, Carlo Alberto	Enhancing User Experience with Topic-Based Message Retrieval in Telegram
Bornholdt, Heiko	A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge
Borole, Piyush	MHCRule - Rule-based Model for Interpretable MHC Class I Binding Prediction
Bouacida, Nader	Identity-Focused Inference and Extraction Attacks on Diffusion Models
Boukhers, Zeyd	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Boukhobza, Jalil	Multicriteria File-Level Placement Policy for HPC Storage
Bouloukakis, Georgios	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Braga, Rui	Towards Adaptive Transactional Consistency for Georeplicated Datastores
Braun, Torsten	Data-Driven Orchestration for Distributed RAN Intelligent Controller Placement in 6G Networks Deep Reinforcement Learning for Context-Aware Online Service Function Chain Deployment and Migration over 6G Networks
Brecher, Christian	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Breslin, John	RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Breuillard, Hugo	Features Leverage in Graph Models for Mineral ProspectivityMapping
Brighente, Alessandro	Strangers Sets: Preserving Drones' Location Privacy while Avoiding Violations of Critical Infrastructures BISCUID: On the Feasibility of Identifying Scouting Drones Based on their Flying Behavior
Bromuri, Stefano	Enhancing Room Occupancy Inference from Sparse PIR Sensor Data Using Transformer Models
Brossard, Jonathan	Automatic Functions Annotations through Concrete Procedural Debugging and ELF Libification
Brumley, Billy	U Can Touch This! Microarchitectural Timing Attacks via Machine Clears
Bruneliere, Hugo	VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
Brunner, Annelen	ChatGPT, what is a ‘Glasanwalt’? - Linguistic strategies in a large language model’s interpretation of novel compounds
Bui, Duong	NISQ Quantum Algorithm for K-Means Clustering
Buitelaar, Paul	RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Bulut, Okan	Fine-Tuning GPT-3.5-Turbo for Automatic Feedback Generation
Burger, Jacopo	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Buriro, Attaullah	Balancing the Scales: Using GANs and Class Balance for Superior Malware Detection
Béchennec, Jean-Luc	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
C
C. Cavalcanti, George D.	Univariate vs multivariate prediction for containerised applications auto-scaling: a comparative study
Cabrio, Elena	Assessing Argument-based Natural Language Explanations in Medical Text FALCON: A multi-label graph-based dataset for fallacy classification in the COVID-19 infodemic
Caggiano, Ilaria Amelia	On exploiting LLMs and Statistical Methods for testing Contractual Clarity
Cambria, Erik	Self-explanatory and Retrieval-augmented LLMs for Financial Sentiment Analysis
Camelin, François	Sampling Frequent and Diversified Patterns Through Compression
Capra, Lorenzo	Modelling Dependable Systems with Modular Rewritable Stochastic Petri Nets
Carlini, Emanuele	A Decentralized Strategy for Unweighted Minimum Vertex Cover
Carretero, Jesus	Xook-Flow: an abstract communication channel model for the data exchange in computing continuum
Carrizales-Espinoza, Diana	Xook-Flow: an abstract communication channel model for the data exchange in computing continuum
Carvalhais, Yuri	Detecting Co-change Using Categorized Commit Data
Casadio, Marco	Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
Casola, Valentina	N-Pixels: a Novel Grey-Box Adversarial Attack for Fooling Convolutional Neural Networks
Castro, Jaelson	NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Cavalcante, Everton	Pursuing Interoperability in Digital Twins: An Analysis of the Current Research Landscape
Cazorla, Francisco J.	On the Time Predictability of AXI4 Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Cerqueira, Eduardo	Multiple Policy Approach for Efficient Resource Allocation in SDM-EONs
Cha, Junyeop	Advancing Chronic Disease Prediction with Your First-Visit: Ensemble and Deep Learning Models
Champa, Arifa Islam	Claim vs. Capability: A Comparative Analysis of the SBOM Generation Tools for Rust Projects
Chan, Abraham	D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles
Chaochao, Wang	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Chattopadhyay, Sudipta	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Chaves, Mariana	FALCON: A multi-label graph-based dataset for fallacy classification in the COVID-19 infodemic
Chen, Aiming	Deep Generative Calibration on Stochastic Volatility Models with Applications in FX Barrier Options
Chen, Bingxiang	Integrating Access Control with Retrieval-Augmented Generation: A Proof of Concept for Managing Sensitive Patient Profiles
Chen, Shuo-Han	Harnessing Sub-blocks Erase of NAND flash for Secure Deletion Performance Enhancement on CPS
Chen, Yang	Energy-Aware Vision Model Partitioning for Edge AI
Cheon, Myeongin	lwFSCK: Light-weight Filesystem Check
Chiba, Shigeru	A Two-stage Approach for Structurally-similar Cross-language Code-pair Detection
Cho, Hyeonmyeong	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Cho, Hyun Ki	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Cho, Hyungmin	Detecting Cache-based Side-Channel Attacks by Leveraging Mesh Interconnect Traffic Monitoring
Choi, Chang	An Attention-based Dual Stream Network for Efficient Electricity Price Forecasting Robustly Optimized Multimedia Local and Global Context Analysis at Multi-modal Balance
Choi, Hyeongjun	GAN or DM? In-depth Analysis and Evaluation of AI-generated Face Data for Generalizable Deepfake Detection
Choi, Yong Suk	Bounded Editing: Multi-Object Image Manipulation with Region-Specific Control FEFM: Feature Extraction and Fusion Module for Enhanced Time Series Anomaly Detection TAECE : T2I-Adapter with Enhanced Color Expression for Improving Conditional Text-to-Image Generation Capabilities
Choi, Yoon-Ho	A2SC: Adaptive Speed and Sensorless Control System for Motor Controllers based on Deep-RL Automated Cybersecurity Risk Assessment and Visualization Framework for Resilient Cloud IT Asset Management GUARD: Generic API De-obfuscation and Obfuscated Malware Unpacking with sIAT
Chouhan, Prachitee	A Retrieval-Augmented Framework For Meeting Insight Extraction
Chouquet, Jules	A Mechanized Formalization of an FRP Language with Effects
Christopoulos, Konstantinos	Triangle Counting in Large Historical Graphs
Chu, Henry	Information Flow in Deep Learning Classification Networks
Chun, Jung Hyun	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Cirillo, Franco	Efficient PUF-Based IoT Authentication Framework without Fuzzy Extractor
Coelho, Fábio André	Towards Adaptive Transactional Consistency for Georeplicated Datastores
Colombo, Samuele	JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
Condori Fernández, Nelly	SimRE: A Requirements Similarity Tool for Software Product Lines
Conti, Mauro	Strangers Sets: Preserving Drones' Location Privacy while Avoiding Violations of Critical Infrastructures BISCUID: On the Feasibility of Identifying Scouting Drones Based on their Flying Behavior MoRSE: Bridging the Gap in Cybersecurity Expertise with Retrieval Augmented Generation Attacking Anonymity Set in Tornado Cash via Wallet Fingerprints
Cordoba, Francisco	Student Research Abstract: Subculture-Driven Speculation: Meme pump dot fun metric on the Solana Blockchain
Corradini, Flavio	Looseness for Choreography-based Software Architectures on Blockchain
Cortesi, Agostino	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Cossentino, Massimo	Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models
Costa, Diego Elias	A Machine Learning-Based Approach For Detecting Malicious PyPI Packages
Cosuti, Luca	BISCUID: On the Feasibility of Identifying Scouting Drones Based on their Flying Behavior
Coyle, Matthew	Towards Enforcing Structural OCL Constraints using Constraint Programming
Crestani, Fabio	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Cunha, Felipe	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Cunha, Mariana	On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
Cunha, Mateus	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Curi, Mariana	A DIF-Driven Threshold Tuning Method for Improving Group Fairness
D
D'Amico, Simone	Enhancing user reliability using a contextual-based approach on heterogeneous graph Taxonomy Expansion through Collaborative LLM Mapping JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
D'Angelo, Gabriele	Incentivizing Crowdsensing in IoT through Micropayments: an Architecture and Simulation Study
Da Rocha, Luiz	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Da Silva, Anderson Andrei	FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Dabrowski, Frédéric	A Mechanized Formalization of an FRP Language with Effects
Dahlmanns, Markus	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Dai, Feng	A Two-stage Approach for Structurally-similar Cross-language Code-pair Detection
Dalal, Dhairya	RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Damiani, Ernesto	Supervised Ensemble-based Causal DAG Selection
Daniel, Erik	Improving Kademlia Lookup Privacy through Query Obfuscation
Dao, Thi Bich Hanh	Features Leverage in Graph Models for Mineral ProspectivityMapping
Darif, Ikram	UTL: A Unified Language for Requirements Templates
Das, Aditya Aryaman	HyPoPE: A Hybrid Proof of Participation and Efficiency Protocol for Secure IoT Blockchain Networks
Daskalakis, Evaggelos	Triangle Counting in Large Historical Graphs
Dazzi, Patrizio	A Decentralized Strategy for Unweighted Minimum Vertex Cover
de Andrade Lopes, Alneu	One-mode Projection of Bipartite Graphs for Text Classification using Graph Neural Networks A DIF-Driven Threshold Tuning Method for Improving Group Fairness
de Montjoye, Yves-Alexandre	On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
de Oliveira, Daniel	Language Flavors in the Lusophone World: A BERT-Based Social Media Study of Portuguese in Brazil, Portugal, and Mozambique
De Santo, Alessia	Taxonomy Expansion through Collaborative LLM Mapping
Deepak, Akshay	Leveraging C++20 Concepts for Fast and Feature-Rich IO
Degeler, Victoria	Contrasting Global and Local Representations for Human Activity Recognition using Graph Neural Networks
Della Torca, Salvatore	N-Pixels: a Novel Grey-Box Adversarial Attack for Fooling Convolutional Neural Networks
Delnevo, Giovanni	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Demicco, David	Leveraging C++20 Concepts for Fast and Feature-Rich IO
Demétrius Baria Valejo, Alan	One-mode Projection of Bipartite Graphs for Text Classification using Graph Neural Networks
Deniel, Philippe	Multicriteria File-Level Placement Policy for HPC Storage
Deshmukh, Jyotirmoy	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Di Maio, Antonio	Data-Driven Orchestration for Distributed RAN Intelligent Controller Placement in 6G Networks Deep Reinforcement Learning for Context-Aware Online Service Function Chain Deployment and Migration over 6G Networks
Di Napoli, Claudia	Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models
Di Paolo, Edoardo	Deciphering Social Behaviour: a Novel Biological Approach For Social Users Classification
Dimovski, Aleksandar S.	Weakest Safe Context Synthesis by Symbolic Game Semantics and Logical Abduction
Ding, Aaron Yi	Energy-Aware Vision Model Partitioning for Edge AI
Dinu, Irina	GSHAPA: Gene Set Analysis for Single-Cell RNAseq Using Random Forest and SHAP Values
Do, Hyunsook	Mobile App Quality Assessment: Leveraging LLM-Driven Data Augmentation for Enhanced User Reviews Analysis
Domini, Davide	Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
Dorfinger, Peter	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Dorfmeister, Daniel	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Dose, Yuma	A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories
Drossos, Thanos	Automated Market Makers: Toward More Profitable Liquidity Provisioning Strategies
Drönner, Johannes	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Du, Mingzhe	Curriculum Demonstration Selection for In-Context Learning
Dupuis, Yohan	Deep Reinforcement Learning of Simulated Students Multimodal Mobility Behavior: Application to the City of Toulouse
E
Edinger, Janick	A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge
Ehira, Tomoyuki	Distributed Tracing for Cascading Changes of Objects in the Kubernetes Control Plane
Ehl, Marco	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Eibensteiner, Florian	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
El Boussaidi, Ghizlane	UTL: A Unified Language for Requirements Templates
El Khalfi, Zeineb	Deep Reinforcement Learning of Simulated Students Multimodal Mobility Behavior: Application to the City of Toulouse
Elmahallawy, Mohamed	Predicting Battery Levels of Sensor Nodes Using Reinforcement Learning in Harsh Underground Mining Environments
Elsofi, Duaa Adel Ali	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Enembreck, Fabrício	Efficient Instance Selection in Tree-Based Models for Data Streams Classification
Esposito, Christian	On exploiting LLMs and Statistical Methods for testing Contractual Clarity Efficient PUF-Based IoT Authentication Framework without Fuzzy Extractor
F
Fabresse, Luc	Communication Isolation For Multi-Robot Systems Using ROS2
Facchi, Giuseppe	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Faria, Fabio	Hybrid Flow Shop Scheduling through Reinforcement Learning: A systematic literature review
Faucou, Sébastien	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Fellicious, Christofer	MemBERT: Foundation model for memory forensics
Fernandes, Bruno	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Fernandez, Leon	Measuring the Impact of Fuzzing Activity in Networking Software
Ferrara, Pietro	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Ferrarotti, Flavio	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Ferreira, Kecia	Detecting Co-change Using Categorized Commit Data
Ferreira, Mívian	Detecting Co-change Using Categorized Commit Data
Ferreira, Oseias	Hybrid Flow Shop Scheduling through Reinforcement Learning: A systematic literature review
Ferretti, Stefano	Incentivizing Crowdsensing in IoT through Micropayments: an Architecture and Simulation Study
Fey, Marcel	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Fiameni, Giuseppe	GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Fidalgo, Robson	Enhancing Brazilian Portuguese Augmentative and Alternative Communication with Card Prediction and Colourful Semantics
Figueiredo, Gustavo	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Fischer, Bernhard	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Fischer, Mathias	A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge Unlinkable Data Sharing with Dynamic Access Control
Flood, Robert	Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
Franco, Mirko	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Frasincar, Flavius	SC-Block++: A Blocking Algorithm Based on Adaptive Flood Regularization An Unsupervised Approach for Aspect-Based Sentiment Classification Using Attentional Neural Models
Freire, Agostinho	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Freire, Sávio	Advances in Requirements Engineering for Well-Being, Aging, and Health: A Systematic Mapping Study
Frimpong, Samuel	Predicting Battery Levels of Sensor Nodes Using Reinforcement Learning in Harsh Underground Mining Environments
Frota, Lucyanno	A Semantic Mapping Framework for Service Robots
G
Gabbrielli, Maurizio	Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs
Gaboury, Sébastien	Sanity Checks in Smart Home Sensor Streams
Gadyatskaya, Olga	My Code Is Less Secure with Gen AI: Surveying Developers’ Perceptions of the Impact of Code Generation Tools on Security
Gaggi, Ombretta	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Gallina, Viola	Bringing the Digital Product Passport to Life: Requirements Analysis for a Carbon Footprint Tracking System using Knowledge Graphs and Data Spaces
Gama, João	Online Learning from Capricious Data streams with Flexible Hoeffding Tree Efficient Instance Selection in Tree-Based Models for Data Streams Classification
Gandois, Alvin	Exploration and Active Recognition Strategy using Meta-MDP
Gangwal, Ankit	Swiss Cheese CAPTCHA: A Novel Multi-barrier Mechanism for Bot Detection Attacking Anonymity Set in Tornado Cash via Wallet Fingerprints
Garcia Valdez, Mario	Energy consumption of evolutionary algorithms implemented in low-level languages
Garcia-Alfaro, Joaquin	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Garstenauer, Johannes	MemBERT: Foundation model for memory forensics
Gatt, Lucilla	On exploiting LLMs and Statistical Methods for testing Contractual Clarity
Gatto, Salvatore	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Geisler, Sandra	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Georgiou, Yiannis	FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Ghezzi, Omar	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Giallorenzo, Saverio	Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation
Gianini, Gabriele	Supervised Ensemble-based Causal DAG Selection
Giordana, Gabriele	Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Giovanoudi, Eleni	RepAs: Iterative Refinement for Predicting Polyadenylation Site Usage
Giraldez, Raul	Tree-based biclustering of genomic time series
Glombiewski, Nikolaus	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Go, Ganghee	UKTA: Unified Korean Text Analyzer
Gonzalez, Roberto	Privacy-Preserving Data Obfuscation for Credit Scoring
Gonzalez-Compean, Jose L.	Xook-Flow: an abstract communication channel model for the data exchange in computing continuum
Gonçalves, Diego	Detecting Co-change Using Categorized Commit Data
Gopalakrishnan, Sathish	D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles
Goretti, Francesco	Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation
Gorgônio, Kyller	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Gorzny, Jan	Poster: Decentralized Finance Withdrawal Delays
Gougeaud, Sébastien	Multicriteria File-Level Placement Policy for HPC Storage
Gouguet, Adam	Communication Isolation For Multi-Robot Systems Using ROS2
Gramaglia, Marco	Privacy-Preserving Data Obfuscation for Credit Scoring
Granitzer, Michael	MemBERT: Foundation model for memory forensics Mixture of Modular Experts: Distilling Knowledge from a Multilingual Teacher into Specialized Modular Language Models
Grazieschi, Paolo	Soilcast: a Multitask Encoder-Decoder AI Model for Precision Agriculture
Grechanik, Mark	Creating Scala-Embedded Domain-Specific Languages
Gross, Dennis	PCTL Model Checking for Temporal RL Policy Safety Explanations
Großer, Katharina	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Gujarati, Arpan	D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles
Gunasekara, Sachini	Quantitative Assessment of Explainability in Machine Learning Models : A Study on the OULA Dataset
Gwag, Hyebin	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Gwozdz, Jonas	Improving Natural Product Knowledge Extraction from Academic Literature with Enhanced PDF Text Extraction and Large Language Models
H
H. Hammadeh, Zain A.	Efficient Scheduling of Weakly-Hard Real-Time Tasks with Sufficient Schedulability Condition
Ha, Quang-Thuy	An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack
Ha The, Viet	Improving Anomaly Detection for Electric Vehicle Charging with Generative Adversarial Networks
Hadachi, Amnir	Mamba-PKD: A Framework for Efficient and Scalable Model Compression in Image Classification Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Hallé, Sylvain	Sanity Checks in Smart Home Sensor Streams
Halunen, Kimmo	NISQ Quantum Algorithm for K-Means Clustering
Ham, Tae Jun	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree
Hamza Akhtar, Muhammad	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Han, Jimyeong	MELA: Multi-Event Localization Answering Framework for Video Question Answering
Han, Kyungsik	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Hara, Takahiro	A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories
Harms, Laura	SeismicSense: Phase Picking of Seismic Events with Embedded Machine Learning
Hartman, Jonathan	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Haruta, Shuichiro	A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories
Hasheminezhad, Elham	Data-Driven Orchestration for Distributed RAN Intelligent Controller Placement in 6G Networks
Hassan, Mohamed	On the Time Predictability of AXI4
Hassani, Marwan	Leveraging Contrastive Learning and Spatial Encoding for Prediction in Traffic Networks with Expanding Infrastructure
Havas, Clemens	Spatial Information Integration in Small Language Models for Document Layout Generation and Classification
Hebert, Thomas	Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
Heilala, Ville	Beyond Text-to-Text: An Overview of Multimodal and Generative Artificial Intelligence for Education Using Topic Modeling The Use of Generative Artificial Intelligence for Upper Secondary Mathematics Education Through the Lens of Technology Acceptance
Heinl, Michael P.	Leveraging BRSKI to Protect the Hardware Supply Chain of Operational Technology: Opportunities and Challenges
Hemati Moghadam, Iman	Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair
Heo, Jiwon	Speed-up of Data Analysis with Kernel Trick in Encrypted Domain
Heo, Junyoung	Efficient Kernel Source Code Management for BMC Optimization
Herrmann, Marc	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Herruzo-Lodeiro, Cristina	Bioinspired evolutionary metaheuristic based on COVID spread for discovering numerical association rules
Hirata, Nina	Knowledge Distillation for Reduced Footprint Semantic Segmentation with the U-Net
Hoang, Nhat	Curriculum Demonstration Selection for In-Context Learning
Hollick, Matthias	Anomaly Detection and Mitigation for Electric Vehicle Charging-Based Attacks on the Power Grid
Honeine, Paul	Mamba-PKD: A Framework for Efficient and Scalable Model Compression in Image Classification
Hong, Ding-Yong	Optimizing Compute Core Assignment for Dynamic Batch Inference in AI Inference Accelerator
Hong, Inpyo	Advanced Knowledge Transfer: Refined Feature Distillation for Zero-Shot Quantization in Edge Computing
Hong, Jiman	Efficient Kernel Source Code Management for BMC Optimization Optimized Model Selection for Wind Farm Power Forecasting using Dynamic Time Warping
Hooshyar, Danial	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Horchulhack, Pedro	An Early Exit Deep Neural Network for Fast Inference Intrusion Detection
Hotak, Nisar Ahmad	My Code Is Less Secure with Gen AI: Surveying Developers’ Perceptions of the Impact of Code Generation Tools on Security
Hsu, Chih-Kai	Strengthening Application Security through Integrity Protection of System Call Usage
Huang, An	DDSNet: A Lightweight Dense Depthwise Separable Network for Tumor Classification
Huang, Shou-Hsuan Stephen	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Huang, Yun	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Hudin, Charles	Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
Hung, Shih-Hao	Unsupervised Training Framework for 3D Point Cloud Object Detection Mode
Hunt, Edmund R.	Lightweight Decentralized Neural Network-Based Strategies for Multi-Robot Patrolling
Hur, Minseok	From RAG to QA-RAG: Integrating Generative AI for Pharmaceutical Regulatory Compliance Process
Huraysi, Talea	A Circular Construction Product Ontology for End-of-Life Decision-Making
Hwang, Seon-Jin	GUARD: Generic API De-obfuscation and Obfuscated Malware Unpacking with sIAT
Hwang, Sungyoun	Can Less Accurate Be More Accurate? Surpassing Exact Multiplier with Approximate Design on NISQ Quantum Computers
Hyrynsalmi, Sami	A qualitative study for understanding professionals' perspectives of Quantum Business
Hämmerle-Uhl, Jutta	Finger Vein Spoof GANs: Issues in Presentation Attack Detector Training
Hämäläinen, Raija	Beyond Text-to-Text: An Overview of Multimodal and Generative Artificial Intelligence for Education Using Topic Modeling
I
Imenkamp, Christian	EdgeMiner: Distributed Process Mining at the Data Sources
Indykov, Vladislav	Quality trade-offs in ML-enabled systems: a multiple-case study
Ingle, Palash	Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Inocêncio Júnior, Ronaldo	Data Balancing for Mitigating Sampling Bias in Machine Learning
Iren, Deniz	Enhancing Room Occupancy Inference from Sparse PIR Sensor Data Using Transformer Models
Irukulla, Madhuroopa	A Retrieval-Augmented Framework For Meeting Insight Extraction
Ischard, Jordan	A Mechanized Formalization of an FRP Language with Effects
Ismayilov, Goshgar C.	zkEC@0.0.1: Evolutionary Computation Meets Programmable Cryptography on Blockchain
Izzo, Simone	N-Pixels: a Novel Grey-Box Adversarial Attack for Fooling Convolutional Neural Networks
J
Jaberansary, Mehrshad	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Jahan, Sadia	A Comparison of the Effects of Model Adaptation Techniques on Large Language Models for Non-Linguistic and Linguistic Tasks
Janeja, Vandana	MorphoLayerTrace (MLT): A Modified Automated Radio-Echo Sounding Englacial Layer-tracing Algorithm for Englacial Layer Annotation in Ice Penetrating Radar Data
Jang, Minho	A2SC: Adaptive Speed and Sensorless Control System for Motor Controllers based on Deep-RL
Janssen, Marijn	Energy-Aware Vision Model Partitioning for Edge AI
Jeatsa, Armel	CADiA: A CPU Cache Allocation System for Distributed Parallel Applications
Jeon, Minhye	Topic-Aware Knowledge Graph with Large Language Models for Interoperability in Recommender Systems
Jeon, Minsun	X3A: Efficient Multimodal Deepfake Detection with Score-Level Fusion
Jeon, Seong Hyun	FEFM: Feature Extraction and Fusion Module for Enhanced Time Series Anomaly Detection
Jeong, Jaemin	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Jeong, Jinkyu	Transparent Smartphone Memory Expansion
Jeong, Kyungchang	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Jeong, Yuna	TAECE : T2I-Adapter with Enhanced Color Expression for Improving Conditional Text-to-Image Generation Capabilities
Jha, Devki	Automating Data Quality Monitoring for Environmental Air Quality System
Jhaveri, Rutvij	Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Jiang, Jiang	Online Learning from Capricious Data streams with Flexible Hoeffding Tree
Jiang, Junqi	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Jiang, Song	MAPLe: A B+-tree with Multi-Access Parallel Leaves to Improve Access Concurrency and Locality
Jianhua, Zhang	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Jin, Beomjin	Stealth Extension Exfiltration (SEE) Attacks: Stealing User Data without Permissions via Browser Extensions
Jin, Hongjoo	asmMBA: Robust Virtualization Obfuscation with Assembly-Based Mixed Boolean-Arithmetic
Jin, Hongyu	Clogging DoS Resilient Bootstrapping of Efficient V2V Validation
Jin, Yunho	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree
Jindal, Vasu	Student Research Abstract: Dynamic Adversarial Soil Modeling: A GAN-Confident Learning Approach for Precision Agriculture
Jo, Seokhee	Supervised Contrastive Learning with Importance-based CutOut for Few-shot Image Classification
Jo, Youngwan	Advanced Knowledge Transfer: Refined Feature Distillation for Zero-Shot Quantization in Edge Computing
Joo, Hwanseong	HARIN: A Novel Metric for Hierarchical Topic Model Assessment
Jung, Jee-Weon	X3A: Efficient Multimodal Deepfake Detection with Score-Level Fusion
Jung, Ji Ho	UKTA: Unified Korean Text Analyzer
Jung, Namgyu	An Attention-based Dual Stream Network for Efficient Electricity Price Forecasting
Jung, Soon Ki	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling Unlearn and Protect: Selective Identity Removal in Diffusion Models for Privacy Preservation
Jung, Younhyun	A Lightweight and Accurate Localization Model for Anatomical Landmark in Medical Imaging Using Depth-Wise Separable Convolution
Jungmann, Michelle	Fusing Expert Knowledge and Internet of Things Data for Digital Twin Models: Addressing Uncertainty in Expert Statements
Júnior, Eniedson	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Jürjens, Jan	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
K
Kaaser, Dominik	Unlinkable Data Sharing with Dynamic Access Control
Kalakanti, Arun Kumar	Dynamic Pricing for Electric Vehicle Charging
Kando, Noriko	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Kang, Min Gyu	Bounded Editing: Multi-Object Image Manipulation with Region-Specific Control
Kang, Taeshin	Elastic Vertical Memory Management for Container-based Stateful Applications in Kubernetes
Kannengießer, Niclas	Automated Market Makers: Toward More Profitable Liquidity Provisioning Strategies
Karanjai, Rabimba	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Kargl, Michael	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Karlsson, Gunnar	Measuring the Impact of Fuzzing Activity in Networking Software
Karstens, Jens	SeismicSense: Phase Picking of Seismic Events with Embedded Machine Learning
Kashima, Hisashi	Cognitive Biases in Large Language Models: A Survey and Mitigation Experiments
Kasichainula, Keshav	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Katare, Dewant	Energy-Aware Vision Model Partitioning for Edge AI
Kauers, Manuel	Solution Counts of Some Prominent Quantified Boolean Formulas Families
Kenfack Ngankam, Hubert	Sanity Checks in Smart Home Sensor Streams
Kermali, Abdelfatah	Deep Reinforcement Learning of Simulated Students Multimodal Mobility Behavior: Application to the City of Toulouse
Kern, Dustin	Anomaly Detection and Mitigation for Electric Vehicle Charging-Based Attacks on the Power Grid Improving Anomaly Detection for Electric Vehicle Charging with Generative Adversarial Networks
Khademioureh, Sara	GSHAPA: Gene Set Analysis for Single-Cell RNAseq Using Random Forest and SHAP Values
Khan, Arif	Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
Khan, Muhammad Salman	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling
Khan, Taimoor	An Attention-based Dual Stream Network for Efficient Electricity Price Forecasting
Khoshkha, Kaveh	Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Kikas, Eve	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Kim, Chulhui	UKTA: Unified Korean Text Analyzer
Kim, Doguk	UKTA: Unified Korean Text Analyzer
Kim, Dohyeon	Early Detection of Online Grooming with Language Models
Kim, Dongeon	lwFSCK: Light-weight Filesystem Check
Kim, Dongkyun	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Kim, Hangyeol	Efficient Kernel Source Code Management for BMC Optimization
Kim, Hangyeol Kim	Scalable Orchestration Design for Mixed-Critical Task Scheduling in SDI-based Mobility Systems
Kim, Hangyul	CRAZNS: A Case for Conventional Namespace Support for RAID with ZNS SSDs
Kim, Hyoungshick	Stealth Extension Exfiltration (SEE) Attacks: Stealing User Data without Permissions via Browser Extensions
Kim, Jae-Seok	A2SC: Adaptive Speed and Sensorless Control System for Motor Controllers based on Deep-RL
Kim, Jae-Seok	Automated Cybersecurity Risk Assessment and Visualization Framework for Resilient Cloud IT Asset Management
Kim, Jaekwang	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models Hierarchical Contrastive Learning with Multiple Augmentations for Sequential Recommendation
Kim, Jaewoong	From RAG to QA-RAG: Integrating Generative AI for Pharmaceutical Regulatory Compliance Process
Kim, Juwon	lwFSCK: Light-weight Filesystem Check
Kim, Keon	Bounded Editing: Multi-Object Image Manipulation with Region-Specific Control FEFM: Feature Extraction and Fusion Module for Enhanced Time Series Anomaly Detection
Kim, Mingi	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Kim, Namhyuk	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Kim, Pankoo	An Attention-based Dual Stream Network for Efficient Electricity Price Forecasting
Kim, San	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Kim, Sang-Wook	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Kim, Sangpil	MELA: Multi-Event Localization Answering Framework for Video Question Answering
Kim, Si-Hyun	Migrating Monolithic Web Applications to Microservice Architectures Considering Dependencies on Databases and Views
Kim, Suhyeon	A Lightweight and Accurate Localization Model for Anatomical Landmark in Medical Imaging Using Depth-Wise Separable Convolution
Kim, Taehoon	Early Detection of Online Grooming with Language Models
Kim, Taehoon	asmMBA: Robust Virtualization Obfuscation with Assembly-Based Mixed Boolean-Arithmetic
Kim, Taehyoung	Optimized Model Selection for Wind Farm Power Forecasting using Dynamic Time Warping
Kim, Yongtae	Can Less Accurate Be More Accurate? Surpassing Exact Multiplier with Approximate Design on NISQ Quantum Computers Exploiting Omega Network and Inexact Accumulative Parallel Counter to Enhance Energy Efficiency in Stochastic Computing
Kim, Young Hwan	Scalable Orchestration Design for Mixed-Critical Task Scheduling in SDI-based Mobility Systems
Kim, Young-Gab	BERT-based User Attribute Mapping Framework in Heterogeneous Systems
Kim, Yujun	BERT-based User Attribute Mapping Framework in Heterogeneous Systems
Kirste, Daniel	Automated Market Makers: Toward More Profitable Liquidity Provisioning Strategies
Klein, Mark	Moderating Large Scale Online Deliberative Processes with Large Language Models (LLMs): Enhancing Collective Decision-Making.
Ko, Donggeun	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models Hierarchical Contrastive Learning with Multiple Augmentations for Sequential Recommendation
Koboyatshwene, Tshepho	Requirements Traceability: A Systematic Literature Review
Komendantskaya, Ekaterina	Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
Koo, Jahoon	BERT-based User Attribute Mapping Framework in Heterogeneous Systems
Kori, Avinash	Explainable Reinforcement Learning for Formula One Race Strategy
Koschmider, Agnes	EdgeMiner: Distributed Process Mining at the Data Sources
Kotani, Daisuke	Distributed Tracing for Cascading Changes of Objects in the Kubernetes Control Plane
Košťál, Kristián	Decentralized Bridge Between Polkadot and Cosmos
Kpodjedo, Sègla	UTL: A Unified Language for Requirements Templates
Krauß, Christoph	Anomaly Detection and Mitigation for Electric Vehicle Charging-Based Attacks on the Power Grid Improving Anomaly Detection for Electric Vehicle Charging with Generative Adversarial Networks Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard
Kriegel, Francesco	Beyond Optimal: Interactive Identification of Better-than-optimal Repairs
Krishnan, Aditya	Identity-Focused Inference and Extraction Attacks on Diffusion Models
Krisper, Michael	A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables
Kudriavtseva, Arina	My Code Is Less Secure with Gen AI: Surveying Developers’ Perceptions of the Impact of Code Generation Tools on Security
Kuo, Chun-Yi	Harnessing Sub-blocks Erase of NAND flash for Secure Deletion Performance Enhancement on CPS
Kuo, Tei-Wei	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Kärkkäinen, Tommi	The Use of Generative Artificial Intelligence for Upper Secondary Mathematics Education Through the Lens of Technology Acceptance
L
Lam, An	Context-driven Edge-based Data Sharing for Industrial IoT Data Spaces
Lam, Lap Chung	Strengthening Application Security through Integrity Protection of System Call Usage
Landsiedel, Olaf	SeismicSense: Phase Picking of Seismic Events with Embedded Machine Learning EdgeMiner: Distributed Process Mining at the Data Sources
Lange, Christoph	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Lauser, Timm	Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard
Lazarova-Molnar, Sanja	Fusing Expert Knowledge and Internet of Things Data for Digital Twin Models: Addressing Uncertainty in Expert Statements
Le, Thi-Hanh	An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack
Le Calvar, Théo	Towards Enforcing Structural OCL Constraints using Constraint Programming
Le Gloannec, Simon	Exploration and Active Recognition Strategy using Meta-MDP
Ledoux, Thomas	VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
Lee, Dong Hoon	asmMBA: Robust Virtualization Obfuscation with Assembly-Based Mixed Boolean-Arithmetic
Lee, Donghui	Exploiting Omega Network and Inexact Accumulative Parallel Counter to Enhance Energy Efficiency in Stochastic Computing
Lee, Dongjun	Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models Hierarchical Contrastive Learning with Multiple Augmentations for Sequential Recommendation
Lee, Euijong	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Lee, Gyusun	Transparent Smartphone Memory Expansion
Lee, Hye Ju	GUARD: Generic API De-obfuscation and Obfuscated Malware Unpacking with sIAT
Lee, Hyojeong	Advanced Knowledge Transfer: Refined Feature Distillation for Zero-Shot Quantization in Edge Computing
Lee, Jae W.	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree Transparent Smartphone Memory Expansion
Lee, Jeonghyuk	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Lee, Jiwon	asmMBA: Robust Virtualization Obfuscation with Assembly-Based Mixed Boolean-Arithmetic
Lee, Jong Taek	Unlearn and Protect: Selective Identity Removal in Diffusion Models for Privacy Preservation
Lee, Jongsung	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree
Lee, Seunghwa	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Lee, Yaejin	Advancing Chronic Disease Prediction with Your First-Visit: Ensemble and Deep Learning Models
Lee, Yeongyu	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Lee, Yu Rim	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling
Leelaluk, Sukrit	Knowledge Distillation in RNN-Attention Models for Early Prediction of Student Performance
Leisten, Joseph	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Lencastre, Maria	NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Li, Shih-Wei	Strengthening Application Security through Integrity Protection of System Call Usage
Li, Yinhao	A Circular Construction Product Ontology for End-of-Life Decision-Making
Lijzenga, Oebele	Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair
Lim, Chaejin	Stealth Extension Exfiltration (SEE) Attacks: Stealing User Data without Permissions via Browser Extensions
Lim, Kiho	Robustly Optimized Multimedia Local and Global Context Analysis at Multi-modal Balance
Lim, Seonghyeon	ST-CBS: Spatio-Temporal Conflict Based Search in Continuous Space for Multi-Agent Pathfinding
Lima, Rinaldo	Complex Knowledge Graph Matching with Large Language Model Embeddings
Limaylla-Lunarejo, Maria Isabel	SimRE: A Requirements Similarity Tool for Software Product Lines
Lime, Didier	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Lin, Hsiang-Jui	Unsupervised Training Framework for 3D Point Cloud Object Detection Mode
Lin, Jianyi	Supervised Ensemble-based Causal DAG Selection
Lin, Yihui	Strengthening Application Security through Integrity Protection of System Call Usage
Liou, Ze-Wei	Optimizing Compute Core Assignment for Dynamic Batch Inference in AI Inference Accelerator
Liu, Yu Wei	Towards a Comprehensive Evaluation of Voltage-Based Fingerprinting for the CAN Bus
Liu, Yu-Chen	Strengthening Application Security through Integrity Protection of System Call Usage
Lliguin León, Karen Yadira	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Lorena, Ana Carolina	Network-based instance hardness measures for classification problems Data Balancing for Mitigating Sampling Bias in Machine Learning
Loudni, Samir	Sampling Frequent and Diversified Patterns Through Compression Towards Enforcing Structural OCL Constraints using Constraint Programming
Loulergue, Frédéric	A Mechanized Formalization of an FRP Language with Effects
Lozenguez, Guillaume	Communication Isolation For Multi-Robot Systems Using ROS2
Lu, Yang	LogSage: Log Summarization Assistant with Guided Enhancement LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Luan, Xiaokun	MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability
Luccio, Flaminia	Balancing the Scales: Using GANs and Class Balance for Superior Malware Detection
Luchini, Chiara	Controlling VC disclosure with Terms of Use and ABAC in SSI
Ludermir, Teresa	Network-based instance hardness measures for classification problems Data Balancing for Mitigating Sampling Bias in Machine Learning
Ludi, Stephanie	Mobile App Quality Assessment: Leveraging LLM-Driven Data Augmentation for Enhanced User Reviews Analysis
Luu, Anh Tuan	Curriculum Demonstration Selection for In-Context Learning
López-Larrainzar Salazar, Arántzazu	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Lüdtke, Daniel	Efficient Scheduling of Weakly-Hard Real-Time Tasks with Sufficient Schedulability Condition
M
M. Perrault, Cécile	Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
M. Santos, Wellison R.	Univariate vs multivariate prediction for containerised applications auto-scaling: a comparative study
Ma, Aitian	WMN-CDA: Contrastive Domain Adaptation for Wireless Mesh Network Configuration
Ma, Xiang	Context-driven Edge-based Data Sharing for Industrial IoT Data Spaces
Ma, Yanqing	Deep Generative Calibration on Stochastic Volatility Models with Applications in FX Barrier Options
Ma, Yue	A Hybrid Self-Correcting Approach for Embedding Ontology-based Knowledge Graphs
Maathuis, Clara	Enhancing Room Occupancy Inference from Sparse PIR Sensor Data Using Transformer Models
Machiry, Aravind Kumar	Detection of Device Triggerable Vulnerabilities in Android Companion Apps through Interactive Triaging
Maciel, Alexandre M. A.	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
MacIntosh, Alexander	Fine-Tuning GPT-3.5-Turbo for Automatic Feedback Generation
Madria, Sanjay	Predicting Battery Levels of Sensor Nodes Using Reinforcement Learning in Harsh Underground Mining Environments
Maekawa, Yoshiyuki	A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories
Magoutis, Kostas	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Mahni, Hocine	Multicriteria File-Level Placement Policy for HPC Storage
Maia, Adriano	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Maia, Macedo	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Mailly, Jean-Guy	Reasoning with Plausibility in Incomplete Argumentation Frameworks
Malandri, Lorenzo	SkiLLMo: Normalized ESCO Skill Extraction through Transformer Models JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
Malerba, Donato	GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Malleus-Kotšegarov, Elina	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Malucelli, Nicolò	Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
Manjunath, Vignesh	Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness
Manzoni, Pietro	Incentivizing Crowdsensing in IoT through Micropayments: an Architecture and Simulation Study
Mao, Rui	Self-explanatory and Retrieval-augmented LLMs for Financial Sentiment Analysis
Marcelletti, Alessandro	Looseness for Choreography-based Software Architectures on Blockchain
Marcon, Cécile	BiCoq : Bigraphs Formalisation with Coq
Marcondes Marcacini, Ricardo	Improving Natural Product Knowledge Extraction from Academic Literature with Enhanced PDF Text Extraction and Large Language Models
Mariani, Elisa	A Hybrid Self-Correcting Approach for Embedding Ontology-based Knowledge Graphs
Marinho, Dylan	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Martínez-Ballesteros, María	Bioinspired evolutionary metaheuristic based on COVID spread for discovering numerical association rules
Marx, Edgard	Improving Natural Product Knowledge Extraction from Academic Literature with Enhanced PDF Text Extraction and Large Language Models
Marzolla, Moreno	Incentivizing Crowdsensing in IoT through Micropayments: an Architecture and Simulation Study
Mattig, Michael	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Mazzullo, Elisabetta	Fine-Tuning GPT-3.5-Turbo for Automatic Feedback Generation
McArdle, Gavin	Mapillary Street Vegetation Scoring: End-to-End Process
McConville, Ryan	Lightweight Decentralized Neural Network-Based Strategies for Multi-Robot Patrolling
McEntarffer, Ashton	Towards a Comprehensive Evaluation of Voltage-Based Fingerprinting for the CAN Bus
McMillan, Joseph	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Medina, José	Mamba-PKD: A Framework for Efficient and Scalable Model Compression in Image Classification
Mehran, Narges	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Melendez Abarca, Pablo	Spatial Information Integration in Small Language Models for Document Layout Generation and Classification
Mello, Thiago	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Mendes, Francisco	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Mendes, Ricardo	On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
Mendonça, Manoel	Advances in Requirements Engineering for Well-Being, Aging, and Health: A Systematic Mapping Study
Menezes, Ronaldo	The Rephrased Reality: Analysing Sentiment Shifts in LLM-Rephrased Text
Mercier, Michael	FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Mercorio, Fabio	Taxonomy Expansion through Collaborative LLM Mapping SkiLLMo: Normalized ESCO Skill Extraction through Transformer Models JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
Merelo, Jj	Energy consumption of evolutionary algorithms implemented in low-level languages
Mernik, Marjan	[Invited Talk] Formal and Practical Aspects of Domain-Specific Languages
Mezzanzanica, Mario	Taxonomy Expansion through Collaborative LLM Mapping
Mezzetti, Enrico	Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Mečír, Juraj	Decentralized Bridge Between Polkadot and Cosmos
Michel, Guillaume	Improving Kademlia Lookup Privacy through Query Obfuscation
Michel, Shira	Generative AI in Rural High Schools: Challenges and Opportunities
Mikkonen, Tommi	Visualizing Streaming Data in Industrial Scale IoT Systems
Min, Moohong	From RAG to QA-RAG: Integrating Generative AI for Pharmaceutical Regulatory Compliance Process
Minatel, Diego	One-mode Projection of Bipartite Graphs for Text Classification using Graph Neural Networks A DIF-Driven Threshold Tuning Method for Improving Group Fairness
Minella, Gerardo	MARTES: Multi-Agent Reinforcement learning Training Environment for Scheduling
Mio, Corrado	Supervised Ensemble-based Causal DAG Selection
Mira, Antonietta	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Mirri, Silvia	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Mitra, Bivas	LonelyTracker: An IoT Solution with Multimodal Data and Split Computing for Secure Loneliness Detection
Mitrović, Jelena	MemBERT: Foundation model for memory forensics Mixture of Modular Experts: Distilling Knowledge from a Multilingual Teacher into Specialized Modular Language Models
Mkaouer, Mohamed Wiem	MigrationMapper: Fine-Grained Detection of Third-Party Java Library Migration
Mohapatra, Prasant	Identity-Focused Inference and Extraction Attacks on Diffusion Models
Molinet, Benjamin	Assessing Argument-based Natural Language Explanations in Medical Text
Moon, Bohyun	X3A: Efficient Multimodal Deepfake Detection with Score-Level Fusion
Moon, Hakjun	High-Fidelity Face Age Transformation via Hierarchical Encoding and Contrastive Learning
Moon, Soo-Mook	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Morales, Gabriel	What’s in an Embedding? Harnessing Deep Learning to Fuse Multi-Sensor Embeddings for Room Identification
Mordacchini, Matteo	A Decentralized Strategy for Unweighted Minimum Vertex Cover
Morháč, Dušan	Decentralized Bridge Between Polkadot and Cosmos
Morichetta, Andrea	Looseness for Choreography-based Software Architectures on Blockchain
Mouaddib, Abdel-Illah	Exploration and Active Recognition Strategy using Meta-MDP
Mounié, Gregory	FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Moyano, Victor Gabriel	Efficient Scheduling of Weakly-Hard Real-Time Tasks with Sufficient Schedulability Condition
Müller, Maximilian	Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard
N
Najafabadi Samani, Zahra	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Nam, Changjoo	ST-CBS: Spatio-Temporal Conflict Based Search in Continuous Space for Multi-Agent Pathfinding
Naury, Lucas	Communication Isolation For Multi-Robot Systems Using ROS2
Negrini, Luca	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Nenadic, Marija	Road Accessibility Mapping through Smartphone-Based Sensing
Nezhad Baravati, Amir Hossein Mohsen	Enhancing User Experience with Topic-Based Message Retrieval in Telegram
Nguyen, Cong-Duy	Curriculum Demonstration Selection for In-Context Learning
Nguyen, Khoa	A Comparison of the Effects of Model Adaptation Techniques on Large Language Models for Non-Linguistic and Linguistic Tasks
Nguyen, Minh Khoi	An AI-augmented Framework for Automated and Intelligent Process Monitoring
Nguyen, Phu	Context-driven Edge-based Data Sharing for Industrial IoT Data Spaces
Nguyen, Thong	Curriculum Demonstration Selection for In-Context Learning
Nguyen, Vincent	Features Leverage in Graph Models for Mineral ProspectivityMapping
Nguyen Tan, Phat	Improving Anomaly Detection for Electric Vehicle Charging with Generative Adversarial Networks
Nikovski, Daniel	Learning Visual Servoing for Nonholonomic Mobile Robots with Uncalibrated Cameras
Ning, Arthur	SC-Block++: A Blocking Algorithm Based on Adaptive Flood Regularization
Niroshan, Akila	State of Obfuscation: A Longitudinal Study of Code Obfuscation Practices in Google Play Store
Nnanna, Obiabuchi Martin	Moderating Large Scale Online Deliberative Processes with Large Language Models (LLMs): Enhancing Collective Decision-Making.
Noh, Sam H.	CRAZNS: A Case for Conventional Namespace Support for RAID with ZNS SSDs
Nurminen, Jukka	A Design Framework for Cloud-HPC Integration in MLOps
O
Ober, Ileana	An AI-augmented Framework for Automated and Intelligent Process Monitoring
Oberkampf, Heiner	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Oberoi, Kamaldeep Singh	Deep Reinforcement Learning of Simulated Students Multimodal Mobility Behavior: Application to the City of Toulouse
Oh, Hongseok	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Oh, Jaewon	Migrating Monolithic Web Applications to Microservice Architectures Considering Dependencies on Databases and Views
Oh, Jeonghwan	Efficient Kernel Source Code Management for BMC Optimization
Oh, Joontaek	lwFSCK: Light-weight Filesystem Check
Oh, Kyungeun	Efficient Kernel Source Code Management for BMC Optimization
Oh, Myung-Min	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Okabe, Yasuo	Distributed Tracing for Cascading Changes of Objects in the Kubernetes Control Plane
Oladimeji, Aanuoluwapo	A Circular Construction Product Ontology for End-of-Life Decision-Making
Olaiya, Kelvin	Supporting Accessibility Auditing and HTML Validation using Large Language Models
Olijnyk, John	Relay Memory Analysis via Constraint Satisfaction Modeling for Malware Detection in the Electrical Power Grid
Oliveira, Helder	Multiple Policy Approach for Efficient Resource Allocation in SDM-EONs
Oliveira, Ramon	Multiple Policy Approach for Efficient Resource Allocation in SDM-EONs
Olivieri, Luca	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Ouni, Ali	MigrationMapper: Fine-Grained Detection of Third-Party Java Library Migration
Ozbakir, Ali	Enhancing Room Occupancy Inference from Sparse PIR Sensor Data Using Transformer Models
P
Pacheco, Xavier	Paprika: Replica Placement for Multi-Region Edge Publish-Subscribe Systems
Padala, Aditya Vardhan	Detection of Device Triggerable Vulnerabilities in Android Companion Apps through Interactive Triaging
Paes, Aline	Language Flavors in the Lusophone World: A BERT-Based Social Media Study of Portuguese in Brazil, Portugal, and Mozambique
Paim, Aldo Marcelo	Efficient Instance Selection in Tree-Based Models for Data Streams Classification
Palamadai, Jayram	Enhanced Cross-Task Learning Architecture for Boosted Decision Trees
Palazzi, Claudio	Road Accessibility Mapping through Smartphone-Based Sensing
Pallas, Frank	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Pallucchini, Filippo	Self-explanatory and Retrieval-augmented LLMs for Financial Sentiment Analysis
Palma, Alessandro	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Pantera, Lucie	Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
Panëels, Sabrina	Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
Papadakis, Nikolaos	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Papadimitratos, Panos	Clogging DoS Resilient Bootstrapping of Efficient V2V Validation
Park, Chan	X3A: Efficient Multimodal Deepfake Detection with Score-Level Fusion
Park, Eunil	Advancing Chronic Disease Prediction with Your First-Visit: Ensemble and Deep Learning Models
Park, Hogun	MELA: Multi-Event Localization Answering Framework for Video Question Answering
Park, Jeajun	A Lightweight and Accurate Localization Model for Anatomical Landmark in Medical Imaging Using Depth-Wise Separable Convolution
Park, Jinyong	Transparent Smartphone Memory Expansion
Park, Junhyung	UKTA: Unified Korean Text Analyzer
Park, Ki Cheol	Scalable Orchestration Design for Mixed-Critical Task Scheduling in SDI-based Mobility Systems
Park, Namjun	Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models
Park, Namjun	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Park, Sanghyeon	Beyond the Blockchain Address: Zero-Knowledge Address Abstraction
Park, Sanghyun	Advanced Knowledge Transfer: Refined Feature Distillation for Zero-Shot Quantization in Edge Computing
Park, Seri	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Park, Seungjung	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Park, Soo Young	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling
Park, Youngjun	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Parmezan, Antonio R. S.	A DIF-Driven Threshold Tuning Method for Improving Group Fairness
Pasam, Vamsi Krishna	AI-Powered Comment Triage for Efficient Collaboration and Feedback Management
Pasquadibisceglie, Vincenzo	GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Patel, Tanish	Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Pati, Sravani	AI-Powered Comment Triage for Efficient Collaboration and Feedback Management
Pattabiraman, Karthik	D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles
Paulino, Hervé	Paprika: Replica Placement for Multi-Region Edge Publish-Subscribe Systems
Paz, Andrés	UTL: A Unified Language for Requirements Templates
Peignier, Sergio	GSHAPA: Gene Set Analysis for Single-Cell RNAseq Using Random Forest and SHAP Values
Peixoto, Maycon	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Pennekamp, Jan	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Penz, Manuel	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Pereira, Guilherme C.	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Pereira, Jaylton	Enhancing Brazilian Portuguese Augmentative and Alternative Communication with Card Prediction and Colourful Semantics
Pereira, Jayr	Enhancing Brazilian Portuguese Augmentative and Alternative Communication with Card Prediction and Colourful Semantics
Pereira, Jose	Towards Adaptive Transactional Consistency for Georeplicated Datastores
Perera, Charith	A Circular Construction Product Ontology for End-of-Life Decision-Making
Perkusich, Angelo	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Perkusich, Mirko	A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills
Pernici, Barbara	Enhancing User Experience with Topic-Based Message Retrieval in Telegram
Pesant, Gilles	Sampling Frequent and Diversified Patterns Through Compression
Pestana, Jesus	A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables
Pesé, Mert	Towards a Comprehensive Evaluation of Voltage-Based Fingerprinting for the CAN Bus
Peters, Sebastian N.	Leveraging BRSKI to Protect the Hardware Supply Chain of Operational Technology: Opportunities and Challenges
Petrocchi, Marinella	Deciphering Social Behaviour: a Novel Biological Approach For Social Users Classification
Pfahringer, Bernhard	ASML-REG: Automated Machine Learning for Data Stream Regression
Picard, Celia	BiCoq : Bigraphs Formalisation with Coq
Piet, Artur	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Pietrzynski, Robert	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Pincheira, Miguel	Soilcast: a Multitask Encoder-Decoder AI Model for Precision Agriculture
Pingle, Aabha	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Pires, Pedro	Collaborative filtering through weighted similarities of user and item embeddings
Plank, Andreas	Solution Counts of Some Prominent Quantified Boolean Formulas Families
Pohle, Anna	ChatGPT, what is a ‘Glasanwalt’? - Linguistic strategies in a large language model’s interpretation of novel compounds
Polini, Andrea	Looseness for Choreography-based Software Architectures on Blockchain
Popescu, Andrei	Dynamic Programming Algorithms for Probabilistic Bipolar Argumentation Frameworks
Poranen, Timo	Integrating Access Control with Retrieval-Augmented Generation: A Proof of Concept for Managing Sensitive Patient Profiles
Pourmoradnasseri, Mozhgan	Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Prakash, Aravind	Leveraging C++20 Concepts for Fast and Feature-Rich IO
Prazeres, Cassio	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Prodan, Radu	PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum
Prodomo, Vittorio	Privacy-Preserving Data Obfuscation for Credit Scoring
Pugliese, Victor	Hybrid Flow Shop Scheduling through Reinforcement Learning: A systematic literature review
Pujol, Roger	On the Time Predictability of AXI4
Purushotham, Sanjay	MorphoLayerTrace (MLT): A Modified Automated Radio-Echo Sounding Englacial Layer-tracing Algorithm for Englacial Layer Annotation in Ice Penetrating Radar Data
Q
Qiu, Yue	TSPTE :Text sentiment-aware privacy protection method based on truncated exponent
R
Raatikainen, Mikko	A Design Framework for Cloud-HPC Integration in MLOps
Raballo, Andrea	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Rabbi, Md Fazle	Claim vs. Capability: A Comparative Analysis of the SBOM Generation Tools for Rust Projects
Rafailidis, Dimitrios	RepAs: Iterative Refinement for Predicting Polyadenylation Site Usage
Raghothaman, Mukund	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Rago, Antonio	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Raimondi, Bianca	Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs
Raina, Erica	Student Research Abstract: A CSP-based approach to the generation of case studies for clinical guidelines
Rajan, Ajitha	MHCRule - Rule-based Model for Interpretable MHC Class I Binding Prediction
Rana, Omer	A Circular Construction Product Ontology for End-of-Life Decision-Making
Ranjan, Rajiv	Automating Data Quality Monitoring for Environmental Air Quality System A Circular Construction Product Ontology for End-of-Life Decision-Making
Rao, Shrisha	Dynamic Pricing for Electric Vehicle Charging
Rathje, Patrick	EdgeMiner: Distributed Process Mining at the Data Sources
Ravenda, Federico	Tailoring Adaptive-Zero-Shot Retrieval and Probabilistic Modelling for Psychometric Data
Ravi, Srivatsan	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Re, Barbara	Looseness for Choreography-based Software Architectures on Blockchain
Rebola Pardo, Adrian	FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas
Recchia, Vito	GANDALF: A LLM-based approach to map bark beetle outbreaks in semantic stories of Sentinel-2 images
Reddy, P. Sahithi	Swiss Cheese CAPTCHA: A Novel Multi-barrier Mechanism for Bot Detection
Reiser, Hans P.	MemBERT: Foundation model for memory forensics
Reuter, Adrian	Leveraging BRSKI to Protect the Hardware Supply Chain of Operational Technology: Opportunities and Challenges
Revenko, Artem	Bringing the Digital Product Passport to Life: Requirements Analysis for a Carbon Footprint Tracking System using Knowledge Graphs and Data Spaces
Ribeiro, Laura	Language Flavors in the Lusophone World: A BERT-Based Social Media Study of Portuguese in Brazil, Portugal, and Mozambique
Ribeiro, Moniky	NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Ribeiro, Quelita	NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Ribeiro, Rita P.	Efficient Instance Selection in Tree-Based Models for Data Streams Classification
Richardson, Frederico Leite	The Rephrased Reality: Analysing Sentiment Shifts in LLM-Rephrased Text
Rivalan, Jonathan	VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
Robal, Tarmo	SC-Block++: A Blocking Algorithm Based on Adaptive Flood Regularization
Rocha, Rui P.	A Semantic Mapping Framework for Service Robots
Rodrigues, Francisco	Enhancing Brazilian Portuguese Augmentative and Alternative Communication with Card Prediction and Colourful Semantics
Rodrigues-Filho, Roberto	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Rodríguez Luaces, Miguel	SimRE: A Requirements Similarity Tool for Software Product Lines
Rodríguez-Díaz, Francesc	Bioinspired evolutionary metaheuristic based on COVID spread for discovering numerical association rules
Romano, Simon Pietro	Privacy-Preserving Data Obfuscation for Credit Scoring
Romero López, Gustavo	Energy consumption of evolutionary algorithms implemented in low-level languages
Roque dos Santos, Nícolas	One-mode Projection of Bipartite Graphs for Text Classification using Graph Neural Networks A DIF-Driven Threshold Tuning Method for Improving Group Fairness
Rosa, Ciro	Knowledge Distillation for Reduced Footprint Semantic Segmentation with the U-Net
Rosa, Nelson S.	Univariate vs multivariate prediction for containerised applications auto-scaling: a comparative study Exploiting Fuzzy Controllers for Adapting Messaging Systems
Rossi, Francesco	Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Rosário, Denis	Multiple Policy Approach for Efficient Resource Allocation in SDM-EONs
Roux, Olivier H.	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Rrushi, Irma	Relay Memory Analysis via Constraint Satisfaction Modeling for Malware Detection in the Electrical Power Grid
Rrushi, Julian	Relay Memory Analysis via Constraint Satisfaction Modeling for Malware Detection in the Electrical Power Grid
Rubini, Stéphane	Multicriteria File-Level Placement Policy for HPC Storage
Ruiz, Roberto	Tree-based biclustering of genomic time series
Ruscica, Giuseppe	A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring
Russo, Aaron	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Ruyu, Liu	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Röbert, Kevin	A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge Unlinkable Data Sharing with Dynamic Access Control
S
Saad, Malik Muhammad	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Saarela, Mirka	Quantitative Assessment of Explainability in Machine Learning Models : A Study on the OULA Dataset
Sabatucci, Luca	Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models
Sagar, C. Y. K.	Swiss Cheese CAPTCHA: A Novel Multi-barrier Mechanism for Bot Detection
Saidi, Selma	Efficient Scheduling of Weakly-Hard Real-Time Tasks with Sufficient Schedulability Condition
Sale, Stuart	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Samaana, Haya	A Machine Learning-Based Approach For Detecting Malicious PyPI Packages
Sampaio Jr., Adalberto R.	Univariate vs multivariate prediction for containerised applications auto-scaling: a comparative study
Sanchez-Gallegos, Dante D.	Xook-Flow: an abstract communication channel model for the data exchange in computing continuum
Sannigrahi, Srikanta	Mapillary Street Vegetation Scoring: End-to-End Process
Santin, Altair	An Early Exit Deep Neural Network for Fast Inference Intrusion Detection
Santini, Francesco	Controlling VC disclosure with Terms of Use and ABAC in SSI
Santos, Abimael	NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Santos Sousa, Guilherme Henrique	Complex Knowledge Graph Matching with Large Language Model Embeddings
Saracino, Andrea	MoRSE: Bridging the Gap in Cybersecurity Expertise with Retrieval Augmented Generation
Scandurra, Patrizia	A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring
Scheipel, Tobias	Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness
Schmid, Lia	Enhancing 3D Face Analysis Using Graph Convolutional Networks with Kernel-Attentive Filters
Schneider, Kurt	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Schulte, Stefan	A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge Towards Solidity Smart Contract Efficiency Optimization through Code Mining
Sciancalepore, Savio	Strangers Sets: Preserving Drones' Location Privacy while Avoiding Violations of Critical Infrastructures
Seeger, Bernhard	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Seghouani, Nacéra	A Hybrid Self-Correcting Approach for Embedding Ontology-based Knowledge Graphs
Seidl, Martina	FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas Solution Counts of Some Prominent Quantified Boolean Formulas Families
Seneviratne, Aruna	State of Obfuscation: A Longitudinal Study of Code Obfuscation Practices in Google Play Store
Seneviratne, Suranga	State of Obfuscation: A Longitudinal Study of Code Obfuscation Practices in Google Play Store
Seo, Dong-Hyuk	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Seo, Harin	HARIN: A Novel Metric for Hierarchical Topic Model Assessment
Seo, Hyein	TAECE : T2I-Adapter with Enhanced Color Expression for Improving Conditional Text-to-Image Generation Capabilities
Seo, Hyoju	Can Less Accurate Be More Accurate? Surpassing Exact Multiplier with Approximate Design on NISQ Quantum Computers
Seo, Joonho	A2SC: Adaptive Speed and Sensorless Control System for Motor Controllers based on Deep-RL Automated Cybersecurity Risk Assessment and Visualization Framework for Resilient Cloud IT Asset Management
Seo, Young-Duk	Topic-Aware Knowledge Graph with Large Language Models for Interoperability in Recommender Systems UKTA: Unified Korean Text Analyzer
Sereicikas, Rafael	Collaborative filtering through weighted similarities of user and item embeddings
Serena, Luca	Incentivizing Crowdsensing in IoT through Micropayments: an Architecture and Simulation Study
Serino, Antonio	SkiLLMo: Normalized ESCO Skill Extraction through Transformer Models
Serra, Isabel	Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Setälä, Manu	Integrating Access Control with Retrieval-Augmented Generation: A Proof of Concept for Managing Sensitive Patient Profiles
Setälä, Mika	The Use of Generative Artificial Intelligence for Upper Secondary Mathematics Education Through the Lens of Technology Acceptance
Sevegnani, Michele	BiCoq : Bigraphs Formalisation with Coq
Seveso, Andrea	JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
Sha, Mo	WMN-CDA: Contrastive Domain Adaptation for Wireless Mesh Network Configuration
Shah, Tejal	A Circular Construction Product Ontology for End-of-Life Decision-Making
Shaheryar, Muhammad	Unlearn and Protect: Selective Identity Removal in Diffusion Models for Privacy Preservation
Shankar, Prabhu	Identity-Focused Inference and Extraction Attacks on Diffusion Models
Sheng, Yu	Enhancing Room Occupancy Inference from Sparse PIR Sensor Data Using Transformer Models
Shi, Weidong	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Shih, Chi-Sheng Daniel	Unsupervised Training Framework for 3D Point Cloud Object Detection Mode
Shihab, Emad	A Machine Learning-Based Approach For Detecting Malicious PyPI Packages
Shim, Wonkyeong	PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Shim, Wonkyeong	Debiasing Classifiers by Amplifying Bias with Latent Diffusion and Large Language Models
Shimada, Atsushi	Knowledge Distillation in RNN-Attention Models for Early Prediction of Student Performance
Shin, Jinmyeong	Automated Cybersecurity Risk Assessment and Visualization Framework for Resilient Cloud IT Asset Management
Shin, Myung Sun	UKTA: Unified Korean Text Analyzer
Shin, Yong-Jun	A Platform-Independent Software-Intensive Workflow Modeling Language And An Open-Source Visual Programming Tool: A Bottom-Up Approach Using Ontology Integration Of Industrial Workflow Engines
Siddiqa, Ayesha	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Siilasjoki, Niila	A Design Framework for Cloud-HPC Integration in MLOps
Sikström, Pieta	The Use of Generative Artificial Intelligence for Upper Secondary Mathematics Education Through the Lens of Technology Acceptance
Silva, Melquisedeque	Comparative Study of Lexical and Semantic Approaches in Closed-domain Product Search
Silva Freire, Marcus Elias	Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks
Silva Gôlo, Marcos Paulo	Improving Natural Product Knowledge Extraction from Academic Literature with Enhanced PDF Text Extraction and Large Language Models
Sim, Joonyeol	ST-CBS: Spatio-Temporal Conflict Based Search in Continuous Space for Multi-Agent Pathfinding
Simader, Marcel	FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas
Simioni, João	An Early Exit Deep Neural Network for Fast Inference Intrusion Detection
Simoni, Marco	MoRSE: Bridging the Gap in Cybersecurity Expertise with Retrieval Augmented Generation
Singhvi, Jay	A Retrieval-Augmented Framework For Meeting Insight Extraction
Sitarenios, Gill	Fine-Tuning GPT-3.5-Turbo for Automatic Feedback Generation
Sitkrongwong, Padipat	An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack
Slavin, Rocky	A Comparison of the Effects of Model Adaptation Techniques on Large Language Models for Non-Linguistic and Linguistic Tasks What’s in an Embedding? Harnessing Deep Learning to Fuse Multi-Sensor Embeddings for Room Identification
So, Jungmin	Supervised Contrastive Learning with Importance-based CutOut for Few-shot Image Classification
Sober, Michael	Towards Solidity Smart Contract Efficiency Optimization through Code Mining
Solaiman, Ellis	A Circular Construction Product Ontology for End-of-Life Decision-Making
Soleti, Martina	Attacking Anonymity Set in Tornado Cash via Wallet Fingerprints
Son, Jiwon	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Son, Junggab	DDSNet: A Lightweight Dense Depthwise Separable Network for Tumor Classification
Son, Sam	SkipLSM: Fast Retrieval of Hot Key-Value Pairs on LSM Tree
Song, Baek-Kyung	Speed-up of Data Analysis with Kernel Trick in Encrypted Domain
Song, Inho	CRAZNS: A Case for Conventional Namespace Support for RAID with ZNS SSDs
Song, Junho	A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Sospetti, Mattia	SHIELD: Assessing Security-by-Design in Federated Data Spaces Using Attack Graphs
Sowe, Sulayman K.	Bringing the Digital Product Passport to Life: Requirements Analysis for a Carbon Footprint Tracking System using Knowledge Graphs and Data Spaces
Specht, Alexander	Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery
Speiser, Sebastian	Assessing the Real-World Impact of Disagreement Between Human Graders and LLMs
Sperlì, Giancarlo	Enhancing user reliability using a contextual-based approach on heterogeneous graph
Spieker, Helge	PCTL Model Checking for Temporal RL Policy Safety Explanations
Spinola, Rodrigo	Advances in Requirements Engineering for Well-Being, Aging, and Health: A Systematic Mapping Study
Spitalas, Alexandros	Partition Strategies for Vertex-Centric Historical Graph Systems
Spognardi, Angelo	Deciphering Social Behaviour: a Novel Biological Approach For Social Users Classification
Spoto, Fausto	Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
Srikanthan, Anantha Raman	Securing MQTT using Pseudo Random Number Generation
Srivastava, Gautam	Securing MQTT using Pseudo Random Number Generation HyPoPE: A Hybrid Proof of Participation and Efficiency Protocol for Secure IoT Blockchain Networks
Strüber, Daniel	Quality trade-offs in ML-enabled systems: a multiple-case study
Suh, Young-Kyoon	HARIN: A Novel Metric for Hierarchical Topic Model Assessment
Sumita, Yasuaki	Cognitive Biases in Large Language Models: A Survey and Mitigation Experiments
Sun, Jianbin	Online Learning from Capricious Data streams with Flexible Hoeffding Tree
Sun, Jun	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Sun, Meng	MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability
Sun, Xuan	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Sung, Mu Yeol	asmMBA: Robust Virtualization Obfuscation with Assembly-Based Mixed Boolean-Arithmetic
Sunyaev, Ali	Automated Market Makers: Toward More Profitable Liquidity Provisioning Strategies
Sur, Deepayan	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Susi, Angelo	Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models
Szydlo, Tomasz	Automating Data Quality Monitoring for Environmental Air Quality System
T
Tackman, John	Integrating Access Control with Retrieval-Augmented Generation: A Proof of Concept for Managing Sensitive Patient Profiles
Taibi, Davide	Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
Taivalsaari, Antero	Visualizing Streaming Data in Industrial Scale IoT Systems
Tak, Byungchul	HARIN: A Novel Metric for Hierarchical Topic Model Assessment
Tak, Won Young	Efficient Medical Image Segmentation Using Probabilistic KNN Label Downsampling
Takasu, Atsuhiro	An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack
Takeuchi, Koh	Cognitive Biases in Large Language Models: A Survey and Mitigation Experiments
Taleb, Rania	Sanity Checks in Smart Home Sensor Streams
Tama, Bayu Adhi	MorphoLayerTrace (MLT): A Modified Automated Radio-Echo Sounding Englacial Layer-tracing Algorithm for Englacial Layer Annotation in Ice Penetrating Radar Data
Tang, Cheng	Knowledge Distillation in RNN-Attention Models for Early Prediction of Student Performance
Tariq, Muhammad Ashar	Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
Teabe, Boris	CADiA: A CPU Cache Allocation System for Distributed Parallel Applications
Tello, Andrés	Contrasting Global and Local Representations for Human Activity Recognition using Graph Neural Networks
Thakker, Dhavalkumar	Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Thirioux, Xavier	BiCoq : Bigraphs Formalisation with Coq
Thomas, Devin	Explainable Reinforcement Learning for Formula One Race Strategy
Tian, Wei-Cheng	Strengthening Application Security through Integrity Protection of System Call Usage
Tiezzi, Francesco	Looseness for Choreography-based Software Architectures on Blockchain
Tiranti, Renzo	Deep Generative Calibration on Stochastic Volatility Models with Applications in FX Barrier Options
Tisi, Massimo	Towards Enforcing Structural OCL Constraints using Constraint Programming
Todd, Jamie	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy
Toomla, Kaja	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Torquette, Gustavo	Network-based instance hardness measures for classification problems
Torres Charles, Catherine Alessandra	Xook-Flow: an abstract communication channel model for the data exchange in computing continuum
Tortato, Jorge	Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Toxtli Hernandez, Carlos	AI-Powered Comment Triage for Efficient Collaboration and Feedback Management
Tran, Hanh Nhi	An AI-augmented Framework for Automated and Intelligent Process Monitoring
Trojahn, Cassia	Complex Knowledge Graph Matching with Large Language Model Embeddings
Troncoso-Lora, Alicia	Bioinspired evolutionary metaheuristic based on COVID spread for discovering numerical association rules
Truchet, Charlotte	Sampling Frequent and Diversified Patterns Through Compression
Trystram, Denis	FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Tschorsch, Florian	Improving Kademlia Lookup Privacy through Query Obfuscation
Tseng, Yung-Chi	Strengthening Application Security through Integrity Protection of System Call Usage
Tsichlas, Kostas	Partition Strategies for Vertex-Centric Historical Graph Systems Triangle Counting in Large Historical Graphs
Tsolas, George	Partition Strategies for Vertex-Centric Historical Graph Systems
Tu, Chen-Jui	Harnessing Sub-blocks Erase of NAND flash for Secure Deletion Performance Enhancement on CPS
U
Uecker, Madleen	HCN-TA: Hierarchical Capsule Network with Temporal Attention for a Generalizable Approach to Audio Deepfake Detection
Uhl, Andreas	Finger Vein Spoof GANs: Issues in Presentation Attack Detector Training
Utaliyeva, Assem	GUARD: Generic API De-obfuscation and Obfuscated Malware Unpacking with sIAT
Utz, Wilfrid	A Platform-Independent Software-Intensive Workflow Modeling Language And An Open-Source Visual Programming Tool: A Bottom-Up Approach Using Ontology Integration Of Industrial Workflow Engines
V
Vaishnav, Harshul	Strangers Sets: Preserving Drones' Location Privacy while Avoiding Violations of Critical Infrastructures
Varela, Emylle	Pursuing Interoperability in Digital Twins: An Analysis of the Current Research Landscape
Vecchio, Massimo	Soilcast: a Multitask Encoder-Decoder AI Model for Precision Agriculture
Veloso, Bruno	Efficient Instance Selection in Tree-Based Models for Data Streams Classification
Velyka, Anna	Enhancing user reliability using a contextual-based approach on heterogeneous graph
Ventre, Carmine	Deep Generative Calibration on Stochastic Volatility Models with Applications in FX Barrier Options
Verma, Nilesh	ASML-REG: Automated Machine Learning for Data Stream Regression
Verma, Sandeep	Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Viegas, Eduardo	An Early Exit Deep Neural Network for Fast Inference Intrusion Detection
Vieira, Pedro	Paprika: Replica Placement for Multi-Region Edge Publish-Subscribe Systems
Viganò, Martina	Enhancing User Experience with Topic-Based Message Retrieval in Telegram
Vilardell, Sergi	Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Vilela, João P.	On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
Villata, Serena	Assessing Argument-based Natural Language Explanations in Medical Text FALCON: A multi-label graph-based dataset for fallacy classification in the COVID-19 infodemic
Villavicencio, Aline	The Rephrased Reality: Analysing Sentiment Shifts in LLM-Rephrased Text
Villemaire, Roger	Sanity Checks in Smart Home Sensor Streams
Vinod, P	MoRSE: Bridging the Gap in Cybersecurity Expertise with Retrieval Augmented Generation
Viroli, Mirko	Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
Viviurka Do Carmo, Paulo	Improving Natural Product Knowledge Extraction from Academic Literature with Enhanced PDF Text Extraction and Large Language Models
Vo, Anh Vu	Mapillary Street Vegetation Scoring: End-to-End Process
Vora, Jayneel	Identity-Focused Inference and Extraction Attacks on Diffusion Models
Vorderleitner, Andreas	Finger Vein Spoof GANs: Issues in Presentation Attack Detector Training
Vrain, Christel	Features Leverage in Graph Models for Mineral ProspectivityMapping
Vu, Duc Anh	Curriculum Demonstration Selection for In-Context Learning
Vu, Thi Hai Yen	Features Leverage in Graph Models for Mineral ProspectivityMapping
W
Wallner, Johannes P.	Dynamic Programming Algorithms for Probabilistic Bipolar Argumentation Frameworks
Walsh, Cole	Fine-Tuning GPT-3.5-Turbo for Automatic Feedback Generation
Wan, Hu	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Wang, Alison	Student Research Abstract: Evaluating Dialogue Summarization Using LLMs
Wang, Jen-Wei	Learning Visual Servoing for Nonholonomic Mobile Robots with Uncalibrated Cameras
Wang, Luna	MAPLe: A B+-tree with Multi-Access Parallel Leaves to Improve Access Concurrency and Locality
Wang, Shengdun	Leveraging C++20 Concepts for Fast and Feature-Rich IO
Wani, Farooq Ahmad	HCN-TA: Hierarchical Capsule Network with Temporal Attention for a Generalizable Approach to Audio Deepfake Detection
Wani, Taiba Majid	HCN-TA: Hierarchical Capsule Network with Temporal Attention for a Generalizable Approach to Audio Deepfake Detection
Ward, James C.	Lightweight Decentralized Neural Network-Based Strategies for Multi-Robot Patrolling
Ward, Rory	RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Wassie, Solomon Fikadie	Deep Reinforcement Learning for Context-Aware Online Service Function Chain Deployment and Migration over 6G Networks
Wehrle, Klaus	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Weiler, Paul	MapXchange: Designing a Confidentiality-Preserving Platform for Exchanging Technology Parameter Maps
Weng, Xiaojing	Measuring (meta)emotion, (meta)motivation, and (meta)cognition using digital trace data: A systematic review of K-12 self-regulated learning
Wilson, Stanly	A Circular Construction Product Ontology for End-of-Life Decision-Making
Winkler, Steffen	Explainable Time Series Prediction of Tyre Energy in Formula One Race Strategy Explainable Reinforcement Learning for Formula One Race Strategy
Wohlrab, Rebekka	Quality trade-offs in ML-enabled systems: a multiple-case study
Won, Youjip	lwFSCK: Light-weight Filesystem Check
Woo, Dayeon	High-Fidelity Face Age Transformation via Hierarchical Encoding and Contrastive Learning
Woo, Simon S.	X3A: Efficient Multimodal Deepfake Detection with Score-Level Fusion GAN or DM? In-depth Analysis and Evaluation of AI-generated Face Data for Generalizable Deepfake Detection High-Fidelity Face Age Transformation via Hierarchical Encoding and Contrastive Learning
Wu, Min-Jyun	Unsupervised Training Framework for 3D Point Cloud Object Detection Mode
Wu, Xiaobao	Curriculum Demonstration Selection for In-Context Learning
X
Xia, Yuan	LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Xiong, Zuobin	DDSNet: A Lightweight Dense Depthwise Separable Network for Tumor Classification
Xiufeng, Liu	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Xu, Lei	LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Xu, You	Leveraging Contrastive Learning and Spatial Encoding for Prediction in Traffic Networks with Expanding Infrastructure
Xue, Chun Jason	Rabbitail: A Tail Latency-Aware Scheduler for Deep Learning Recommendation Systems with Hierarchical Embedding Storage
Y
Yadav, Manish	Predicting Battery Levels of Sensor Nodes Using Reinforcement Learning in Harsh Underground Mining Environments
Yang, Jihoon	Early Detection of Online Grooming with Language Models
Yanyan, Yang	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Yaqub, Muhammad Azfar	Balancing the Scales: Using GANs and Class Balance for Superior Malware Detection
Ye, Boshuai	C2|Q>: Unifying Classical and Quantum Programming
Yeom, Moon-Sun	Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals
Yoo, Dongwoon	GUARD: Generic API De-obfuscation and Obfuscated Malware Unpacking with sIAT
Yoo, Joon Soo	Speed-up of Data Analysis with Kernel Trick in Encrypted Domain
Yoo, Seungwon	lwFSCK: Light-weight Filesystem Check
Yoon, Geon-Woo	Automated Cybersecurity Risk Assessment and Visualization Framework for Resilient Cloud IT Asset Management
Yoon, Ji Won	Speed-up of Data Analysis with Kernel Trick in Encrypted Domain
Yoon, Junho	Robustly Optimized Multimedia Local and Global Context Analysis at Multi-modal Balance
Yu, Heonchang	Elastic Vertical Memory Management for Container-based Stateful Applications in Kubernetes
Yunrui, Zhu	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Z
Zainab, Tayyaba	SeismicSense: Phase Picking of Seismic Events with Embedded Machine Learning
Zambach, Sine	AI-Enhanced Learning: Comparing Outcomes in Introductory and Advanced Programming Courses
Zampierin, Luca	An Unsupervised Approach for Aspect-Based Sentiment Classification Using Attentional Neural Models
Zanchettin, Cleber	Enhancing Brazilian Portuguese Augmentative and Alternative Communication with Card Prediction and Colourful Semantics
Zanella, Andrea	Road Accessibility Mapping through Smartphone-Based Sensing
Zarbakhsh, Negin	Mapillary Street Vegetation Scoring: End-to-End Process
Zaytsev, Vadim	Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair
Zeinzinger, Martina	Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Zhang, Linxi	Towards a Comprehensive Evaluation of Voltage-Based Fingerprinting for the CAN Bus
Zhang, Xulang	Self-explanatory and Retrieval-augmented LLMs for Financial Sentiment Analysis
Zhang, Yihao	MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability
Zhang, Zheying	Integrating Access Control with Retrieval-Augmented Generation: A Proof of Concept for Managing Sensitive Patient Profiles
Zhao, Ruirui	Online Learning from Capricious Data streams with Flexible Hoeffding Tree
Zhao, Shuaihua	MAPLe: A B+-tree with Multi-Access Parallel Leaves to Improve Access Concurrency and Locality
Zhiyong, Zhang	PULLM: A Multimodal Framework for Enhanced 3D Point Cloud Upsampling Using Large Language Models
Zhou, Mengying	Energy-Aware Vision Model Partitioning for Edge AI
Zhou, Zhichao	Clogging DoS Resilient Bootstrapping of Efficient V2V Validation
Zibran, Minhaz Fahim	Claim vs. Capability: A Comparative Analysis of the SBOM Generation Tools for Rust Projects
Ü
Üçer Yediel, Yeliz	From Theory to Practice: Demonstrators of FAIR Data Spaces Across Different Sectors
Š
Švábenský, Valdemar	Knowledge Distillation in RNN-Attention Models for Early Prediction of Student Performance