On the public citation graph
An AADL-Based Modeling Method for ARINC653-Based Avionics Software
0 signed · 20 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/stvr.422openalex-snapshot
Verification support for ARINC‐653‐based avionics software
inferredcites →https://doi.org/10.1109/dasc.2007.4391842openalex-snapshot
Transitioning from federated avionics architectures to Integrated Modular Avionics
inferredcites →https://doi.org/10.1109/iceccs.2007.41openalex-snapshot
The AADL behaviour annex -- experiments and roadmap
inferredcites →https://doi.org/10.1109/mc.2009.294openalex-snapshot
Model-Driven Engineering and Safety-Critical Embedded Software
inferredcites →https://doi.org/10.1109/rttas.2003.1203046openalex-snapshot
Synchronous modeling of avionics applications using the signal language
inferredcites →https://doi.org/10.1142/3303openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1901openalex-snapshot
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
inferred← citeshttps://doi.org/10.1007/978-3-319-22689-7_7openalex-snapshot
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL
inferred← citeshttps://doi.org/10.1016/j.is.2021.101727openalex-snapshot
The FORA Fog Computing Platform for Industrial IoT
inferred← citeshttps://doi.org/10.1049/tje2.12069openalex-snapshot
Electric drives as fog nodes in a fog computing‐based industrial use case
inferred← citeshttps://doi.org/10.1108/aeat-01-2020-0014openalex-snapshot
Communication scheduling data generation for pre-configured IMA network
inferred← citeshttps://doi.org/10.1109/dasc58513.2023.10311179openalex-snapshot
Avionics Platform Design Optimization Considering Multi-/Many-core Processors
inferred← citeshttps://doi.org/10.1109/icrms.2016.8050088openalex-snapshot
Transformation rules from AADL to improved colored GSPN for integrated modular avionics
inferred← citeshttps://doi.org/10.1109/issre.2015.7381821openalex-snapshot
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B
inferred← citeshttps://doi.org/10.1109/qrs65678.2025.00037openalex-snapshot
Towards Automated and Accurate Understanding of ARINC Standard in Heterogeneous Data Formats
inferred← citeshttps://doi.org/10.1109/tii.2016.2569414openalex-snapshot
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement
inferred← citeshttps://doi.org/10.1145/3617183openalex-snapshot
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
inferred← citeshttps://doi.org/10.48550/arxiv.1701.01535openalex-snapshot
High-Assurance Separation Kernels: A Survey on Formal Methods
inferred← citeshttps://doi.org/10.5220/0005241202470258openalex-snapshot
RA2DL: New Flexible Solution for Adaptive AADL-based Control Components
inferred← citeshttps://doi.org/10.5281/zenodo.5856301openalex-snapshot
The FORA Fog Computing Platform for Industrial IoT
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.