On the public citation graph
Verifying clocked transition systems
0 signed · 58 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/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferredcites →https://doi.org/10.1007/3-540-16047-7_50openalex-snapshot
Examples of a real-time temporal logic specification
inferredcites →https://doi.org/10.1007/3-540-55179-4_36openalex-snapshot
An overview and synthesis on timed process algebras
inferredcites →https://doi.org/10.1007/3-540-57887-0_123openalex-snapshot
Temporal verification diagrams
inferredcites →https://doi.org/10.1007/3-540-58468-4_173openalex-snapshot
Verification methods for the divergent runs of clock systems
inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot
Temporal Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/bf01178579openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0020933openalex-snapshot
Verifying clocked transition systems
inferredcites →https://doi.org/10.1007/bfb0031988openalex-snapshot
Logics and models of real time: A survey
inferredcites →https://doi.org/10.1007/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0039073openalex-snapshot
A temporal calculus of communicating systems
inferredcites →https://doi.org/10.1007/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferredcites →https://doi.org/10.1016/0020-0190(92)90005-gopenalex-snapshot
Sooner is safer than later
inferredcites →https://doi.org/10.1016/0304-3975(91)90041-yopenalex-snapshot
Completing the temporal picture
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1142/9789812831583_0001openalex-snapshot
Real-time system = discrete system + clock variables
inferredcites →https://doi.org/10.1145/186025.186058openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/10692867_13openalex-snapshot
Abstraction and Modular Verification of Infinite-State Reactive Systems
inferred← citeshttps://doi.org/10.1007/11599555_33openalex-snapshot
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_9openalex-snapshot
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_13openalex-snapshot
Time-Deterministic Hybrid Transition Systems
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_17openalex-snapshot
Action Systems with Continuous Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_3openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_29openalex-snapshot
A timed semantics for the StateMate implementation of statecharts
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_31openalex-snapshot
On the composition of hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_18openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_27openalex-snapshot
Engineering of real-time systems with an experiment in hybrid control
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_26openalex-snapshot
Integrating Real Time Into Spin: A Prototype Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-30121-9_18openalex-snapshot
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing
inferred← citeshttps://doi.org/10.1007/978-3-540-44972-0_4openalex-snapshot
Verification and Compliance Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_18openalex-snapshot
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
inferred← citeshttps://doi.org/10.1007/bfb0023456openalex-snapshot
Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
inferred← citeshttps://doi.org/10.1007/bfb0023457openalex-snapshot
Temporal logics for the specification of performance and reliability
inferred← citeshttps://doi.org/10.1007/bfb0055346openalex-snapshot
Synchronizing clocked transition systems
inferred← citeshttps://doi.org/10.1007/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00088-8openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00091-8openalex-snapshot
Verification, refinement and scheduling of real-time programs
inferred← citeshttps://doi.org/10.1023/a:1008700623084openalex-snapshot
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
inferred← citeshttps://doi.org/10.1023/a:1025180310659openalex-snapshot
Reactive and Real-Time Systems Course: How to Get the Most Out of it
inferred← citeshttps://doi.org/10.1109/hase.2012.26openalex-snapshot
Proving the Absence Property Pattern Using the B Method
inferred← citeshttps://doi.org/10.1109/icdcsw.2004.1284097openalex-snapshot
Deductive verification of probabilistic real-time systems
inferred← citeshttps://doi.org/10.1109/icre.2003.1232749openalex-snapshot
A reference model for requirements engineering
inferred← citeshttps://doi.org/10.1109/ipdps.2001.925137openalex-snapshot
Specifying and verifying a railroad crossing with cafeOBJ
inferred← citeshttps://doi.org/10.1109/issre.2012.11openalex-snapshot
An Assertions-Based Approach to Verifying the Absence Property Pattern
inferred← citeshttps://doi.org/10.1109/real.2000.896007openalex-snapshot
Tabled resolution + constraints: a recipe for model checking real-time systems
inferred← citeshttps://doi.org/10.1142/9789812708472_0008openalex-snapshot
Verifying Real-Time Systems with Standard Tools
inferred← citeshttps://doi.org/10.1145/237432.237438openalex-snapshot
A graphical environment for the design of concurrent real-time systems
inferred← citeshttps://doi.org/10.1145/295558.295560openalex-snapshot
Composition and refinement of discrete real-time systems
inferred← citeshttps://doi.org/10.21236/ada435087openalex-snapshot
Next Generation Software Development
inferred← citeshttps://doi.org/10.22024/unikent/01.02.86456openalex-snapshot
Verification of real-time systems: improving tool support
inferred← citeshttps://doi.org/10.3233/fi-2014-962openalex-snapshot
Blending Timed Formal Models with Clock Transition Systems
showing the first 35 of 36 · page through all 36
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.