On the public citation graph
Static and Dynamic Analysis of Timed Distributed Traces
0 signed · 44 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.1006/jpdc.1997.1374openalex-snapshot
Efficient Detection of Channel Predicates in Distributed Systems
inferredcites →https://doi.org/10.1007/11916246_16openalex-snapshot
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System
inferredcites →https://doi.org/10.1007/3-540-36580-xopenalex-snapshot
Hybrid Systems: Computation and Control
inferredcites →https://doi.org/10.1007/3-540-48983-5_15openalex-snapshot
A New Class of Decidable Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-21437-0_6openalex-snapshot
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
inferredcites →https://doi.org/10.1007/978-3-642-30793-5_2openalex-snapshot
A Small Model Theorem for Rectangular Hybrid Automata Networks
inferredcites →https://doi.org/10.1007/bfb0022452openalex-snapshot
Detection of global state predicates
inferredcites →https://doi.org/10.1007/s00446-004-0117-0openalex-snapshot
Techniques and applications of computation slicing
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/0890-5401(88)90043-0openalex-snapshot
A new fault-tolerant algorithm for clock synchronization
inferredcites →https://doi.org/10.1109/32.707701openalex-snapshot
Efficient distributed detection of conjunctions of local predicates
inferredcites →https://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferredcites →https://doi.org/10.1109/iccps.2012.24openalex-snapshot
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study
inferredcites →https://doi.org/10.1109/icdsc.2001.918962openalex-snapshot
On slicing a distributed computation
inferredcites →https://doi.org/10.1109/tc.2007.1011openalex-snapshot
Formal Verification of Simulation Traces Using Computation Slicing
inferredcites →https://doi.org/10.1145/122759.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/225058.225162openalex-snapshot
What's decidable about hybrid automata?
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
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.2200/s00006ed1v01y200508csl001openalex-snapshot
The Theory of Timed I/O Automata
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-21759-4_15openalex-snapshot
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-01766-2_154openalex-snapshot
A Clock-Based Specification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/access.2018.2872015openalex-snapshot
A Systematic Mapping Study on the Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/emsoft.2013.6658604openalex-snapshot
Verification of annotated models from executions
inferred← citeshttps://doi.org/10.1109/etncc66224.2025.11299622openalex-snapshot
TraceAI: Intelligent Distributed Tracing Using Large Language Models
inferred← citeshttps://doi.org/10.1109/iccps.2018.00011openalex-snapshot
Cyber-Physical System Checkpointing and Recovery
inferred← citeshttps://doi.org/10.1109/taes.2026.3683620openalex-snapshot
Robust Safety Assurance for Robotic Swarms Using Decentralized Collision Verification
inferred← citeshttps://doi.org/10.1109/tc.2015.2424879openalex-snapshot
Enabling Context-Awareness by Predicate Detection in Asynchronous Environments
inferred← citeshttps://doi.org/10.1109/tpds.2013.233openalex-snapshot
Design of a Sliding Window over Distributed and Asynchronous Event Streams
inferred← citeshttps://doi.org/10.1109/wf-iot.2019.8767281openalex-snapshot
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service
inferred← citeshttps://doi.org/10.1145/2600176.2600188openalex-snapshot
Proving abstractions of dynamical systems through numerical simulations
inferred← citeshttps://doi.org/10.1145/3529095openalex-snapshot
Model-bounded Monitoring of Hybrid Systems
inferred← citeshttps://doi.org/10.1145/3550072openalex-snapshot
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
inferred← citeshttps://doi.org/10.4230/lites.8.2.7openalex-snapshot
Real-Time Verification for Distributed Cyber-Physical Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1310.3623openalex-snapshot
Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments
inferred← citeshttps://doi.org/10.48550/arxiv.1401.1313openalex-snapshot
Proving Abstractions of Dynamical Systems through Numerical Simulations
inferred← citeshttps://doi.org/10.48550/arxiv.1508.00091openalex-snapshot
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime
inferred← citeshttps://doi.org/10.48550/arxiv.1603.00619openalex-snapshot
Porting Code Across Simple Mobile Robots
inferred← citeshttps://doi.org/10.48550/arxiv.1909.09087openalex-snapshot
Real-Time Verification for Distributed Cyber-Physical Systems
inferred← citeshttps://doi.org/10.5555/2555754.2555780openalex-snapshot
Verification of annotated models from executions
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.