On the public citation graph
Traceability and SysML design slices to support safety inspections
0 signed · 108 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/0471028959openalex-snapshot
Encyclopedia of Software Engineering
inferredcites →https://doi.org/10.1007/11691372_5openalex-snapshot
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
inferredcites →https://doi.org/10.1007/11921998_8openalex-snapshot
Building Up and Reasoning About Architectural Knowledge
inferredcites →https://doi.org/10.1007/3-540-29263-2openalex-snapshot
Value-Based Software Engineering
inferredcites →https://doi.org/10.1007/3-540-58867-1openalex-snapshot
Formal Development of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-45143-3_10openalex-snapshot
Effectiveness of Code Reading and Functional Testing with Event-Driven Object-Oriented Software
inferredcites →https://doi.org/10.1007/978-3-540-70621-2_12openalex-snapshot
Exploring Feasibility of Software Defects Orthogonal Classification
inferredcites →https://doi.org/10.1007/978-3-540-77583-6openalex-snapshot
Rationale-Based Software Engineering
inferredcites →https://doi.org/10.1007/978-3-540-88655-6openalex-snapshot
Software and Data Technologies: Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
inferredcites →https://doi.org/10.1007/s10664-009-9121-0openalex-snapshot
Applying empirical software engineering to software architecture: challenges and lessons learned
inferredcites →https://doi.org/10.1016/0304-3975(91)90224-popenalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1016/j.apergo.2004.01.002openalex-snapshot
Understanding statistical power in the context of applied research
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.infsof.2012.01.005openalex-snapshot
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
inferredcites →https://doi.org/10.1016/j.jss.2005.05.001openalex-snapshot
Automated impact analysis of UML models
inferredcites →https://doi.org/10.1016/s0065-2458(03)62003-6openalex-snapshot
A Survey of Empirical Results on Program Slicing
inferredcites →https://doi.org/10.1016/s0953-5438(00)00025-4openalex-snapshot
Improving reviews of conceptual models by extended traceability to captured system usage
inferredcites →https://doi.org/10.1017/cbo9780511809071openalex-snapshot
Introduction to Information Retrieval
inferredcites →https://doi.org/10.1037//0021-9010.69.2.334openalex-snapshot
The Hawthorne effect: A reconsideration of the methodological artifact.
inferredcites →https://doi.org/10.1046/j.1523-1739.1997.96102.xopenalex-snapshot
Retrospective Power Analysis
inferredcites →https://doi.org/10.1109/32.799939openalex-snapshot
Building knowledge through families of experiments
inferredcites →https://doi.org/10.1109/32.895989openalex-snapshot
Toward reference models for requirements traceability
inferredcites →https://doi.org/10.1109/52.976943openalex-snapshot
Making architecture reviews work in the real world
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.2003.1201254openalex-snapshot
ViewPoints: meaningful relationships are difficult!
inferredcites →https://doi.org/10.1109/icsm.2002.1167808openalex-snapshot
Change-oriented requirements traceability. Support for evolution of embedded systems
inferredcites →https://doi.org/10.1109/icsm.2003.1235404openalex-snapshot
Slicing of state-based models
inferredcites →https://doi.org/10.1109/icsm.2003.1235427openalex-snapshot
QuaTrace: a tool environment for (semi-) automatic impact analysis based on traces
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/icst.2013.30openalex-snapshot
Classification, Structuring, and Assessment of Evidence for Safety -- A Systematic Literature Review
inferredcites →https://doi.org/10.1109/ms.2010.142openalex-snapshot
Guest Editors' Introduction: Software Architecture: Framing Stakeholders' Concerns
inferredcites →https://doi.org/10.1109/ms.2011.116openalex-snapshot
Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach
inferredcites →https://doi.org/10.1109/tse.2003.1223644openalex-snapshot
An experimental comparison of usage-based and checklist-based reading
inferredcites →https://doi.org/10.1109/tse.2011.122openalex-snapshot
Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
inferredcites →https://doi.org/10.1109/wicsa.2008.8openalex-snapshot
Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study
inferredcites →https://doi.org/10.1142/s021819400500252xopenalex-snapshot
A FRAMEWORK FOR COMPARING REQUIREMENTS TRACING EXPERIMENTS
inferredcites →https://doi.org/10.1145/1062455.1062525openalex-snapshot
Goal-centric traceability for managing non-functional requirements
inferredcites →https://doi.org/10.1145/1081706.1081717openalex-snapshot
A case study on value-based requirements tracing
inferredcites →https://doi.org/10.1145/1101908.1101970openalex-snapshot
Determining the cost-quality trade-off for automated software traceability
inferredcites →https://doi.org/10.1145/1159733.1159755openalex-snapshot
Documenting design decision rationale to improve individual and team design decision making
inferredcites →https://doi.org/10.1145/2491509.2491515openalex-snapshot
The value of design rationale information
inferredcites →https://doi.org/10.1145/308769.308798openalex-snapshot
A survey of software inspection checklists
inferredcites →https://doi.org/10.1145/638750.638776openalex-snapshot
Value-based software engineering
inferredcites →https://doi.org/10.1163/ej.9789004163300.i-1081.494openalex-snapshot
International Electrotechnical Commission
inferredcites →https://doi.org/10.1184/r1/6626345openalex-snapshot
Ultra-Large-Scale Systems: The Software Challenge of the Future
inferredcites →https://doi.org/10.2307/1420816openalex-snapshot
Experimenter Effects in Behavioral Research
inferredcites →https://doi.org/10.2307/2983604openalex-snapshot
Contingency Tables Involving Small Numbers and the χ2 Test
inferredcites →https://doi.org/10.2307/3172892openalex-snapshot
Questionnaire Design, Interviewing and Attitude Measurement
inferredcites →https://doi.org/10.5220/0001336602130221openalex-snapshot
A COMPARISON OF STRUCTURED ANALYSIS AND OBJECT ORIENTED ANALYSIS - An Experimental Study
inferredcites →https://doi.org/10.5860/choice.46-2715openalex-snapshot
Introduction to information retrieval
inferredcites →https://doi.org/10.5860/choice.49-5717openalex-snapshot
Software systems architecture: working with stakeholders using viewpoints and perspectives
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.1007/978-3-030-15538-4_5openalex-snapshot
Increasing Precision of Automatically Generated Trace Links
inferred← citeshttps://doi.org/10.1007/978-3-319-11743-0_10openalex-snapshot
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-21151-0_12openalex-snapshot
Opening the Black-Box of Model Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-54045-0_21openalex-snapshot
Using Interaction Data for Continuous Creation of Trace Links Between Source Code and Requirements in Issue Tracking Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-62407-5_10openalex-snapshot
An Event-Based Technique to Trace Requirements Modeled with SysML
inferred← citeshttps://doi.org/10.1007/978-3-319-69904-2_20openalex-snapshot
An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models
inferred← citeshttps://doi.org/10.1007/978-3-319-77243-1_5openalex-snapshot
Evaluation of Techniques to Detect Wrong Interaction Based Trace Links
inferred← citeshttps://doi.org/10.1007/978-3-319-90421-4_8openalex-snapshot
Assuring Virtual PLC in the Context of SysML Models
inferred← citeshttps://doi.org/10.1007/978-3-642-40793-2_26openalex-snapshot
A Controlled Experiment on Component Fault Trees
inferred← citeshttps://doi.org/10.1007/s10664-014-9314-zopenalex-snapshot
Do developers benefit from requirements traceability when evolving and maintaining a software system?
inferred← citeshttps://doi.org/10.1007/s10664-016-9460-6openalex-snapshot
Estimating the number of remaining links in traceability recovery
inferred← citeshttps://doi.org/10.1007/s10664-020-09831-wopenalex-snapshot
Interaction-based creation and maintenance of continuously usable trace links between requirements and source code
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.01.005openalex-snapshot
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
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.infsof.2020.106351openalex-snapshot
An empirical evaluation of the use of models to improve the understanding of safety compliance needs
inferred← citeshttps://doi.org/10.1016/j.jss.2015.06.037openalex-snapshot
Exploiting traceability uncertainty among artifacts and code
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.032openalex-snapshot
Exploiting traceability uncertainty between software architectural models and extra-functional results
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103322openalex-snapshot
Fuzzing microservices: A series of user studies in industry on industrial systems with EvoMaster
inferred← citeshttps://doi.org/10.1109/aiccsa.2017.183openalex-snapshot
A SYSML-Based Approach to Manage Stakeholder Requirements Traceability
inferred← citeshttps://doi.org/10.1109/ase.2017.8115659openalex-snapshot
Diagnosing assumption problems in safety-critical products
inferred← citeshttps://doi.org/10.1109/cist.2016.7805044openalex-snapshot
Towards a generic framework for requirements traceability management for SysML language
inferred← citeshttps://doi.org/10.1109/esem.2013.59openalex-snapshot
Experimental Comparison of Two Safety Analysis Methods and Its Replication
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/icsa-c50368.2020.00018openalex-snapshot
Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems
inferred← citeshttps://doi.org/10.1109/icsa.2019.00027openalex-snapshot
Safety Analysis Method for Cooperative Driving Systems
inferred← citeshttps://doi.org/10.1109/icse.2019.00124openalex-snapshot
Leveraging Artifact Trees to Evolve and Reuse Safety Cases
inferred← citeshttps://doi.org/10.1109/models.2017.29openalex-snapshot
Component and Connector Views in Practice: An Experience Report
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/ms.2020.3000104openalex-snapshot
Visualizing Change in Agile Safety-Critical Systems
inferred← citeshttps://doi.org/10.1109/re.2016.58openalex-snapshot
Towards Improved Requirements Engineering with SysML and the User Requirements Notation
inferred← citeshttps://doi.org/10.1109/rew.2017.72openalex-snapshot
REQDL: A Requirements Description Language to Support Requirements Traces Generation
inferred← citeshttps://doi.org/10.1109/rew.2019.00010openalex-snapshot
SysML Modeling Mistakes and Their Impacts on Requirements
inferred← citeshttps://doi.org/10.1109/tr.2019.2936072openalex-snapshot
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models
inferred← citeshttps://doi.org/10.1109/wits.2017.7934625openalex-snapshot
On the use of model transformation for requirements trace models generation
inferred← citeshttps://doi.org/10.1142/s0218194016500054openalex-snapshot
Traceability Guideline for Software Requirements and UML Design
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/2950290.2950293openalex-snapshot
Automated change impact analysis between SysML models of requirements and design
inferred← citeshttps://doi.org/10.1145/2961111.2962621openalex-snapshot
Do Models Improve the Understanding of Safety Compliance Needs?
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/3529225openalex-snapshot
The Placebo Effect of Artificial Intelligence in Human–Computer Interaction
inferred← citeshttps://doi.org/10.31449/inf.v46i1.3306openalex-snapshot
A complete traceability methodology between UML diagrams and source code based on enriched use case textual description
inferred← citeshttps://doi.org/10.3390/software1030016openalex-snapshot
A Metric for Questions and Discussions Identifying Concerns in Software Reviews
inferred← citeshttps://doi.org/10.5220/0007691001070118openalex-snapshot
Using Model Scoping with Expected Model Elements to Support Software Model Inspections: Results of a Controlled Experiment
inferred← citeshttps://doi.org/10.5381/jot.2023.22.2.a3openalex-snapshot
The OSATE Slicer: Graph-Based Reachability for Architectural Models.
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.