On the public citation graph

Verification of Cyberphysical Systems

0 signed · 60 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-54233-7_136openalex-snapshot

CCS + time = an interleaving model for real time systems

inferredcites →https://doi.org/10.1007/978-3-030-41131-2_4openalex-snapshot

Reactors: A Deterministic Model for Composable Reactive Systems

inferredcites →https://doi.org/10.1007/978-3-030-67220-1_6openalex-snapshot

From Requirements to Verifiable Executable Models Using Rebeca

inferredcites →https://doi.org/10.1007/978-3-319-30734-3_25openalex-snapshot

On Time Actors

inferredcites →https://doi.org/10.1007/978-3-540-69073-3_26openalex-snapshot

ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling

inferredcites →https://doi.org/10.1007/978-3-540-74792-5_5openalex-snapshot

Rebeca: Theory, Applications, and Tools

inferredcites →https://doi.org/10.1007/978-3-642-24933-4_3openalex-snapshot

Ten Years of Analyzing Actors: Rebeca Experience

inferredcites →https://doi.org/10.1007/978-3-642-41115-1openalex-snapshot

Time and Petri Nets

inferredcites →https://doi.org/10.1007/s10270-017-0633-6openalex-snapshot

Hybrid co-simulation: it’s about time

inferredcites →https://doi.org/10.1016/0004-3702(77)90033-9openalex-snapshot

Viewing control structures as patterns of passing messages

inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot

A theory of timed automata

inferredcites →https://doi.org/10.1016/b978-155860925-9/50004-4openalex-snapshot

Behavior and Concurrency

inferredcites →https://doi.org/10.1016/j.scico.2014.01.008openalex-snapshot

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

inferredcites →https://doi.org/10.1016/j.scico.2014.07.005openalex-snapshot

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

inferredcites →https://doi.org/10.1016/j.scico.2017.11.004openalex-snapshot

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

inferredcites →https://doi.org/10.1016/s0167-6423(02)00096-5openalex-snapshot

The semantics and execution of a synchronous block-diagram language

inferredcites →https://doi.org/10.1023/a:1008330914786openalex-snapshot

On Hybrid Petri Nets

inferredcites →https://doi.org/10.1109/5.97297openalex-snapshot

The synchronous approach to reactive and real-time systems

inferredcites →https://doi.org/10.1109/compsac48688.2020.0-138openalex-snapshot

Model Checking Software in Cyberphysical Systems

inferredcites →https://doi.org/10.1109/fdl.2019.8876922openalex-snapshot

Deterministic Actors

inferredcites →https://doi.org/10.1109/isorc.2008.25openalex-snapshot

Cyber Physical Systems: Design Challenges

inferredcites →https://doi.org/10.1109/rtas.2007.5openalex-snapshot

A Programming Model for Time-Synchronized Distributed Real-Time Systems

inferredcites →https://doi.org/10.1109/vlhcc.2013.6645246openalex-snapshot

Just model! — Putting automatic synthesis of node-link-diagrams into practice

inferredcites →https://doi.org/10.1145/2491245openalex-snapshot

Spanner

inferredcites →https://doi.org/10.1145/3316781.3323469openalex-snapshot

Actors Revisited for Time-Critical Systems

inferredcites →https://doi.org/10.1561/1000000001openalex-snapshot

Languages and Tools for Hybrid Systems Design

inferredcites →https://doi.org/10.3233/fun-2004-63405openalex-snapshot

Modeling and Verification of Reactive Systems using Rebeca

inferredcites →https://doi.org/10.5555/2387880.2387905openalex-snapshot

Spanner: Google's globally-distributed database

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-58298-2_5openalex-snapshot

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-15077-7_2openalex-snapshot

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks

inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_9openalex-snapshot

Actors Upgraded for Variability, Adaptability, and Determinism

inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_1openalex-snapshot

Modelling Cyber-Physical Systems for Verification and Synthesis

inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_4openalex-snapshot

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic

inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_9openalex-snapshot

Verify Engineering Models, Not Scientific Models

inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_8openalex-snapshot

Actors for Timing Analysis of Distributed Redundant Controllers

inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_2openalex-snapshot

Efficient Verification of Lingua Franca Programs

inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_17openalex-snapshot

LF-Mc: An Efficient Verifier for Lingua Franca

inferred← citeshttps://doi.org/10.1007/978-981-33-4901-8_12openalex-snapshot

Using Deterministic Theatre for Energy Management in Smart Environments

inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.100965openalex-snapshot

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems

inferred← citeshttps://doi.org/10.1016/j.jlamp.2025.101072openalex-snapshot

Formal analysis of real-time systems with user-defined strategies in rewriting logic

inferred← citeshttps://doi.org/10.1016/j.jpdc.2023.104780openalex-snapshot

Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system

inferred← citeshttps://doi.org/10.1016/j.simpat.2020.102189openalex-snapshot

Parallel Theatre: An actor framework in Java for high performance computing

inferred← citeshttps://doi.org/10.1017/cbp.2023.1openalex-snapshot

Time-Sensitive Software

inferred← citeshttps://doi.org/10.1098/rspa.2021.0099openalex-snapshot

Operads for complex system design specification, analysis and synthesis

inferred← citeshttps://doi.org/10.1109/access.2023.3299441openalex-snapshot

Design and Implementation of Data-Based Validation and Evaluation System for Combat System Engineering

inferred← citeshttps://doi.org/10.1109/access.2026.3668412openalex-snapshot

Cyber Physical Systems Security: Bridging Privacy, Verification, Intelligence, and Forensics

inferred← citeshttps://doi.org/10.1109/fdl53530.2021.9568383openalex-snapshot

Debugging and Verification Tools for Lingua Franca in Gemoc Studio

inferred← citeshttps://doi.org/10.1109/mc.2021.3085532openalex-snapshot

Compositional Thinking in Cyberphysical Systems Theory

inferred← citeshttps://doi.org/10.1109/rusautocon61949.2024.10694544openalex-snapshot

Efficiency of Data Preprocessing Application for Geographically Distributed Cyberphysical Systems Using WSNs

inferred← citeshttps://doi.org/10.1109/worlds450073.2020.9210288openalex-snapshot

Modelling and Analysis of Cyber-Physical Systems using Deterministic Theatre

inferred← citeshttps://doi.org/10.1145/3510466.3510472openalex-snapshot

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions

inferred← citeshttps://doi.org/10.1145/3609134openalex-snapshot

Towards Building Verifiable CPS using Lingua Franca

inferred← citeshttps://doi.org/10.1186/s13174-021-00132-zopenalex-snapshot

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

inferred← citeshttps://doi.org/10.18255/1818-1015-2024-3-240-279openalex-snapshot

LTL-specification for development and verification of logical control programs in feedback systems

inferred← citeshttps://doi.org/10.3103/s0146411625700312openalex-snapshot

LTL Specification for the Development and Verification of Logical Control Programs in Feedback Systems

inferred← citeshttps://doi.org/10.3390/en14217054openalex-snapshot

Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays

inferred← citeshttps://doi.org/10.3390/info12050178openalex-snapshot

Visualisation of Control Software for Cyber-Physical Systems

inferred← citeshttps://doi.org/10.3390/modelling2020015openalex-snapshot

Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors

inferred← citeshttps://doi.org/10.4204/eptcs.387.1openalex-snapshot

Timed Actors and Their Formal Verification

inferred← citeshttps://doi.org/10.4204/eptcs.399.8openalex-snapshot

Formal Verification of Consistency for Systems with Redundant Controllers

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.