On the public citation graph
Consistency vs. Availability in Distributed Cyber-Physical Systems
0 signed · 62 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/978-3-642-24349-3openalex-snapshot
Advances in Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-24349-3_5openalex-snapshot
The Logical Execution Time Paradigm
inferredcites →https://doi.org/10.1007/bf02277859openalex-snapshot
Detecting causal relationships in distributed computations: In search of the holy grail
inferredcites →https://doi.org/10.1007/s10270-017-0633-6openalex-snapshot
Hybrid co-simulation: it’s about time
inferredcites →https://doi.org/10.1016/0968-090x(94)90019-1openalex-snapshot
Roadside intelligence for flow control in an intelligent vehicle and highway system
inferredcites →https://doi.org/10.1109/43.736561openalex-snapshot
A framework for comparing models of computation
inferredcites →https://doi.org/10.1109/5.97297openalex-snapshot
The synchronous approach to reactive and real-time systems
inferredcites →https://doi.org/10.1109/99.615432openalex-snapshot
The DEVS environment for high-performance modeling and simulation
inferredcites →https://doi.org/10.1109/access.2022.3144112openalex-snapshot
Network Traffic Prediction Model Considering Road Traffic Parameters Using Artificial Intelligence Methods in VANET
inferredcites →https://doi.org/10.1109/fdl50818.2020openalex-snapshot
2020 Forum for Specification and Design Languages (FDL)
inferredcites →https://doi.org/10.1109/jproc.2002.805825openalex-snapshot
Giotto: a time-triggered language for embedded programming
inferredcites →https://doi.org/10.1109/jproc.2019.2905334openalex-snapshot
A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems
inferredcites →https://doi.org/10.1109/mc.2012.33openalex-snapshot
Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story
inferredcites →https://doi.org/10.1109/mc.2012.37openalex-snapshot
CAP twelve years later: How the "rules" have changed
inferredcites →https://doi.org/10.1109/mcs.2005.1411388openalex-snapshot
Workshop on discrete event systems (WODES' 04)
inferredcites →https://doi.org/10.1109/rtas.2018.00031openalex-snapshot
Timed C: An Extension to the C Programming Language for Real-Time Systems
inferredcites →https://doi.org/10.1109/tse.1979.230182openalex-snapshot
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
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.1115/1.3258558openalex-snapshot
The 1983 Design Automation Conference
inferredcites →https://doi.org/10.1145/1121788.1121790openalex-snapshot
Real-time and embedded technology and applications symposium (RTAS '05)
inferredcites →https://doi.org/10.1145/1124153.1124156openalex-snapshot
The costs and limits of availability for replicated services
inferredcites →https://doi.org/10.1145/1347375.1347389openalex-snapshot
The worst-case execution-time problem—overview of methods and survey of tools
inferredcites →https://doi.org/10.1145/268437.268465openalex-snapshot
The Department of Defense High Level Architecture
inferredcites →https://doi.org/10.1145/2993.2994openalex-snapshot
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
inferredcites →https://doi.org/10.1145/2997654openalex-snapshot
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-Value Stores
inferredcites →https://doi.org/10.1145/3448128openalex-snapshot
Toward a Lingua Franca for Deterministic Concurrent Systems
inferredcites →https://doi.org/10.1145/3475965.3480470openalex-snapshot
Don't Get Stuck in the "Con" Game
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/564585.564601openalex-snapshot
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
inferredcites →https://doi.org/10.1145/6462.6485openalex-snapshot
Distributed discrete-event simulation
inferredcites →https://doi.org/10.2307/2583959openalex-snapshot
Synchronization and Linearity: An Algebra for Discrete Event Systems.
inferredcites →https://doi.org/10.48550/arxiv.2207.09555openalex-snapshot
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
inferredcites →https://doi.org/10.48550/arxiv.2301.02444openalex-snapshot
High-Performance Deterministic Concurrency using Lingua Franca
inferredcites →https://doi.org/10.7551/mitpress/12307.001.0001openalex-snapshot
The Coevolution: The Entwined Futures of Humans and Machines
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-031-85134-6_9openalex-snapshot
Verify Engineering Models, Not Scientific Models
inferred← citeshttps://doi.org/10.1007/978-3-031-89296-7_13openalex-snapshot
Achieving Cyber-Physical Consistency for Immersive Robot Controlling
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_16openalex-snapshot
Logical Time in Actor Systems
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-41269-0_9openalex-snapshot
Compliance-by-Design with Lingua Franca: Toward Meeting EU AI Act Requirements
inferred← citeshttps://doi.org/10.1007/s10845-024-02510-3openalex-snapshot
The Meta Holonic Management Tree: review, steps, and roadmap to industrial Cybernetics 5.0
inferred← citeshttps://doi.org/10.1016/j.future.2025.108262openalex-snapshot
Engineering opportunistic digital twins with lingua franca
inferred← citeshttps://doi.org/10.1109/bigdata59044.2023.10386254openalex-snapshot
Towards Unified Data Ingestion and Transfer for the Computing Continuum
inferred← citeshttps://doi.org/10.1109/ccgridw69005.2026.00023openalex-snapshot
Logical Scalability in Big Data Architectures: Impact of Data Modeling on the Database Layer
inferred← citeshttps://doi.org/10.1109/fmsys72110.2026.00013openalex-snapshot
Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/globecom52923.2024.10901661openalex-snapshot
Remote Estimation of Markov Processes over Costly Channels: On Implicit Information Benefits
inferred← citeshttps://doi.org/10.1109/icra55743.2025.11128519openalex-snapshot
HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems
inferred← citeshttps://doi.org/10.1109/jsac.2025.3559152openalex-snapshot
Pragmatic Communication for Remote Control of Finite-State Markov Processes
inferred← citeshttps://doi.org/10.1109/les.2024.3465408openalex-snapshot
Toward Dynamism in Distributed Lingua Franca Programs
inferred← citeshttps://doi.org/10.1109/les.2025.3596675openalex-snapshot
Software-Defined Vehicles: Challenges and Orchestrating Mixed-Criticality Services Using Lingua Franca
inferred← citeshttps://doi.org/10.1109/rage71062.2026.00008openalex-snapshot
INVITED: Distributed Time-Sensitive Systems: Extended Abstract
inferred← citeshttps://doi.org/10.1109/tiv.2026.3733277openalex-snapshot
Ensuring Safety and Cybersecurity for Intelligent Vehicle Networks
inferred← citeshttps://doi.org/10.1145/3610579openalex-snapshot
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
inferred← citeshttps://doi.org/10.1145/3610579.3613219openalex-snapshot
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3763794openalex-snapshot
Timetide: A Programming Model for Logically Synchronous Distributed Systems
inferred← citeshttps://doi.org/10.1145/3767727openalex-snapshot
Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca
inferred← citeshttps://doi.org/10.12785/ijcds/160141openalex-snapshot
Enhancing Data Consistency via a Context-Aware Dynamic Adaptive Model
inferred← citeshttps://doi.org/10.3390/computers15060389openalex-snapshot
Quantum-Secure Communication for Future Cyber-Physical and IoT Systems: A Systematic Review of Classical to Learning Approaches
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.