Cover Image

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kräuter, Tim, Rutle, Adrian, Lamo, Yngve, König, Harald, Durán, Francisco
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Visual Debugger Tool
by: Kräuter, Tim, et al.
Published: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
by: Kräuter, Tim, et al.
Published: (2023)

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

The Visual Debugger: Past, Present, and Future
by: Kräuter, Tim, et al.
Published: (2024)

Towards behavioral consistency in heterogeneous modeling scenarios
by: Kräuter, Tim
Published: (2024)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

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

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

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

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

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
by: Brugger, Lea Salome, et al.
Published: (2025)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
by: Menzies, Tim
Published: (2025)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
by: Xu, Yujia, et al.
Published: (2026)

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
by: Rayegan, Amirali, et al.
Published: (2025)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
by: Eris, Halit, et al.
Published: (2025)

Digital Ecosystem for FAIR Time Series Data Management in Environmental System Science
by: Bumberger, J., et al.
Published: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

How Low Can You Go? The Data-Light SE Challenge
by: Ganguly, Kishan Kumar, et al.
Published: (2025)

Which Types of Heterogeneity Matter for Root Cause Localization in Microservice Systems ?
by: Wang, Runzhou, et al.
Published: (2026)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Towards Effective Collaboration between Software Engineers and Data Scientists developing Machine Learning-Enabled Systems
by: Busquim, Gabriel, et al.
Published: (2024)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Towards Model-Driven Dashboard Generation for Systems-of-Systems
by: Rossi, Maria Teresa, et al.
Published: (2024)

Toward Realistic Evaluations of Just-In-Time Vulnerability Prediction
by: Nguyen, Duong, et al.
Published: (2025)

PVAC: Package Version Activity Categorizer, Leveraging Semantic Versioning in a Heterogeneous System
by: Panter, Shane K., et al.
Published: (2024)

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)