On the public citation graph
Putting time into proof outlines
0 signed · 57 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-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1016/0020-0190(92)90116-dopenalex-snapshot
Weakest precondition semantics for time and concurrency
inferredcites →https://doi.org/10.1109/32.29487openalex-snapshot
Reasoning about time in higher-level language software
inferredcites →https://doi.org/10.1109/tse.1977.229904openalex-snapshot
Proving the Correctness of Multiprocess Programs
inferredcites →https://doi.org/10.1109/tse.1981.231111openalex-snapshot
Real-Time Behavior of Programs
inferredcites →https://doi.org/10.1145/2993.357247openalex-snapshot
The ``Hoare Logic'' of CSP, and All That
inferredcites →https://doi.org/10.1145/357114.357119openalex-snapshot
Assignment and Procedure Call Proof Rules
inferredcites →https://doi.org/10.1145/357172.357178openalex-snapshot
Proving Liveness Properties of Concurrent Programs
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/360933.360975openalex-snapshot
Guarded commands, nondeterminacy and formal derivation of programs
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/6490.6494openalex-snapshot
Countable nondeterminism and random assignment
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11560548_14openalex-snapshot
Real-Time Model Checking Is Really Simple
inferred← citeshttps://doi.org/10.1007/11603009_8openalex-snapshot
Verification of Parameterized Timed Systems
inferred← citeshttps://doi.org/10.1007/3-540-45740-2_3openalex-snapshot
Towards a Notion of Distributed Time for Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_23openalex-snapshot
Verification of real-time systems using PVS
inferred← citeshttps://doi.org/10.1007/3-540-57826-9_159openalex-snapshot
Verification in higher order logic of mutual exclusion algorithm
inferred← citeshttps://doi.org/10.1007/3-540-58179-0_39openalex-snapshot
A determinizable class of timed automata
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_175openalex-snapshot
Layering of real-time distributed processes
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_54openalex-snapshot
Compositionality in real-time shared variable concurrency
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_18openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_19openalex-snapshot
Verifying Timing Properties of Concurrent Algorithms
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-21037-2_6openalex-snapshot
Model-Based Fault Classification for Automotive Software
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_9openalex-snapshot
Embedded Software Analysis with MOTOR
inferred← citeshttps://doi.org/10.1007/bf01088595openalex-snapshot
Compositional verification of a distributed real-time arbitration protocol
inferred← citeshttps://doi.org/10.1007/bf01213604openalex-snapshot
Extending hoare logic to real-time
inferred← citeshttps://doi.org/10.1007/bfb0031985openalex-snapshot
An old-fashioned recipe for real time
inferred← citeshttps://doi.org/10.1007/bfb0031996openalex-snapshot
Compositional verification of real-time systems using extended Hoare triples
inferred← citeshttps://doi.org/10.1007/bfb0054179openalex-snapshot
Verifying networks of timed processes
inferred← citeshttps://doi.org/10.1007/s00165-008-0089-0openalex-snapshot
Network invariants for real-time systems
inferred← citeshttps://doi.org/10.1007/s002360050177openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90045-lopenalex-snapshot
Formal methods for the specification and design of real-time safety critical systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2003.10.006openalex-snapshot
Network Invariants for Real-Time 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/s0304-3975(96)80701-8openalex-snapshot
Interval logics and their decision procedures
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00173-4openalex-snapshot
Event-clock automata: a determinizable class of timed automata
inferred← citeshttps://doi.org/10.1109/5.259433openalex-snapshot
A process algebraic approach to the specification and analysis of resource-bound real-time systems
inferred← citeshttps://doi.org/10.1109/5.259434openalex-snapshot
Reasoning assertionally about real-time systems
inferred← citeshttps://doi.org/10.1109/icse-nier52604.2021.00015openalex-snapshot
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
inferred← citeshttps://doi.org/10.1109/lics.1992.185526openalex-snapshot
Turning SOS rules into equations
inferred← citeshttps://doi.org/10.1109/real.1992.242667openalex-snapshot
An implementation of three algorithms for timing verification based on automata emptiness
inferred← citeshttps://doi.org/10.1109/real.1993.393488openalex-snapshot
Specification and verification of a distributed real-time arbitration protocol
inferred← citeshttps://doi.org/10.1109/real.1993.393490openalex-snapshot
Really visual temporal reasoning
inferred← citeshttps://doi.org/10.1145/151299.151302openalex-snapshot
Functional specification of time-sensitive communicating systems
inferred← citeshttps://doi.org/10.1145/186025.186058openalex-snapshot
An old-fashioned recipe for real time
inferred← citeshttps://doi.org/10.21236/ada283477openalex-snapshot
Software Tools for Formal Specification and Verification of Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0409052openalex-snapshot
Better Quasi-Ordered Transition Systems
inferred← citeshttps://doi.org/10.5555/1255154.1255156openalex-snapshot
Modeling And Verification Of Real-Time 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.