Expertini Research Research

Browse Research Papers

48,784+ open-access research outputs.

✕ Clear
🔍 software
Showing 48784 results for "software"
Physics Preprint PDF DOI

Describing the swdatatoolkit: A Space Weather Data Analysis Library

Dustin Kempton, Griffin Goodwin, Tarun Kumar Reddy Thippareddy, Reet Gupta, Viacheslav Sadykov, Rafal Angryk · 2026

swdatatoolkit is a Python-based scientific software library designed to support the acquisition, preprocessing, and analysis of solar and space weather data. The toolkit consolidates functionality acr…

Read Paper →
Engineering Preprint PDF DOI

GCImOpt: Learning efficient goal-conditioned policies by imitating optimal trajectories

Jon Goikoetxea, Jesus F. Palacian · 2026

Imitation learning is a well-established approach for machine-learning-based control. However, its applicability depends on having access to demonstrations, which are often expensive to collect and/or…

Read Paper →
Computer Science Preprint PDF DOI

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing

Marco De Luca, Domenico Francesco De Angelis, Domenico Amalfitano, Pasquale Cimmino, Anna Rita Fasolino · 2026

Equivalence class partitioning is a well-established test design technique mandated by safety standards such as ISO~26262 for systematic testing of safety software. In industrial practice, however, it…

Read Paper →
Computer Science Preprint PDF DOI

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices

Jia Li, Hongyi Deng, Yiran Zhang, Kechi Zhang, Tianqi Shao, Tiankuo Zhao, Weinan Wang, Zhi Jin, Ge Li, Yang Liu, Yingtao Fang, Yihong Dong · 2026

Writing code requires significant time and effort in software development. To automate this process, researchers have made substantial progress using Large Language Models (LLMs) for code generation. …

Read Paper →
Computer Science Preprint PDF DOI

Verifier Warnings Do Not Improve Comprehensibility Prediction

Nadeeshan De Silva, Martin Kellogg, Oscar Chaparro · 2026

Proponents of software verification suggest that code simplicity is linked to the effort to verify code, hypothesizing that formal verifiers produce fewer false positive warnings and require less manu…

Read Paper →
Computer Science Preprint PDF DOI

Vibe coding for clinicians: democratising bespoke software development for digital health innovation

Ariel Yuhan Ong, Iain Livingstone, Caroline Kilduff, Mertcan Sevgi, David A Merle, Eden Ruffell, Pearse A Keane, Fares Antaki · 2026

Clinicians often face workflow problems that are perceived as either too bespoke or low stakes to attract commercial attention. Historically, most do not have the technical knowledge to address these …

Read Paper →
Computer Science Preprint PDF DOI

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification

Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan, Md Rayhanur Rahman · 2026

Large Language Models (LLMs) show promise in automated software engineering, yet their guarantee of correctness is frequently undermined by erroneous or hallucinated code. To enforce model honesty, fo…

Read Paper →
Computer Science Preprint PDF DOI

A Comparison of ROS 2 and AUTOSAR Adaptive Platform Against Industry-Elicited Automotive Middleware Requirements

Lucas Hegerath, David Philipp Kluner, Philipp Pelcz, Viswanatha Reddy Batchu, Marius Molz, Julius Kahle, Thomas Schulik, Stefan Kowalewski, Alexandru Kampmann · 2026

In software-defined vehicles, automotive middleware plays a fundamental role in enabling efficient communication, integration, and coordination among software components. This paper examines how well …

Read Paper →
Physics Preprint PDF DOI

High Dynamic Range enhancement in Mueller matrix polarimetry

Lourdes Camblor-Navarro, Iago Pardo, Oriol Arteaga · 2026

Mueller matrix (MM) polarimetry is an effective, non-invasive tool for retrieving information from complex media. However, the finite dynamic range of optical detectors poses a significant challenge w…

Read Paper →
Computer Science Preprint PDF DOI

Gamifying Architectural Governance to Reduce Organizational Coupling in Microservice Systems

Xiaozhou Li · 2026

Microservice is a popular software architecture that relies on decentralized teams and clear service ownership to support modularity and scalability. However, in practice, developers frequently contri…

