:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chaumet, Constantin, Rehof, Jakob
Format:	Preprint
Publié:	2023
Sujets:	Robotics Software Engineering J.6; F.4.1; D.2.2
Accès en ligne:	https://arxiv.org/abs/2311.18492
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A knowledge-driven framework for synthesizing designs from modular components
par: Chaumet, Constantin, et autres
Publié: (2023)

Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach
par: Ettema, Harmen, et autres
Publié: (2008)

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

Towards Comprehensive Sampling of SMT Solutions
par: Lyu, Shuangyu, et autres
Publié: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
par: Surana, Shraddha, et autres
Publié: (2025)

Applying the CobiT Control Framework to Spreadsheet Developments
par: Butler, Raymond J.
Publié: (2008)

Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
par: Rust, Alan, et autres
Publié: (2008)

Converting BPMN Diagrams to Privacy Calculus
par: Pitsiladis, Georgios V., et autres
Publié: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
par: Beg, Arshad, et autres
Publié: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
par: Beg, Arshad, et autres
Publié: (2026)

Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
par: Beg, Arshad, et autres
Publié: (2026)

Spreadsheet Debugging
par: Ayalew, Yirsaw, et autres
Publié: (2008)

Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives)
par: Murphy, Simon
Publié: (2008)

Reducing Overconfidence in Spreadsheet Development
par: Panko, Raymond R.
Publié: (2008)

Recommended Practices for Spreadsheet Testing
par: Panko, Raymond R.
Publié: (2007)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
par: Vatsa, Adarsh, et autres
Publié: (2025)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
par: Kratz, Maximilian, et autres
Publié: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
par: Ehmes, Sebastian, et autres
Publié: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
par: Kratz, Maximilian, et autres
Publié: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Spreadsheet Engineering: A Research Framework
par: Grossman, Thomas A.
Publié: (2007)

What is Business Process Automation Anyway?
par: Vu, Hoang, et autres
Publié: (2025)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Extending Structural Causal Models for Autonomous Vehicles to Simplify Temporal System Construction & Enable Dynamic Interactions Between Agents
par: Howard, Rhys, et autres
Publié: (2024)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
par: Liu, Kuangxiangzi, et autres
Publié: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

modOpt: A modular development environment and library for optimization algorithms
par: Joshy, Anugrah Jo, et autres
Publié: (2024)

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

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
par: Akanji, Olawale Amos, et autres
Publié: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
par: Susan, Ştefan-Claudiu, et autres
Publié: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
par: Chen, Jinbao, et autres
Publié: (2024)

Trustful Coopetitive Infrastructures for the New Space Exploration Era
par: Baima, Renan Lima, et autres
Publié: (2024)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
par: Slater, Tyler
Publié: (2025)

An LSTM-based Test Selection Method for Self-Driving Cars
par: Güllü, Ali, et autres
Publié: (2025)