On the public citation graph
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
0 signed · 105 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/0471739421openalex-snapshot
Hazard Analysis Techniques for System Safety
inferredcites →https://doi.org/10.1007/3-540-58867-1openalex-snapshot
Formal Development of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-642-00593-0_15openalex-snapshot
Control Dependence for Extended Finite State Machines
inferredcites →https://doi.org/10.1007/978-3-642-04425-0_37openalex-snapshot
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation
inferredcites →https://doi.org/10.1007/s10270-002-0015-5openalex-snapshot
Specifying and executing behavioral requirements: the play-in/play-out approach
inferredcites →https://doi.org/10.1007/s10270-007-0066-8openalex-snapshot
XTraQue: traceability for product line systems
inferredcites →https://doi.org/10.1016/0066-4138(92)90024-jopenalex-snapshot
Techniques and tools for software assessment and certification
inferredcites →https://doi.org/10.1016/c2010-0-66331-0openalex-snapshot
A Practical Guide to SysML: The Systems Modeling Language
inferredcites →https://doi.org/10.1016/j.aei.2011.02.001openalex-snapshot
A computational framework for authoring and searching product design specifications
inferredcites →https://doi.org/10.1016/j.infsof.2008.06.002openalex-snapshot
Automated traceability analysis for UML model refinements
inferredcites →https://doi.org/10.1016/j.jss.2003.10.027openalex-snapshot
Task-directed software inspection
inferredcites →https://doi.org/10.1016/j.jss.2010.10.020openalex-snapshot
User requirements modeling and analysis of software-intensive systems
inferredcites →https://doi.org/10.1016/j.ress.2009.11.015openalex-snapshot
Reliability study of complex physical systems using SysML
inferredcites →https://doi.org/10.1016/s0950-7051(98)00047-1openalex-snapshot
Common framework for the evaluation process of KBS and conventional software
inferredcites →https://doi.org/10.1108/k.2009.06738aae.004openalex-snapshot
A Practical Guide to SysML: The Systems Modeling Language
inferredcites →https://doi.org/10.1109/32.895989openalex-snapshot
Toward reference models for requirements traceability
inferredcites →https://doi.org/10.1109/fose.2007.28openalex-snapshot
The Challenges of Building Advanced Mechatronic Systems
inferredcites →https://doi.org/10.1109/hase.2011.23openalex-snapshot
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
inferredcites →https://doi.org/10.1109/icse.2001.919087openalex-snapshot
A scenario-driven approach to traceability
inferredcites →https://doi.org/10.1109/icsm.2003.1235404openalex-snapshot
Slicing of state-based models
inferredcites →https://doi.org/10.1109/icsm.2005.34openalex-snapshot
Context-free slicing of UML class models
inferredcites →https://doi.org/10.1109/icst.2010.12openalex-snapshot
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
inferredcites →https://doi.org/10.1109/lics.1988.5115openalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1109/mc.2007.195openalex-snapshot
Best Practices for Automated Traceability
inferredcites →https://doi.org/10.1109/ms.2010.142openalex-snapshot
Guest Editors' Introduction: Software Architecture: Framing Stakeholders' Concerns
inferredcites →https://doi.org/10.1109/tefse.2009.5069578openalex-snapshot
Getting back to basics: Promoting the use of a traceability information model in practice
inferredcites →https://doi.org/10.1145/1134285.1134504openalex-snapshot
Designing concurrent, distributed, and real-time applications with UML
inferredcites →https://doi.org/10.1145/2559978openalex-snapshot
Traceability and SysML design slices to support safety inspections
inferredcites →https://doi.org/10.1145/974043.974048openalex-snapshot
From UML activity diagrams to Stochastic Petri nets
inferredcites →https://doi.org/10.2345/0899-8205(2008)42[275:sfdsse]2.0.co;2openalex-snapshot
Software for Dependable Systems: Sufficient Evidence?
inferredcites →https://doi.org/10.5555/381473.381486openalex-snapshot
A scenario-driven approach to traceability
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9783527650644.ch25openalex-snapshot
Application of Systems Engineering to Safety and Risk Management: A Human–Systems Integration Perspective
inferred← citeshttps://doi.org/10.1002/smr.2171openalex-snapshot
Using tool integration for improving traceability management testing processes: An automotive industrial experience
inferred← citeshttps://doi.org/10.1002/spe.2526openalex-snapshot
Detecting safety‐related components in statecharts through traceability and model slicing
inferred← citeshttps://doi.org/10.1002/sys.70001openalex-snapshot
Traceability Support for Engineering Reviews of Horizontal Model Evolution
inferred← citeshttps://doi.org/10.1007/978-3-030-69418-0_12openalex-snapshot
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7_2openalex-snapshot
A Survey-driven Feature Model for Software Traceability Approaches
inferred← citeshttps://doi.org/10.1007/978-3-319-05843-6_23openalex-snapshot
Safety Evidence Traceability: Problem Analysis and Model
inferred← citeshttps://doi.org/10.1007/978-3-319-07076-6_9openalex-snapshot
A Trace Management Platform for Risk-Based Security Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-27869-8_22openalex-snapshot
Model-in-the-Loop Testing of a Railway Interlocking System
inferred← citeshttps://doi.org/10.1007/978-3-319-89363-1_1openalex-snapshot
A Formal Framework for Incremental Model Slicing
inferred← citeshttps://doi.org/10.1007/978-3-642-33666-9_50openalex-snapshot
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-33675-1_6openalex-snapshot
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards
inferred← citeshttps://doi.org/10.1007/978-3-642-41533-3_5openalex-snapshot
SafetyMet: A Metamodel for Safety Standards
inferred← citeshttps://doi.org/10.1007/s10270-013-0348-2openalex-snapshot
A generic model decomposition technique and its application to the Eclipse modeling framework
inferred← citeshttps://doi.org/10.1007/s10664-017-9561-xopenalex-snapshot
Evolving software trace links between requirements and source code
inferred← citeshttps://doi.org/10.1007/s11334-016-0281-yopenalex-snapshot
A methodology for verifying SysML requirements using activity diagrams
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2021.04.011openalex-snapshot
Industrial Design and Development Software System Architecture Based on Model-Based Systems Engineering and Cloud Computing
inferred← citeshttps://doi.org/10.1016/j.eswa.2021.114572openalex-snapshot
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.11.008openalex-snapshot
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.031openalex-snapshot
Integration between requirements engineering and safety analysis: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.procs.2026.08.187openalex-snapshot
Decision-Focused Credibility Verification and Validation for Reverse-Engineered Systems-of-Systems Models
inferred← citeshttps://doi.org/10.1016/j.trip.2025.101810openalex-snapshot
A SysML-based framework towards EASA CS-23 digitalization: An MBSE approach
inferred← citeshttps://doi.org/10.1080/0951192x.2014.941938openalex-snapshot
SysML approach for the integration of mechatronics system within PLM systems
inferred← citeshttps://doi.org/10.1109/ase.2017.8115704openalex-snapshot
Incrementally slicing editable submodels
inferred← citeshttps://doi.org/10.1109/codit.2013.6689630openalex-snapshot
A modelling approach of mechatronic products in PLM Systems
inferred← citeshttps://doi.org/10.1109/compsacw.2014.88openalex-snapshot
Integrating the Modelica DSL into a Platform for Model-Based Tool Interoperability
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489616openalex-snapshot
Software architecture knowledge management for safety systems
inferred← citeshttps://doi.org/10.1109/hase.2011.23openalex-snapshot
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
inferred← citeshttps://doi.org/10.1109/iceccs59891.2023.00024openalex-snapshot
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models
inferred← citeshttps://doi.org/10.1109/icse-c.2017.44openalex-snapshot
Managing Assurance Cases in Model Based Software Systems
inferred← citeshttps://doi.org/10.1109/icsme.2016.57openalex-snapshot
Evolving Requirements-to-Code Trace Links across Versions of a Software System
inferred← citeshttps://doi.org/10.1109/issrew.2016.12openalex-snapshot
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
inferred← citeshttps://doi.org/10.1109/issrew67781.2025.00063openalex-snapshot
Linking Medical Device Assurance Cases
inferred← citeshttps://doi.org/10.1109/modre.2018.00012openalex-snapshot
Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems
inferred← citeshttps://doi.org/10.1109/re.2015.7320420openalex-snapshot
A quality model for the systematic assessment of requirements traceability
inferred← citeshttps://doi.org/10.1109/re.2016.32openalex-snapshot
TraceBoK: Toward a Software Requirements Traceability Body of Knowledge
inferred← citeshttps://doi.org/10.1109/rew.2019.00010openalex-snapshot
SysML Modeling Mistakes and Their Impacts on Requirements
inferred← citeshttps://doi.org/10.1109/rew61692.2024.00014openalex-snapshot
Requirements-Driven Slicing of Simulink Models using LLMs
inferred← citeshttps://doi.org/10.1109/sysose.2012.6384139openalex-snapshot
A model-driven approach for configuring and deploying Systems of Systems
inferred← citeshttps://doi.org/10.1109/tase.2018.00026openalex-snapshot
Decomposing Models Through Dependency Graphs
inferred← citeshttps://doi.org/10.1109/tse.2016.2622264openalex-snapshot
Preventing Defects: The Impact of Requirements Traceability Completeness on Software Quality
inferred← citeshttps://doi.org/10.1109/wicsa.2016.23openalex-snapshot
Flow Sensitive Slicing for MATLAB/Simulink Models
inferred← citeshttps://doi.org/10.1142/s0218194016500054openalex-snapshot
Traceability Guideline for Software Requirements and UML Design
inferred← citeshttps://doi.org/10.1145/2559978openalex-snapshot
Traceability and SysML design slices to support safety inspections
inferred← citeshttps://doi.org/10.1145/2568225.2568290openalex-snapshot
Mind the gap: assessing the conformance of software traceability to relevant guidelines
inferred← citeshttps://doi.org/10.1145/2601248.2601259openalex-snapshot
On the effect of using SysML requirement diagrams to comprehend requirements
inferred← citeshttps://doi.org/10.1145/2635868.2666606openalex-snapshot
Traceability and model checking to support safety requirement verification
inferred← citeshttps://doi.org/10.1145/2896982.2896985openalex-snapshot
Model management for regulatory compliance
inferred← citeshttps://doi.org/10.1145/2976767.2976792openalex-snapshot
A model management approach for assurance case reuse due to system evolution
inferred← citeshttps://doi.org/10.1145/3377811.3380332openalex-snapshot
A novel approach to tracing safety requirements and state-based design models
inferred← citeshttps://doi.org/10.1145/3377811.3380418openalex-snapshot
Improving the effectiveness of traceability link recovery using hierarchical bayesian networks
inferred← citeshttps://doi.org/10.1145/3551349.3556948openalex-snapshot
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
inferred← citeshttps://doi.org/10.1145/3573428.3573470openalex-snapshot
Automatic generation of SysML requirement models based on Chinese natural language requirements
inferred← citeshttps://doi.org/10.1145/3597503.3639130openalex-snapshot
Recovering Trace Links Between Software Documentation And Code
inferred← citeshttps://doi.org/10.1145/3597503.3639164openalex-snapshot
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
inferred← citeshttps://doi.org/10.1145/3652620.3688568openalex-snapshot
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development
inferred← citeshttps://doi.org/10.1145/3796731.3796950openalex-snapshot
Model-Based Simulation Analysis of Functional Behavior in Civil Aircraft Landing Gear System
inferred← citeshttps://doi.org/10.11606/t.55.2016.tde-22112016-161607openalex-snapshot
A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering
inferred← citeshttps://doi.org/10.1177/00375497231205035openalex-snapshot
Validity Frame–enabled model-based engineering processes
inferred← citeshttps://doi.org/10.1177/10692509251352461openalex-snapshot
Models and tools for supporting sustainability assessment in Systems Engineering
inferred← citeshttps://doi.org/10.1504/ijccbs.2015.073530openalex-snapshot
Investigating fulfilment of traceability requirements in a combined process for safety and security assessments
inferred← citeshttps://doi.org/10.3390/electronics14244930openalex-snapshot
Quantifying Environmental Assumptions Volatility and Its Role in Requirements Technical Debt Accumulation
inferred← citeshttps://doi.org/10.3390/modelling4020009openalex-snapshot
Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
inferred← citeshttps://doi.org/10.4018/ijsda.2018100104openalex-snapshot
Enabling the Interoperability of the Modelica DSL and Matlab Simulink towards the Development of Self-Adaptive Dynamic Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1710.03129openalex-snapshot
Grand Challenges of Traceability: The Next Ten Years
inferred← citeshttps://doi.org/10.5220/0005244805090519openalex-snapshot
Model-Driven Engineering of a Railway Interlocking System
inferred← citeshttps://doi.org/10.70675/a5b129acz8d80z43f5zabfbz7239873aaef6openalex-snapshot
Multi-Faceted Modelling of Multi-Energy Systems : Stakeholders Coordination
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.