:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Rønneberg, Rasmus Carl
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2401.07677
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Requirements Engineering for RAG Systems
by: Sporsem, Tor, et al.
Published: (2025)

Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)

Component Based Systems: A Novel Methodology in Software Engineering
by: Usama Quadri Syed
Published: (2019)

Engineering a sustainable world by enhancing the scope of systems of systems engineering and mastering dynamics
by: Adler, Rasmus, et al.
Published: (2024)

CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
by: Houy, Sabine, et al.
Published: (2025)

An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
by: Wang, Yuxuan, et al.
Published: (2025)

PELLI: Framework to effectively integrate LLMs for quality software generation
by: Krebs, Rasmus, et al.
Published: (2026)

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
by: Kang, Sungmin, et al.
Published: (2023)

Transforming Software Development with Generative AI: Empirical Insights on Collaboration and Workflow
by: Ulfsnes, Rasmus, et al.
Published: (2024)

An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs
by: van der Spuy, Alexandra, et al.
Published: (2025)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
by: Jåtten, Bjørnar Haugstad, et al.
Published: (2025)

A Structured Approach to Safety Case Construction for AI Systems
by: Lee, Sung Une, et al.
Published: (2026)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
by: Gu, Qiqi Jason, et al.
Published: (2026)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
by: Kauffman, Sean, et al.
Published: (2024)

EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
by: Liu, Chenyan, et al.
Published: (2026)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
by: Wang, Dingding, et al.
Published: (2025)

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
by: Santos, Joanna C. S., et al.
Published: (2023)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
by: Boltz, Nicolas, et al.
Published: (2024)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
by: Li, Xiaoqi, et al.
Published: (2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
by: Ma, Zhi, et al.
Published: (2024)

Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum-Classical Systems
by: Kiwelekar, Arvind W., et al.
Published: (2026)

Verification of Quantitative Temporal Properties in RealTime-DEVS
by: González, Ariel, et al.
Published: (2024)

Using Information Flow to estimate interference between developers same method contributions
by: Filho, Roberto Souto Maior de Barros, et al.
Published: (2024)

Software Vulnerability and Functionality Assessment using LLMs
by: Jensen, Rasmus Ingemann Tuffveson, et al.
Published: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

Component Matching as a Graph Matching Problem
by: Kamath, Suresh
Published: (2024)

Dont Stop Early: Scalable Enterprise Deep Research with Controlled Information Flow and Evidence-Aware Termination
by: Choubey, Prafulla Kumar, et al.
Published: (2026)

Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
by: Chowdhury, Md Towhidul Absar, et al.
Published: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Component Matching Approach in Linking Business and Application Architecture
by: Kamath, Suresh
Published: (2024)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
by: Yoshimura, Nao, et al.
Published: (2025)

Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven Ecosystem
by: Nachuma, Costain, et al.
Published: (2025)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

DFEPT: Data Flow Embedding for Enhancing Pre-Trained Model Based Vulnerability Detection
by: Jiang, Zhonghao, et al.
Published: (2024)

ReusStdFlow: A Standardized Reusability Framework for Dynamic Workflow Construction in Agentic AI
by: Zhang, Gaoyang, et al.
Published: (2026)

Information Systems and Software Engineering: The Case for Convergence
by: Fitzgerald, Brian
Published: (2024)