On the public citation graph
Your "What" Is My "How": Iteration and Hierarchy in System Design
0 signed · 80 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.1007/3-540-48153-2_30openalex-snapshot
Circular Compositional Reasoning about Liveness
inferredcites →https://doi.org/10.1007/978-3-642-28891-3_13openalex-snapshot
Compositional Verification of Architectural Models
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/2.869384openalex-snapshot
Requirements that handle IKIWISI, COTS, and rapid change
inferredcites →https://doi.org/10.1109/2.910904openalex-snapshot
Weaving together requirements and architectures
inferredcites →https://doi.org/10.1109/isre.1993.324825openalex-snapshot
Analyzing software requirements errors in safety-critical, embedded systems
inferredcites →https://doi.org/10.1109/isre.2001.948549openalex-snapshot
Will it work? [Requirements engineering]
inferredcites →https://doi.org/10.1145/1646353.1646372openalex-snapshot
Software model checking takes off
inferredcites →https://doi.org/10.1145/2038642.2038675openalex-snapshot
New challenges in certification for aircraft software
inferredcites →https://doi.org/10.7551/mitpress/7549.003.0004openalex-snapshot
Social Modeling for Requirements Engineering: An Introduction
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/sys.21816openalex-snapshot
Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_21openalex-snapshot
Run-Time Assurance for Learning-Enabled Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_19openalex-snapshot
Assume-Guarantee Reasoning with Scheduled Components
inferred← citeshttps://doi.org/10.1007/978-3-319-10975-6_4openalex-snapshot
Towards Developing Secure Software Using Problem-Oriented Security Patterns
inferred← citeshttps://doi.org/10.1007/978-3-319-17524-9_13openalex-snapshot
Towards Realizability Checking of Contracts Using Theories
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_17openalex-snapshot
Formal Architecture Modeling of Sequential C-Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-29613-5_7openalex-snapshot
Machine-Checked Proofs for Realizability Checking Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-40648-0_28openalex-snapshot
From Design Contracts to Component Requirements Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-63194-3_7openalex-snapshot
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
inferred← citeshttps://doi.org/10.1007/s00766-017-0286-6openalex-snapshot
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions
inferred← citeshttps://doi.org/10.1007/s00766-019-00316-xopenalex-snapshot
Automating requirements analysis and test case generation
inferred← citeshttps://doi.org/10.1007/s10270-015-0481-1openalex-snapshot
Contract-based modeling and verification of timed safety requirements within SysML
inferred← citeshttps://doi.org/10.1007/s10270-021-00892-zopenalex-snapshot
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering
inferred← citeshttps://doi.org/10.1007/s10270-023-01096-3openalex-snapshot
Synthesizing verified components for cyber assured systems engineering
inferred← citeshttps://doi.org/10.1016/j.array.2020.100030openalex-snapshot
A survey on the formalisation of system requirements and their validation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.471openalex-snapshot
Executable Specifications of Safety-Critical Systems with S#
inferred← citeshttps://doi.org/10.1016/j.infsof.2021.106535openalex-snapshot
Alignment and granularity of requirements and architecture in agile development: A functional perspective
inferred← citeshttps://doi.org/10.1016/j.jii.2023.100465openalex-snapshot
A model-based methodology to support systems security design and assessment
inferred← citeshttps://doi.org/10.1016/j.jss.2018.07.053openalex-snapshot
Early validation of system requirements and design through correctness-by-construction
inferred← citeshttps://doi.org/10.1016/j.scico.2017.03.007openalex-snapshot
Formal architecture modeling of sequential non-recursive C programs
inferred← citeshttps://doi.org/10.1098/rsta.2015.0401openalex-snapshot
The HACMS program: using formal methods to eliminate exploitable bugs
inferred← citeshttps://doi.org/10.1109/acvi.2016.8openalex-snapshot
Integration Beyond Components and Models: Research Challenges and Directions
inferred← citeshttps://doi.org/10.1109/dasc50938.2020.9256581openalex-snapshot
Run-Time Assurance for Learning-Based Aircraft Taxiing
inferred← citeshttps://doi.org/10.1109/dasc66011.2025.11257175openalex-snapshot
Modeling and Formal Analysis of High-Assurance Mixed-Reality Systems
inferred← citeshttps://doi.org/10.1109/hase.2016.16openalex-snapshot
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
inferred← citeshttps://doi.org/10.1109/hase.2016.25openalex-snapshot
Compositional Architecture Design for Fuel Tank Thermal Systems
inferred← citeshttps://doi.org/10.1109/iwspm.2014.6891064openalex-snapshot
Alignment of software product management and software architecture with discussion models
inferred← citeshttps://doi.org/10.1109/mc.2018.2876051openalex-snapshot
A Formal Approach to Constructing Secure Air Vehicle Software
inferred← citeshttps://doi.org/10.1109/mcs.2023.3234380openalex-snapshot
Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
inferred← citeshttps://doi.org/10.1109/mitp.2016.37openalex-snapshot
The Need for a Modular Approach to IT Enablement
inferred← citeshttps://doi.org/10.1109/models50736.2021.00029openalex-snapshot
Synthesizing Verified Components for Cyber Assured Systems Engineering
inferred← citeshttps://doi.org/10.1109/ms.2016.94openalex-snapshot
Requirements and Architectures for Secure Vehicles
inferred← citeshttps://doi.org/10.1109/re.2018.00036openalex-snapshot
Towards Development of Complete and Conflict-Free Requirements
inferred← citeshttps://doi.org/10.1109/re.2019.00028openalex-snapshot
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design
inferred← citeshttps://doi.org/10.1109/smc58881.2025.11343623openalex-snapshot
Formal Analysis of Vulnerabilities in Mixed-Reality Systems
inferred← citeshttps://doi.org/10.1109/syscon47679.2020.9275657openalex-snapshot
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms
inferred← citeshttps://doi.org/10.1109/syscon53073.2023.10131227openalex-snapshot
Assuring Learning-Enabled Increasingly Autonomous Systems*
inferred← citeshttps://doi.org/10.1109/syscon66367.2026.11503470openalex-snapshot
Compositional Reasoning over System Architectures with Integrated Cognitive Models
inferred← citeshttps://doi.org/10.1145/2527269.2527272openalex-snapshot
Compositional verification of a medical device system
inferred← citeshttps://doi.org/10.1145/2593770.2593776openalex-snapshot
Structuring simulink models for verification and reuse
inferred← citeshttps://doi.org/10.1145/2593861.2593863openalex-snapshot
Helping system engineers bridge the peaks
inferred← citeshttps://doi.org/10.1145/2642937.2643007openalex-snapshot
Automated requirements analysis for a molecular watchdog timer
inferred← citeshttps://doi.org/10.1145/2658982.2527272openalex-snapshot
Compositional verification of a medical device system
inferred← citeshttps://doi.org/10.1145/2721956.2721963openalex-snapshot
Problem-oriented security patterns for requirements engineering
inferred← citeshttps://doi.org/10.1145/2735960.2735979openalex-snapshot
Cyber-physical specification mismatch identification with dynamic analysis
inferred← citeshttps://doi.org/10.1145/2897667.2897675openalex-snapshot
Towards synthesis from assume-guarantee contracts involving infinite theories
inferred← citeshttps://doi.org/10.1145/2968478.2968490openalex-snapshot
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability
inferred← citeshttps://doi.org/10.1145/3092893.3092899openalex-snapshot
Analysis and Design of Safety-critical, Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3170500openalex-snapshot
Cyber-Physical Specification Mismatches
inferred← citeshttps://doi.org/10.1145/3295740openalex-snapshot
Runtime Fault Detection in Programmed Molecular Systems
inferred← citeshttps://doi.org/10.1145/3445034.3460507openalex-snapshot
Resolute assurance arguments for cyber assured systems engineering
inferred← citeshttps://doi.org/10.1145/3524482.3527650openalex-snapshot
Counterexample-guided inductive repair of reactive contracts
inferred← citeshttps://doi.org/10.23940/ijpe.17.07.p14.11111122openalex-snapshot
Automatic Generation of the AADL ALISA Verification Plan with ATL
inferred← citeshttps://doi.org/10.24251/hicss.2023.447openalex-snapshot
Architecture Design Options for Federated Data Spaces
inferred← citeshttps://doi.org/10.24840/2183-0606_014.001_0003openalex-snapshot
Revisiting Value Configurations: A Multi-Dimensional Framework for Hybrid Forms and Transition Analysis
inferred← citeshttps://doi.org/10.2514/1.i010471openalex-snapshot
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control
inferred← citeshttps://doi.org/10.2514/6.2015-4529openalex-snapshot
Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System
inferred← citeshttps://doi.org/10.2514/6.2016-0222openalex-snapshot
Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System
inferred← citeshttps://doi.org/10.4204/eptcs.348.11openalex-snapshot
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
inferred← citeshttps://doi.org/10.48550/arxiv.1502.03005openalex-snapshot
Towards Realizability Checking of Contracts using Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1602.00148openalex-snapshot
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report
inferred← citeshttps://doi.org/10.48550/arxiv.1806.09224openalex-snapshot
Cyber-Physical Specification Mismatches
inferred← citeshttps://doi.org/10.56094/jss.v51i2.159openalex-snapshot
Applicability of MIL-HDBK-516B to Certifying Autonomous Decision-Making Air Vehicle Systems
inferred← citeshttps://doi.org/10.70675/5beac987z4705z4f0czaa33z7f52c9187f6bopenalex-snapshot
Safe and secure model-driven design for embedded systems
inferred← citeshttps://doi.org/10.7717/peerj-cs.2575openalex-snapshot
An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency
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.