On the public citation graph

A compositional proof of a real-time mutual exclusion protocol

0 signed · 64 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.1006/inco.1994.1035openalex-snapshot

A Partial Approach to Model Checking

inferredcites →https://doi.org/10.1006/inco.1994.1045openalex-snapshot

Symbolic Model Checking for Real-Time Systems

inferredcites →https://doi.org/10.1007/3-540-56922-7_37openalex-snapshot

Exploiting symmetry in temporal logic model checking

inferredcites →https://doi.org/10.1007/3-540-56922-7_38openalex-snapshot

Symmetry and model checking

inferredcites →https://doi.org/10.1007/3-540-60045-0_64openalex-snapshot

Automated analysis of an audio control protocol

inferredcites →https://doi.org/10.1007/3-540-60218-6_3openalex-snapshot

Compositional model checking of real time systems

inferredcites →https://doi.org/10.1007/3-540-60246-1_158openalex-snapshot

From timed automata to logic — and back

inferredcites →https://doi.org/10.1007/3-540-61042-1_66openalex-snapshot

Uppaal in 1995

inferredcites →https://doi.org/10.1007/3-540-61648-9_49openalex-snapshot

Partial orders and verification of real-time systems

inferredcites →https://doi.org/10.1007/978-0-387-34878-0_17openalex-snapshot

Verifying ET-LOTOS programs with KRONOS

inferredcites →https://doi.org/10.1007/978-0-387-34878-0_18openalex-snapshot

Automatic Verification of Real-Time Communicating Systems by Constraint-Solving

inferredcites →https://doi.org/10.1007/bf00709154openalex-snapshot

A stubborn attack on state explosion

inferredcites →https://doi.org/10.1007/bfb0020977openalex-snapshot

Diagnostic model-checking for real-time systems

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

A theory of timed automata

inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot

Symbolic model checking: 1020 States and beyond

inferredcites →https://doi.org/10.1090/dimacs/003/04openalex-snapshot

A stubborn attack on state explosion

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

A partial approach to model checking

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

Partial model checking

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

Compositional and symbolic model-checking of real-time systems

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

Model checking and abstraction

inferredcites →https://doi.org/10.7146/brics.v2i2.19504openalex-snapshot

From Timed Automata to Logic - and Back

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10722167_19openalex-snapshot

Distributing Timed Model Checking — How the Search Order Matters

inferred← citeshttps://doi.org/10.1007/3-540-40911-4_22openalex-snapshot

Predicate Diagrams for the Verification of Reactive Systems

inferred← citeshttps://doi.org/10.1007/3-540-46419-0_10openalex-snapshot

On Memory-Block Traversal Problems in Model-Checking Timed Systems

inferred← citeshttps://doi.org/10.1007/3-540-48092-7_9openalex-snapshot

On the Existence of Network Invariants for Verifying Parameterized Systems

inferred← citeshttps://doi.org/10.1007/3-540-61756-6_99openalex-snapshot

Modeling sharing and recursion for weak reduction strategies using explicit substitution

inferred← citeshttps://doi.org/10.1007/3-540-63166-6_47openalex-snapshot

Uppaal: Status & developments

inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_27openalex-snapshot

CMC: A Tool for Compositional Model-Checking of Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-11486-1_3openalex-snapshot

Compositional and Quantitative Model Checking (Extended Abstract)

inferred← citeshttps://doi.org/10.1007/bfb0020977openalex-snapshot

Diagnostic model-checking for real-time systems

inferred← citeshttps://doi.org/10.1007/bfb0054173openalex-snapshot

Verification of large state/event systems using compositionality and dependency analysis

inferred← citeshttps://doi.org/10.1007/bfb0054179openalex-snapshot

Verifying networks of timed processes

inferred← citeshttps://doi.org/10.1007/bfb0054180openalex-snapshot

Model checking of real-time reachability properties using abstractions

inferred← citeshttps://doi.org/10.1007/bfb0055344openalex-snapshot

Partition refinement in real-time model checking

inferred← citeshttps://doi.org/10.1007/bfb0055351openalex-snapshot

On checking parallel real-time systems for linear duration properties

inferred← citeshttps://doi.org/10.1007/s00165-007-0030-yopenalex-snapshot

Predicate diagrams for the verification of real-time systems

inferred← citeshttps://doi.org/10.1007/s100090050032openalex-snapshot

Partial model checking of modal equations: A survey

inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.010openalex-snapshot

Predicate Diagrams for the Verification of Real-Time Systems

inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.026openalex-snapshot

Counterexample-guided predicate abstraction of hybrid systems

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00330-9openalex-snapshot

Model checking of systems with many identical timed processes

inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00037-1openalex-snapshot

Linear parametric model checking of timed automata

inferred← citeshttps://doi.org/10.1023/a:1008736219484openalex-snapshot

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

inferred← citeshttps://doi.org/10.1023/a:1025132427497openalex-snapshot

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems

inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot

Modelling and analysis of broadcasting embedded control systems

inferred← citeshttps://doi.org/10.1109/cdc.2007.4434955openalex-snapshot

Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications

inferred← citeshttps://doi.org/10.1109/date.2000.840829openalex-snapshot

Abstraction from counters: an application on real-time systems

inferred← citeshttps://doi.org/10.1109/emrts.1999.777455openalex-snapshot

Splitting reachability analysis in hybrid automata

inferred← citeshttps://doi.org/10.1109/emwrts.1998.685072openalex-snapshot

XTG-an engineering approach to modelling and analysis of real-time systems

inferred← citeshttps://doi.org/10.1109/lics.2004.1319629openalex-snapshot

Multi-clock timed networks

inferred← citeshttps://doi.org/10.1109/lics.2004.26openalex-snapshot

Multi-clock timed networks

inferred← citeshttps://doi.org/10.1109/real.1997.641265openalex-snapshot

Efficient verification of real-time systems: compact data structure and state-space reduction

inferred← citeshttps://doi.org/10.1109/sies.2011.5953652openalex-snapshot

Robustness in real-time systems

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

Abstraction from counters

inferred← citeshttps://doi.org/10.3166/jesa.39.395-406openalex-snapshot

Implémentabilité des automates temporisés

inferred← citeshttps://doi.org/10.3182/20050703-6-cz-1902.01505openalex-snapshot

TWO PHASE TECHNIQUE FOR ASSEMBLY LINE BALANCING

inferred← citeshttps://doi.org/10.5555/774455.774459openalex-snapshot

Clock difference diagrams

inferred← citeshttps://doi.org/10.70675/5d4337dfz960dz4acczaeeezd02827b10df6openalex-snapshot

Contribution à la conception d'une commande reconfigurable et tolérante aux fautes pour les Systèmes Automatisés de Production

inferred← citeshttps://doi.org/10.7146/brics.v3i55.20058openalex-snapshot

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

inferred← citeshttps://doi.org/10.7146/brics.v3i56.18681openalex-snapshot

Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution

inferred← citeshttps://doi.org/10.7146/brics.v3i57.18682openalex-snapshot

Diagnostic Model Checking for Real-Time Systems

inferred← citeshttps://doi.org/10.7146/brics.v3i59.18770openalex-snapshot

Compositional and Symbolic Model-Checking of Real-Time Systems

inferred← citeshttps://doi.org/10.7146/brics.v4i13.18804openalex-snapshot

Compositional Safety Logics

inferred← citeshttps://doi.org/10.7146/brics.v5i46.19491openalex-snapshot

Clock Difference Diagrams

inferred← citeshttps://doi.org/10.7146/brics.v7i3.20131openalex-snapshot

On Memory-Block Traversal Problems in Model Checking Timed 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.