:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jean‐Charles Chaudemar, Kevin Delmas, Charles Mathou, Pierre de Saqui‐Sannes
Format:	Artículo Open Access
Published:	Wiley 2026
Subjects:	Systems Engineering
Online Access:	https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.70052
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
by: Julitz, Tim Maurice, et al.
Published: (2024)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)

Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
by: Parth Ganeriwala, et al.
Published: (2025)

Design of Safety Pattern for eVTOL Aircraft Systems Based on MBSE—A Comprehensive Approach
by: Boyang Li, et al.
Published: (2025)

Transforming Natural Language Requirements to Formalism Using LLMs
by: Baoluo Meng, et al.
Published: (2025)

Addressing Complexity in System of Systems With GraphRAG: An AI‐Driven Framework for Dynamic Data Integration
by: Yinchien Huang, et al.
Published: (2025)

Model‐Driven Engineering for Digital Twins: Opportunities and Challenges
by: Judith Michael, et al.
Published: (2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)

Formalization of the AADL Run-Time Services with Time
by: Larson, Brian R, et al.
Published: (2025)

Computational Foundations for Strategic Coopetition: Formalizing Trust and Reputation Dynamics
by: Pant, Vik, et al.
Published: (2025)

Model‐Based Approach for Civil Aviation Material Support System Modeling
by: Jie Chen, et al.
Published: (2025)

Model‐Based Modularization Approach for Reconfigurable System Architecture Design
by: Zhemei Fang, et al.
Published: (2026)

Safety Monitoring of Machine Learning Perception Functions: a Survey
by: Ferreira, Raul Sena, et al.
Published: (2024)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

Lean Modeling and Simulation Approach for Improving CFB Boiler Start‐Up Capability
by: Timo Yli‐Fossi, et al.
Published: (2025)

TDFlow: Agentic Workflows for Test Driven Development
by: Han, Kevin, et al.
Published: (2025)

A Model‐Based System Reliability Design Method Combining Dynamic Visualization Analysis
by: Yuan Wenqiang, et al.
Published: (2026)

Computational Foundations for Strategic Coopetition: Formalizing Interdependence and Complementarity
by: Pant, Vik, et al.
Published: (2025)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Model‐based systems engineering and safety assessment: A workflow for mechatronic systems design
by: Imane Bouhali, et al.
Published: (2024)

An Approach to Include Web-based Interaction Into Systems of Systems
by: Miguel Angel, Barcelona, et al.
Published: (2016)

Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach
by: Jack Fitzpatrick, et al.
Published: (2025)

Accelerating Drug Discovery Through Agentic AI: A Multi-Agent Approach to Laboratory Automation in the DMTA Cycle
by: Fehlis, Yao, et al.
Published: (2025)

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

Spiral Approach for Non‐Software Product and Engineering System Development
by: Isha Amod Gujarathi, et al.
Published: (2025)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)

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

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)

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

Assuring Safety of Vision-Based Swarm Formation Control
by: Hsieh, Chiao, et al.
Published: (2022)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
by: Untila, Octavian
Published: (2026)

Advancing Human‐AI Collaboration in Small and Medium‐Sized Enterprises: A Systems Engineering Approach
by: Luis Flavio Ortolano, et al.
Published: (2025)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Computational Foundations for Strategic Coopetition: Formalizing Collective Action and Loyalty
by: Pant, Vik, et al.
Published: (2026)

Data-Driven Estimation of Failure Probabilities in Correlated Structure-Preserving Stochastic Power System Models
by: Zhao, Hongli, et al.
Published: (2024)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
by: Goffi, Pierre-Emmanuel, et al.
Published: (2025)

Towards an Approach for Specifying Intelligent Systems Involving Foundation Model Based Agents
by: Araújo, Julia, et al.
Published: (2025)

The Open Autonomy Safety Case Framework
by: Wagner, Michael, et al.
Published: (2024)