On the public citation graph
Dependable Model-driven Development of CPS
0 signed · 82 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-63141-0_10openalex-snapshot
Reachability analysis of pushdown automata: Application to model-checking
inferredcites →https://doi.org/10.1007/978-1-4020-8157-6_13openalex-snapshot
Dependability and Its Threats: A Taxonomy
inferredcites →https://doi.org/10.1007/978-3-319-10702-8_9openalex-snapshot
An Open Alternative for SMT-Based Verification of Scade Models
inferredcites →https://doi.org/10.1007/978-3-319-48989-6_47openalex-snapshot
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_36openalex-snapshot
Java-MOP: A Monitoring Oriented Programming Environment for Java
inferredcites →https://doi.org/10.1007/978-3-540-68524-1_3openalex-snapshot
Runtime Verification of C Programs
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_19openalex-snapshot
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
inferredcites →https://doi.org/10.1007/978-3-540-79707-4_2openalex-snapshot
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_59openalex-snapshot
PAT: Towards Flexible Verification under Fairness
inferredcites →https://doi.org/10.1007/s10009-012-0235-0openalex-snapshot
Formal modeling and validation of Stateflow diagrams
inferredcites →https://doi.org/10.1016/c2015-0-00708-0openalex-snapshot
Cyber-Physical Systems: Foundations, Principles and Applications
inferredcites →https://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot
A brief account of runtime verification
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
inferredcites →https://doi.org/10.1109/cmpass.1996.507891openalex-snapshot
T-VEC: a tool for developing critical systems
inferredcites →https://doi.org/10.1109/compsac.2013.89openalex-snapshot
Verification and Implementation of the Protocol Standard in Train Control System
inferredcites →https://doi.org/10.1109/lics.2002.1029846openalex-snapshot
Temporal logic with forgettable past
inferredcites →https://doi.org/10.1109/ms.2001.936213openalex-snapshot
Using simplicity to control complexity
inferredcites →https://doi.org/10.1109/rtas.2012.25openalex-snapshot
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
inferredcites →https://doi.org/10.1109/rtas.2016.7461337openalex-snapshot
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
inferredcites →https://doi.org/10.1109/rtss.2008.43openalex-snapshot
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
inferredcites →https://doi.org/10.1109/tdsc.2004.2openalex-snapshot
Basic concepts and taxonomy of dependable and secure computing
inferredcites →https://doi.org/10.1109/tie.2012.2225393openalex-snapshot
Bayesian-Network-Based Reliability Analysis of PLC Systems
inferredcites →https://doi.org/10.1109/tie.2014.2316234openalex-snapshot
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques
inferredcites →https://doi.org/10.1109/tpds.2014.2346171openalex-snapshot
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks
inferredcites →https://doi.org/10.1109/vetecs.2000.851393openalex-snapshot
IEC 61375-1 and UIC 556-international standards for train communication
inferredcites →https://doi.org/10.1109/wd.2013.6686528openalex-snapshot
Cyber Physical System: Architecture, applications and research challenges
inferredcites →https://doi.org/10.1145/1052898.1052901openalex-snapshot
An expressive aspect language for system applications with Arachne
inferredcites →https://doi.org/10.1145/1450058.1450071openalex-snapshot
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
inferredcites →https://doi.org/10.1145/2584651openalex-snapshot
Safety-critical medical device development using the UPP2SF model translation tool
inferredcites →https://doi.org/10.1145/2889160.2889233openalex-snapshot
Use runtime verification to improve the quality of medical care practice
inferredcites →https://doi.org/10.1145/2970276.2970293openalex-snapshot
Verifying simulink stateflow model: timed automata approach
inferredcites →https://doi.org/10.1145/780731.780754openalex-snapshot
From simulink to SCADE/lustre to TTA
inferredcites →https://doi.org/10.1175/2008mwr2415.1openalex-snapshot
SAL—A Novel Quality Measure for the Verification of Quantitative Precipitation Forecasts
inferredcites →https://doi.org/10.4337/9781781009789.00012openalex-snapshot
Building the Information Society
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2482openalex-snapshot
Safety and security risks management process for cyber‐physical systems: A case study
inferred← citeshttps://doi.org/10.1007/978-3-030-71017-0_58openalex-snapshot
Quadratic Integer Programming Approach for Reliability Optimization of Cyber-Physical Systems Under Uncertainty Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_25openalex-snapshot
Machine-Checked Executable Semantics of Stateflow
inferred← citeshttps://doi.org/10.1007/978-981-96-8709-1_6openalex-snapshot
Data-Driven Modeling and Simulation in Cyber Physical Systems
inferred← citeshttps://doi.org/10.1007/s10270-020-00806-5openalex-snapshot
Mixed-semantics composition of statecharts for the component-based design of reactive systems
inferred← citeshttps://doi.org/10.1016/j.cola.2020.100972openalex-snapshot
Applications of model-driven engineering in cyber-physical systems: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.compind.2026.104494openalex-snapshot
A timed automata-based approach for modeling and risk assessment of industrial robot systems
inferred← citeshttps://doi.org/10.1016/j.csi.2020.103424openalex-snapshot
Automated fault tolerance augmentation in model-driven engineering for CPS
inferred← citeshttps://doi.org/10.1016/j.jpdc.2022.06.003openalex-snapshot
Abaci-finder: Linux kernel crash classification through stack trace similarity learning
inferred← citeshttps://doi.org/10.1016/j.scico.2026.103554openalex-snapshot
From agent-oriented modelling to cyber-physical implementation: A model-driven approach
inferred← citeshttps://doi.org/10.1016/j.simpat.2025.103149openalex-snapshot
Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.101693openalex-snapshot
A framework for supporting the development of verifiably safe medical best practice guideline systems
inferred← citeshttps://doi.org/10.1109/access.2020.2971030openalex-snapshot
A Data-Driven Vulnerability Evaluation Method in Grid Edge Based on Random Matrix Theory Indicators
inferred← citeshttps://doi.org/10.1109/access.2020.2974895openalex-snapshot
A New Cloudlet Placement Method Based on Affinity Propagation for Cyber-Physical-Social Systems in Wireless Metropolitan Area Networks
inferred← citeshttps://doi.org/10.1109/access.2020.2978010openalex-snapshot
Targeted Influence Maximization Based on Cloud Computing Over Big Data in Social Networks
inferred← citeshttps://doi.org/10.1109/access.2020.2980891openalex-snapshot
A Choreography Analysis Approach for Microservice Composition in Cyber-Physical-Social Systems
inferred← citeshttps://doi.org/10.1109/access.2020.2983742openalex-snapshot
A Multi-Objective Task Scheduling Method for Fog Computing in Cyber-Physical-Social Services
inferred← citeshttps://doi.org/10.1109/access.2021.3068358openalex-snapshot
Model-Driven Engineering Tools and Languages for Cyber-Physical Systems–A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/ccdc58219.2023.10327450openalex-snapshot
Behaviors Modeling and Analysis for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/icess.2019.8782476openalex-snapshot
End-to-End Concolic Testing for Hardware/Software Co-Validation
inferred← citeshttps://doi.org/10.1109/icii.2019.00039openalex-snapshot
Dynamic Attack and Defense Security Situation Assessment Model for Power Information Physical Fusion System
inferred← citeshttps://doi.org/10.1109/iemtronics51293.2020.9216454openalex-snapshot
Security of Cyber Physical Systems: Vulnerabilities, Attacks and Countermeasure
inferred← citeshttps://doi.org/10.1109/iemtronics52119.2021.9422483openalex-snapshot
Cyber Physical Systems, a New Challenge and Security Issue for the Aviation
inferred← citeshttps://doi.org/10.1109/ithings/greencom/cpscom/smartdata.2019.00055openalex-snapshot
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design
inferred← citeshttps://doi.org/10.1109/tcad.2021.3055487openalex-snapshot
Code Synthesis for Dataflow-Based Embedded Software Design
inferred← citeshttps://doi.org/10.1109/tcad.2021.3132564openalex-snapshot
MDD: A Unified Model-Driven Design Framework for Embedded Control Software
inferred← citeshttps://doi.org/10.1109/tcad.2022.3197504openalex-snapshot
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions
inferred← citeshttps://doi.org/10.1109/tia.2020.2969868openalex-snapshot
A Fast CP-ABE System for Cyber-Physical Security and Privacy in Mobile Healthcare Network
inferred← citeshttps://doi.org/10.1109/tse.2024.3428528openalex-snapshot
HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy
inferred← citeshttps://doi.org/10.1145/3480248openalex-snapshot
Non-Intrusive Distributed Tracing of Wireless IoT Devices with the FlockLab 2 Testbed
inferred← citeshttps://doi.org/10.1145/3490177openalex-snapshot
Uncertainty Theory Based Partitioning for Cyber-Physical Systems with Uncertain Reliability Analysis
inferred← citeshttps://doi.org/10.1145/3606042.3616460openalex-snapshot
AI/Machine Learning for Internet of Dependable and Controllable Things
inferred← citeshttps://doi.org/10.1145/3832783.3834636openalex-snapshot
UCT: A Versatile Code Translation Framework Based on a Unified Intermediate Representation
inferred← citeshttps://doi.org/10.3390/s19051033openalex-snapshot
A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies
inferred← citeshttps://doi.org/10.4204/eptcs.371.3openalex-snapshot
Bounded Invariant Checking for Stateflow
inferred← citeshttps://doi.org/10.4271/2023-01-0116openalex-snapshot
Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking
inferred← citeshttps://doi.org/10.48550/arxiv.1909.10493openalex-snapshot
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
inferred← citeshttps://doi.org/10.48550/arxiv.2103.06248openalex-snapshot
Bounded Invariant Checking for Stateflow Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2103.08644openalex-snapshot
A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.5753/cibse.2025.35298openalex-snapshot
An Agent-Oriented Model-Driven Development Process for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.5772/intechopen.1013148openalex-snapshot
A Low-Code Development Approach for Agent-Based 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.