Read Paper →
Computer Science Preprint PDF DOI

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability

Yifei Wang, Jacky Keung, Xiaoxue Ma, Zhenyu Mao, Kehui Chen, Yishu Li · 2026

Accurate requirement-to-code traceability is crucial for software maintenance. However, existing IR- and embedding-based methods are heavily dependent on lexical similarity, often yielding incomplete …

Read Paper →
Computer Science Preprint PDF DOI

Horizontal SCA Attacks on Binary kP Algorithms using Chevallier-Mames Atomic Blocks

Gerald Isheanesu Matungamire, Alkistis Aikaterini Sigourou, Gerrit Schrock, Zoya Dyka, Peter Langendoerfer, Ievgen Kabin · 2026

Scalar multiplication kP is the operation most frequently targeted in Elliptic Curve (EC) cryptosystems. To protect against single-trace Side-Channel Analysis (SCA) attacks, the atomicity principle an…

Read Paper →
Computer Science Preprint PDF DOI

A Model-Driven Approach to Database Migration with a Unified Data Model

Maria J. Ortin, Jose R. Hoyos, Jesus Garcia-Molina · 2026

Database migration is a key task in software modernization, increasingly involving transformations across heterogeneous data models such as relational and NoSQL systems. Existing approaches are typica…

Read Paper →
Computer Science Preprint PDF DOI

Enhancing a gamified tool for UML modeling education

Giacomo Garaccione, Riccardo Coppola, Luca Ardito · 2026

Unified Modeling Language (UML) Use Case and Class Diagrams are fundamental modeling notations in Software Engineering (SE) education due to their importance for requirements and model-based engineeri…

Read Paper →
Engineering Preprint PDF DOI

A General EM-Based Channel Model for Reconfigurable Antenna Systems

Chen Xu, Xianghao Yu · 2026

Reconfigurable antenna systems (RASs), such as fluid antennas and movable antennas, are poised to play a pivotal role in sixth-generation (6G) systems by dynamically adapting the antenna elements for …

Read Paper →
Computer Science Preprint PDF DOI

RAG-Reflect: Agentic Retrieval-Augmented Generation with Reflections for Comment-Driven Code Maintenance on Stack Overflow

Mehedi Hasan Shanto, Muhammad Asaduzzaman, Alioune Ngom · 2026

User comments on online programming platforms such as Stack Overflow play a vital role in maintaining the correctness and relevance of shared code examples. However, the majority of comments express g…

Read Paper →
Computer Science Preprint PDF DOI

Evaluating LLM-Based Goal Extraction in Requirements Engineering: Prompting Strategies and Their Limitations

Anna Arnaudo, Riccardo Coppola, Maurizio Morisio, Flavio Giobergia, Andrea Bioddo, Angelo Bongiorno, Luca Dadone · 2026

Due to the textual and repetitive nature of many Requirements Engineering (RE) artefacts, Large Language Models (LLMs) have proven useful to automate their generation and processing. In this paper, we…

Read Paper →
Computer Science Preprint PDF DOI

Hardware-Software Co-Design for Event-Driven SNN Deployment on Low-Cost Neuromorphic FPGAs

Jiwoon Lee, Souvik Chakraborty, Syed Bahauddin Alam, Cheolsoo Park · 2026

Low-cost FPGA platforms can broaden access to neuromorphic systems research, but current spiking neural network (SNN) workflows remain divided between hardware-first implementations, which are difficu…

Read Paper →
Computer Science Preprint PDF DOI

Ethics Testing: Proactive Identification of Generative AI System Harms

Shin Hwei Tan, Haibo Wang, Heng Li · 2026

Generative Artificial Intelligence (GAI) systems that can automatically generate content in the form of source code or other contents (e.g., images) has seen increasing popularity due to the emergence…

Read Paper →
AI & Data Science Preprint PDF DOI

Sound Agentic Science Requires Adversarial Experiments

Dionizije Fa, Marko Culjak · 2026

LLM-based agents are rapidly being adopted for scientific data analysis, automating tasks once limited by human time and expertise. This capability is often framed as an acceleration of discovery, but…

Read Paper →
← Prev Page 9 of 2440 Next →