Saved in:
| Main Authors: | Partridge, Chris, Mitchell, Andrew, de Cesare, Sergio, Soto, Oscar Xiberta |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| 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)
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)
by: Shaw, Mary, et al.
Published: (2024)
Design Patterns for Multilevel Modeling and Simulation
by: Serena, Luca, et al.
Published: (2024)
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)
by: Wlodarski, Rafal
Published: (2026)
The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)
by: Terragni, Valerio, et al.
Published: (2024)
From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)
by: Bruzzone, Federico, et al.
Published: (2026)
Technical Debt Management: The Road Ahead for Successful Software Delivery
by: Avgeriou, Paris, et al.
Published: (2024)
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)
by: Beg, Arshad, et al.
Published: (2026)
Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)
by: Beg, Arshad, et al.
Published: (2025)
Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)
by: Beg, Arshad, et al.
Published: (2026)
Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)
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)
by: Beg, Arshad, et al.
Published: (2026)
(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)
by: Mousavi, Mohammad Reza
Published: (2026)
Automata Learning versus Process Mining: The Case for User Journeys
by: Kobialka, Paul, et al.
Published: (2026)
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)
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)
by: Beg, Arshad, et al.
Published: (2026)
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)
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)
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)
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)
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)
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)
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)
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)
by: Rizzi, Stefano
Published: (2025)
Prompt Migration: Stabilizing GenAI Applications with Evolving Large Language Models
by: Tripathi, Shivani, et al.
Published: (2025)
by: Tripathi, Shivani, et al.
Published: (2025)
KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction
by: Ma, Lei, et al.
Published: (2026)
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)
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)
by: Hou, Shuyang, et al.
Published: (2024)
Tabularis Formatus: Predictive Formatting for Tables
by: Singh, Mukul, et al.
Published: (2025)
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)
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)
by: Sisodia, Twinkll
Published: (2026)
Quality Assessment of Tabular Data using Large Language Models and Code Generation
by: Akella, Ashlesha, et al.
Published: (2025)
by: Akella, Ashlesha, et al.
Published: (2025)
Declarative Techniques for NL Queries over Heterogeneous Data
by: Khabiri, Elham, et al.
Published: (2025)
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)
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)
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)
by: Ma, Lei, et al.
Published: (2026)
Control-flow Reconstruction Attacks on Business Process Models
by: Kirchmann, Henrik, et al.
Published: (2024)
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)
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)
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)
by: Gadusu, Srikar Reddy, et al.
Published: (2025)
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)