On the public citation graph
Integrating security mechanisms into embedded systems by domain‐specific modelling
0 signed · 47 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/9781118558096.ch6openalex-snapshot
Software Model‐based Performance Analysis
inferredcites →https://doi.org/10.1002/cpe.2840openalex-snapshot
Scalable RDF data compression with MapReduce
inferredcites →https://doi.org/10.1007/3-540-45800-x_33openalex-snapshot
SecureUML: A UML-Based Modeling Language for Model-Driven Security
inferredcites →https://doi.org/10.1007/978-0-230-37405-8_1openalex-snapshot
Introduction to algorithms
inferredcites →https://doi.org/10.1007/978-3-642-00282-3openalex-snapshot
Model Driven Engineering and Ontology Development
inferredcites →https://doi.org/10.1007/978-3-642-04425-0_44openalex-snapshot
Automated Encapsulation of UML Activities for Incremental Development and Verification
inferredcites →https://doi.org/10.1007/978-3-642-10847-1_10openalex-snapshot
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models
inferredcites →https://doi.org/10.1007/978-3-642-13464-7_3openalex-snapshot
Reactive Semantics for Distributed UML Activities
inferredcites →https://doi.org/10.1007/978-3-642-19125-1_11openalex-snapshot
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications
inferredcites →https://doi.org/10.1007/978-3-642-24485-8_14openalex-snapshot
Engineering Android Applications Based on UML Activities
inferredcites →https://doi.org/10.1007/978-3-642-24485-8_23openalex-snapshot
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_41openalex-snapshot
Experiences of Applying UML/MARTE on Three Industrial Projects
inferredcites →https://doi.org/10.1007/978-3-642-36563-8_6openalex-snapshot
Compositional Verification of Application-Level Security Properties
inferredcites →https://doi.org/10.1007/s10270-012-0249-9openalex-snapshot
An ontology-based framework for domain-specific modeling
inferredcites →https://doi.org/10.1007/s10550-007-0013-9openalex-snapshot
Model-based security analysis in seven steps — a guided tour to the CORAS method
inferredcites →https://doi.org/10.1016/j.infsof.2008.05.004openalex-snapshot
An aspect-oriented methodology for designing secure applications
inferredcites →https://doi.org/10.1016/j.jss.2009.06.057openalex-snapshot
Tool support for the rapid composition, analysis and implementation of reactive services
inferredcites →https://doi.org/10.1109/5254.747902openalex-snapshot
What are ontologies, and why do we need them?
inferredcites →https://doi.org/10.1109/ecbs.2007.45openalex-snapshot
Integrating Security Modeling into Embedded System Design
inferredcites →https://doi.org/10.1109/icvd.2004.1260985openalex-snapshot
Tamper resistance mechanisms for secure embedded systems
inferredcites →https://doi.org/10.1109/itng.2012.103openalex-snapshot
Modeling Security Aspects in Distributed Real-Time Component-Based Embedded Systems
inferredcites →https://doi.org/10.1109/notere.2011.5957992openalex-snapshot
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties
inferredcites →https://doi.org/10.1109/pdp.2012.36openalex-snapshot
A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components
inferredcites →https://doi.org/10.1109/tse.2010.36openalex-snapshot
Verification and Trade-Off Analysis of Security Properties in UML System Models
inferredcites →https://doi.org/10.1145/1370152.1370161openalex-snapshot
Diff and merge support for model based development
inferredcites →https://doi.org/10.1145/1533057.1533084openalex-snapshot
Formalizing information security knowledge
inferredcites →https://doi.org/10.1145/1868433.1868444openalex-snapshot
Model-based security and dependability patterns in RCES
inferredcites →https://doi.org/10.1145/2422498.2422505openalex-snapshot
Security asset elicitation for collaborative models
inferredcites →https://doi.org/10.1145/2752801.2752806openalex-snapshot
Support for cross-domain composition of embedded systems using MARTE models
inferredcites →https://doi.org/10.4018/jisp.2007100101openalex-snapshot
An Ontology of Information Security
inferredcites →https://doi.org/10.5555/2050655.2050675openalex-snapshot
Engineering android applications based on UML activities
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/iis2.12909openalex-snapshot
A Conceptual Model‐Based Systems Engineering Method for Creating Secure Cyber‐Physical Systems
inferred← citeshttps://doi.org/10.1002/smr.1980openalex-snapshot
Assessing and improving the quality of security methodologies for distributed systems
inferred← citeshttps://doi.org/10.1002/sys.21444openalex-snapshot
Model‐based architecture and programmatic optimization for satellite system‐of‐systems architectures
inferred← citeshttps://doi.org/10.1007/978-3-032-41627-8_5openalex-snapshot
A Formal Model-Based Process for Engineering Reliable and Secure Interactive Applications: A Focus on Authentication
inferred← citeshttps://doi.org/10.1007/978-3-319-24255-2_25openalex-snapshot
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
inferred← citeshttps://doi.org/10.1007/978-3-319-31664-2_39openalex-snapshot
Model-Based Security Risk Analysis for Networked Embedded Systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.11.004openalex-snapshot
Model-based security engineering for cyber-physical systems: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110697openalex-snapshot
A systematic literature review of model-driven security engineering for cyber–physical systems
inferred← citeshttps://doi.org/10.1109/access.2020.3045972openalex-snapshot
Analytical Review of Cybersecurity for Embedded Systems
inferred← citeshttps://doi.org/10.1109/aero.2018.8396526openalex-snapshot
Model-based architecture optimization for major acquisition analysis of alternatives
inferred← citeshttps://doi.org/10.1109/icaaid51067.2022.9799513openalex-snapshot
Towards the Integration of Security and Safety Patterns in the Design of Safety-Critical Embedded Systems
inferred← citeshttps://doi.org/10.1109/quatic.2016.011openalex-snapshot
Use of Ontologies in Embedded Systems: A Systematic Mapping
inferred← citeshttps://doi.org/10.1145/2752801.2752806openalex-snapshot
Support for cross-domain composition of embedded systems using MARTE models
inferred← citeshttps://doi.org/10.1145/3202710.3203159openalex-snapshot
Towards ensuring security by design in cyber-physical systems engineering processes
inferred← citeshttps://doi.org/10.29327/1298730.23-16openalex-snapshot
Os Benefícios do Uso de Ontologias em Sistemas Embarcados
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.