On the public citation graph
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
0 signed · 49 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/11513988_27openalex-snapshot
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
inferredcites →https://doi.org/10.1007/3-540-36400-5_17openalex-snapshot
Keeping Secrets in Hardware: The Microsoft XboxTM Case Study
inferredcites →https://doi.org/10.1007/3-540-48249-0_40openalex-snapshot
The Integration of Safety and Security Requirements
inferredcites →https://doi.org/10.1007/978-3-540-27755-2_3openalex-snapshot
Timed Automata: Semantics, Algorithms and Tools
inferredcites →https://doi.org/10.1007/978-3-642-40196-1_15openalex-snapshot
ADTool: Security Analysis with Attack–Defense Trees
inferredcites →https://doi.org/10.1016/b978-0-7506-0813-8.50023-xopenalex-snapshot
Requirements analysis
inferredcites →https://doi.org/10.1016/j.jss.2012.12.002openalex-snapshot
Comparing risk identification techniques for safety and security requirements
inferredcites →https://doi.org/10.1016/j.ress.2010.06.026openalex-snapshot
Security threats to automotive CAN networks—Practical examples and selected short-term countermeasures
inferredcites →https://doi.org/10.1016/j.ress.2012.09.011openalex-snapshot
Cross-fertilization between safety and security engineering
inferredcites →https://doi.org/10.1109/2.910904openalex-snapshot
Weaving together requirements and architectures
inferredcites →https://doi.org/10.1109/49.223870openalex-snapshot
A new method for analyzing the security of cryptographic protocols
inferredcites →https://doi.org/10.1109/ares.2008.202openalex-snapshot
Towards Formal Specification of Abstract Security Properties
inferredcites →https://doi.org/10.1109/ares13894.2008openalex-snapshot
2008 Third International Conference on Availability, Reliability and Security
inferredcites →https://doi.org/10.1109/icecs.2006.379694openalex-snapshot
A UML-based Environment for System Design Space Exploration
inferredcites →https://doi.org/10.1109/icse10853.2007openalex-snapshot
29th International Conference on Software Engineering (ICSE'07)
inferredcites →https://doi.org/10.1109/icsecompanion.2007.30openalex-snapshot
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
inferredcites →https://doi.org/10.1109/itst.2009.5399279openalex-snapshot
Security requirements for automotive on-board networks
inferredcites →https://doi.org/10.1109/mc.2003.1193228openalex-snapshot
Metropolis: an integrated electronic system design environment
inferredcites →https://doi.org/10.1109/modre.2013.6597264openalex-snapshot
Towards the model-driven engineering of security requirements for embedded systems
inferredcites →https://doi.org/10.1109/qsic.2004.1357945openalex-snapshot
A first step towards formal verification of security policy properties for RBAC
inferredcites →https://doi.org/10.1109/qsic.2004.2openalex-snapshot
A first step towards formal verification of security policy properties for RBAC
inferredcites →https://doi.org/10.1109/vetecf.2011.6093061openalex-snapshot
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications
inferredcites →https://doi.org/10.1145/508791.508990openalex-snapshot
Using UMLsec and goal trees for secure systems development
inferredcites →https://doi.org/10.3233/jcs-2009-0339openalex-snapshot
Automatic verification of correspondences for security protocols
inferredcites →https://doi.org/10.4018/jsse.2010102004openalex-snapshot
Security Requirements Engineering for Evolving Software Systems
inferredcites →https://doi.org/10.70675/7f6d9769z9cc4z4fb4zb4d7z7f7ee722a040openalex-snapshot
A requirement engineering driven approach to security architecture design for distributed embedded systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.5064587openalex-extracted
Assessing cyberworthiness of complex system capabilities using the cyber evaluation and management toolkit (CEMT)
inferred← citeshttps://doi.org/10.1007/978-3-030-50936-1_121openalex-snapshot
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems
inferred← citeshttps://doi.org/10.1016/j.jisa.2020.102527openalex-snapshot
Anomaly detection in substation networks
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.1016/j.ress.2015.02.008openalex-snapshot
A survey of approaches combining safety and security for industrial control systems
inferred← citeshttps://doi.org/10.1017/pds.2021.464openalex-snapshot
METAMODEL FOR SAFETY AND SECURITY INTEGRATED SYSTEM ARCHITECTURE MODELING
inferred← citeshttps://doi.org/10.1049/cp.2015.0293openalex-snapshot
A Model Based Approach For SCADA Safety And Security Joint Modelling: S-Cube
inferred← citeshttps://doi.org/10.1051/sands/2022009openalex-snapshot
Integrated safety and security enhancement of connected automated vehicles using DHR architecture
inferred← citeshttps://doi.org/10.1109/apsec.2016.023openalex-snapshot
Model Driven Software Security Architecture of Systems-of-Systems
inferred← citeshttps://doi.org/10.1109/candarw51189.2020.00079openalex-snapshot
SUESSA: Sustainable & Ultra-Elastic Stack Security Architecture for Securing IoT Networks of Future Smart Cities
inferred← citeshttps://doi.org/10.1109/dsn-w58399.2023.00067openalex-snapshot
Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/tii.2019.2903224openalex-snapshot
Risk-Based Scheduling of Security Tasks in Industrial Control Systems With Consideration of Safety
inferred← citeshttps://doi.org/10.2495/safe150291openalex-snapshot
Over 20 years of research into cybersecurity and safety engineering: a short bibliography
inferred← citeshttps://doi.org/10.3390/fi12040065openalex-snapshot
Cybersecurity and Safety Co-Engineering of Cyberphysical Systems—A Comprehensive Survey
inferred← citeshttps://doi.org/10.3390/systems12070238openalex-snapshot
Cyber Evaluation and Management Toolkit (CEMT): Face Validity of Model-Based Cybersecurity Decision Making
inferred← citeshttps://doi.org/10.3850/978-981-18-2016-8_278-cdopenalex-snapshot
Hybridization of Safety and Security for the Design and Validation of Autonomous Vehicles: Where Are We?
inferred← citeshttps://doi.org/10.4018/978-1-5225-5984-9.ch002openalex-snapshot
A Compliance-Driven Framework for Privacy and Security in Highly Regulated Socio-Technical Environments
inferred← citeshttps://doi.org/10.4018/978-1-7998-8954-0.ch043openalex-snapshot
A Compliance-Driven Framework for Privacy and Security in Highly Regulated Socio-Technical Environments
inferred← citeshttps://doi.org/10.4018/ijtd.300744openalex-snapshot
Embedded Systems Design Space Exploration Under Security Constraints
inferred← citeshttps://doi.org/10.48550/arxiv.1709.00567openalex-snapshot
Formalized Risk Assessment for Safety and Security
inferred← citeshttps://doi.org/10.70675/db58588fz7b61z4212za3a3zfab7cf232f25openalex-snapshot
Joint safety and security modeling for risk assessment in cyber physical systems
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.