Copertina

A knowledge-driven framework for synthesizing designs from modular components

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chaumet, Constantin, Rehof, Jakob, Schuster, Thomas
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Robotics Software Engineering J.6; F.4.1; D.2.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
di: Chaumet, Constantin, et al.
Pubblicazione: (2023)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
di: Lahiri, Shuvendu K.
Pubblicazione: (2024)

Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach
di: Ettema, Harmen, et al.
Pubblicazione: (2008)

Towards Comprehensive Sampling of SMT Solutions
di: Lyu, Shuangyu, et al.
Pubblicazione: (2025)

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

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

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

Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
di: Surana, Shraddha, et al.
Pubblicazione: (2025)

Applying the CobiT Control Framework to Spreadsheet Developments
di: Butler, Raymond J.
Pubblicazione: (2008)

Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
di: Rust, Alan, et al.
Pubblicazione: (2008)

Converting BPMN Diagrams to Privacy Calculus
di: Pitsiladis, Georgios V., et al.
Pubblicazione: (2024)

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

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

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

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

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

Spreadsheet Debugging
di: Ayalew, Yirsaw, et al.
Pubblicazione: (2008)

Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives)
di: Murphy, Simon
Pubblicazione: (2008)

Recommended Practices for Spreadsheet Testing
di: Panko, Raymond R.
Pubblicazione: (2007)

Reducing Overconfidence in Spreadsheet Development
di: Panko, Raymond R.
Pubblicazione: (2008)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
di: Kiashemshaki, Kiana, et al.
Pubblicazione: (2025)

modOpt: A modular development environment and library for optimization algorithms
di: Joshy, Anugrah Jo, et al.
Pubblicazione: (2024)

Spreadsheet Engineering: A Research Framework
di: Grossman, Thomas A.
Pubblicazione: (2007)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
di: Ehmes, Sebastian, et al.
Pubblicazione: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
di: Mitra, Joydeep, et al.
Pubblicazione: (2020)

What is Business Process Automation Anyway?
di: Vu, Hoang, et al.
Pubblicazione: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
di: Vatsa, Adarsh, et al.
Pubblicazione: (2025)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
di: Grossman, Thomas A.
Pubblicazione: (2008)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
di: Chen, Jinbao, et al.
Pubblicazione: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
di: Susan, Ştefan-Claudiu, et al.
Pubblicazione: (2025)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
di: Akanji, Olawale Amos, et al.
Pubblicazione: (2026)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
di: Slater, Tyler
Pubblicazione: (2025)

The Fluted Fragment with Transitive Relations
di: Pratt-Hartmann, Ian, et al.
Pubblicazione: (2020)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
di: de Rezende, Susanna F., et al.
Pubblicazione: (2019)

An LSTM-based Test Selection Method for Self-Driving Cars
di: Güllü, Ali, et al.
Pubblicazione: (2025)

Extending Structural Causal Models for Autonomous Vehicles to Simplify Temporal System Construction & Enable Dynamic Interactions Between Agents
di: Howard, Rhys, et al.
Pubblicazione: (2024)