:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Partridge, Chris, Mitchell, Andrew, de Cesare, Sergio, Soto, Oscar Xiberta
Format:	Preprint
Published:	2025
Subjects:	Databases Artificial Intelligence Software Engineering D.2.10
Online Access:	https://arxiv.org/abs/2509.01617
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modeling in the Design Multiverse
by: Guérin, Sylvain, et al.
Published: (2025)

Design Spaces and How Software Designers Use Them: a sampler
by: Shaw, Mary, et al.
Published: (2024)

Design Patterns for Multilevel Modeling and Simulation
by: Serena, Luca, et al.
Published: (2024)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
by: Wlodarski, Rafal
Published: (2026)

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

Technical Debt Management: The Road Ahead for Successful Software Delivery
by: Avgeriou, Paris, et al.
Published: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

Automata Learning versus Process Mining: The Case for User Journeys
by: Kobialka, Paul, et al.
Published: (2026)

Towards Deterministic End-to-end Latency for Medical AI Systems in NVIDIA Holoscan
by: Sinha, Soham, et al.
Published: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Multimodal Generative AI for Story Point Estimation in Software Development
by: Islam, Mohammad Rubyet, et al.
Published: (2025)

SFTM: Fast Comparison of Web Documents using Similarity-based Flexible Tree Matching
by: Brisset, Sacha, et al.
Published: (2020)

Autonomous Navigation and Collision Avoidance for Mobile Robots: Classification and Review
by: de Carvalho, Marcus Vinicius Leal, et al.
Published: (2024)

OpenHealth Lake: Designing and testing a data lakehouse platform for health applications
by: Silva, Danilo, et al.
Published: (2026)

A Service Suite for Specifying Digital Twins for Industry 5.0
by: Esteves, Izaque, et al.
Published: (2025)

Using ChatGPT to refine draft conceptual schemata in supply-driven design of multidimensional cubes
by: Rizzi, Stefano
Published: (2025)

Prompt Migration: Stabilizing GenAI Applications with Evolving Large Language Models
by: Tripathi, Shivani, et al.
Published: (2025)

KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction
by: Ma, Lei, et al.
Published: (2026)

A Pythonic Functional Approach for Semantic Data Harmonisation in the ILIAD Project
by: Nystad, Erik Johan, et al.
Published: (2026)

GEE-OPs: An Operator Knowledge Base for Geospatial Code Generation on the Google Earth Engine Platform Powered by Large Language Models
by: Hou, Shuyang, et al.
Published: (2024)

Tabularis Formatus: Predictive Formatting for Tables
by: Singh, Mukul, et al.
Published: (2025)

Adaptive Data Quality Scoring Operations Framework using Drift-Aware Mechanism for Industrial Applications
by: Bayram, Firas, et al.
Published: (2024)

From Natural Language to PromQL: A Catalog-Driven Framework with Dynamic Temporal Resolution for Cloud-Native Observability
by: Sisodia, Twinkll
Published: (2026)

Quality Assessment of Tabular Data using Large Language Models and Code Generation
by: Akella, Ashlesha, et al.
Published: (2025)

Declarative Techniques for NL Queries over Heterogeneous Data
by: Khabiri, Elham, et al.
Published: (2025)

LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL
by: Chafik, Salmane, et al.
Published: (2026)

Enhancing LLM Fine-tuning for Text-to-SQLs by SQL Quality Measurement
by: Sarker, Shouvon, et al.
Published: (2024)

Detect, Localize, and Explain: Interactive Hierarchical Log Anomaly Analytics with LLM Augmentation
by: Ma, Lei, et al.
Published: (2026)

Control-flow Reconstruction Attacks on Business Process Models
by: Kirchmann, Henrik, et al.
Published: (2024)

Unraveling the Never-Ending Story of Lifecycles and Vitalizing Processes
by: Fahrenkrog-Petersen, Stephan A., et al.
Published: (2024)

Geo-FuB: A Method for Constructing an Operator-Function Knowledge Base for Geospatial Code Generation Tasks Using Large Language Models
by: Hou, Shuyang, et al.
Published: (2024)

Generating Reliable Adverse event Profiles for Health through Automated Integrated Data (GRAPH-AID): A Semi-Automated Ontology Building Approach
by: Gadusu, Srikar Reddy, et al.
Published: (2025)