Cover Image

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kratz, Maximilian, Ehmes, Sebastian, Menzel, Philipp Maximilian, Schürr, Andy
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.1; D.2.2; D.2.3; D.3.4; G.1.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Teaching Complex Systems based on Microservices
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

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

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

Code Documentation and Analysis to Secure Software Development
by: Attie, Paul, et al.
Published: (2024)

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, et al.
Published: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
by: Ferrari, Alessio, et al.
Published: (2024)

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

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

Early-Stage Requirements Transformation Approaches: A Systematic Review
by: Letsholo, Keletso J.
Published: (2024)

SIADAFIX: issue description response for adaptive program repair
by: Cao, Xin, et al.
Published: (2025)

Characterizing JavaScript Security Code Smells
by: Kambhampati, Vikas, et al.
Published: (2024)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
by: Dalbo, Kyra, et al.
Published: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
by: Chen, Xinfang, et al.
Published: (2025)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
by: Michael, Judith, et al.
Published: (2025)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
by: Moreira, Jasmine
Published: (2026)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
by: Mironov, Sergei
Published: (2025)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
by: Alkewitz, Leonhard, et al.
Published: (2024)

Optimizing Large Language Models for OpenAPI Code Completion
by: Petryshyn, Bohdan, et al.
Published: (2024)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
by: Dinu, Ion George, et al.
Published: (2026)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
by: Xu, Jiexi
Published: (2025)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
by: Holt, Samuel, et al.
Published: (2023)

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

Source Code Hotspots: A Diagnostic Method for Quality Issues
by: Muzammil, Saleha, et al.
Published: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

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)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
by: Baima, Renan Lima, et al.
Published: (2024)

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

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
by: Paipuru, Tarakanath
Published: (2026)