:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lewis, Charles, Elsokary, Amal, Ji, Siyuan
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Systems and Control
Online Access:	https://arxiv.org/abs/2605.11248
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
by: Li, Zirui, et al.
Published: (2025)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)

Towards Formalising Stakeholder Context using SysML v2
by: Harrison, Matthew, et al.
Published: (2026)

Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
by: Van Kenhove, Michiel, et al.
Published: (2024)

Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
by: Ishida, Hayato, et al.
Published: (2025)

Bacterial chemotaxis control process analysis with SysML
by: James D. Johansen
Published: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
by: Kannan, Hanumanthrao, et al.
Published: (2025)

RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
by: Ueltschey, Charles Marion, et al.
Published: (2025)

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

Exploring Robustness of Image Recognition Models on Hardware Accelerators
by: Louloudakis, Nikolaos, et al.
Published: (2023)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
by: Clausen, Christian Skafte Beck, et al.
Published: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
by: Paul, Kawshik Kumar, et al.
Published: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

A Patient-Centric Blockchain Framework for Secure Electronic Health Record Management: Decoupling Data Storage from Access Control
by: Romel, Tanzim Hossain, et al.
Published: (2025)

Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
by: Matteo Duroy, et al.
Published: (2026)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
by: Mughees, Abdullah, et al.
Published: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
by: Shen, Chao, et al.
Published: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
by: Gleirscher, Mario, et al.
Published: (2017)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
by: Chrysostomou, Demetris, et al.
Published: (2025)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
by: Cavalcante, Everton, et al.
Published: (2024)