On the public citation graph
An old-fashioned recipe for real time
0 signed · 151 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-1-4615-4016-8_2openalex-snapshot
Derivation of Sequential, Real-Time, Process-Control Programs
inferredcites →https://doi.org/10.1007/bf01872848openalex-snapshot
Appraising fairness in languages for distributed programming
inferredcites →https://doi.org/10.1016/0167-6423(83)90014-xopenalex-snapshot
An assertional correctness proof of a distributed algorithm
inferredcites →https://doi.org/10.1016/0304-3975(91)90224-popenalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1145/1067627.806585openalex-snapshot
Proving real-time properties of programs with temporal logic
inferredcites →https://doi.org/10.1145/99583.99626openalex-snapshot
A logical view of composition and refinement
inferredcites →https://doi.org/10.21236/ada238877openalex-snapshot
Derivation of Sequential, Real-Time, Process-Control Programs
inferredcites →https://doi.org/10.7551/mitpress/6874.001.0001openalex-snapshot
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118558188.ch6openalex-snapshot
Tools for Model‐Checking Timed Systems
inferred← citeshttps://doi.org/10.1006/inco.1993.1025openalex-snapshot
Real-Time Logics: Complexity and Expressiveness
inferred← citeshttps://doi.org/10.1006/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferred← citeshttps://doi.org/10.1007/11526841_31openalex-snapshot
Model-Checking of Specifications Integrating Processes, Data and Time
inferred← citeshttps://doi.org/10.1007/11755593_9openalex-snapshot
Temporal Logic-Based Specification and Verification of Trust Models
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_14openalex-snapshot
Linear Parametric Model Checking of Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-46002-0_35openalex-snapshot
Real-Time Systems Design with PEP
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-48068-4_11openalex-snapshot
Computing a Finite Prefix of a Time Petri Net
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-48321-7_4openalex-snapshot
Automata and their interaction: Definitional suggestions
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_23openalex-snapshot
A Light-Weight Framework for Hardware Verification
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_22openalex-snapshot
Compositional Reasoning Using the Assumption-Commitment Paradigm
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_11openalex-snapshot
Verifying timed behavior automata with nonbinary delay constraints
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_67openalex-snapshot
Application of the composition principle to unity-like specifications
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_35openalex-snapshot
Verifying timed behavior automata with input/output critical races
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_24openalex-snapshot
Towards refining temporal specifications into hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_26openalex-snapshot
Hybrid models with fairness and distributed clocks
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-58043-3_23openalex-snapshot
Verification and specification of concurrent programs
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_79openalex-snapshot
Reasoning about programs by exploiting the environment
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_157openalex-snapshot
Hybrid verification by exploiting the environment
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_159openalex-snapshot
Specifying and verifying fault-tolerant systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_173openalex-snapshot
Verification methods for the divergent runs of clock systems
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-58468-4_180openalex-snapshot
Reasoning about durations in Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_181openalex-snapshot
Scheduling in critical real-time systems: a manifesto
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_185openalex-snapshot
From physical modelling to compositional models of hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_41openalex-snapshot
Model-checking for real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-60609-2_11openalex-snapshot
Development of safety-critical real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_75openalex-snapshot
Verifying abstractions of timed systems
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-63010-4_20openalex-snapshot
Formalizing real-time scheduling as program refinement
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-63141-0_6openalex-snapshot
Modularity for timed and hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-64359-1_749openalex-snapshot
An introduction to mobile UNITY
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_2openalex-snapshot
Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_19openalex-snapshot
Implementation of multimedia systems based on a real-time extension of Estelle
inferred← citeshttps://doi.org/10.1007/978-1-4615-2786-2_5openalex-snapshot
Compositional Reasoning about Responsive Systems with Limited Resources
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-031-68416-6_7openalex-snapshot
On Parametric DBMs and Their Applications to Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-031-73751-0_12openalex-snapshot
Reminiscences of a Real-Time Researcher
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_4openalex-snapshot
rt-Inconsistency: A New Property for Real-Time Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-34032-1_12openalex-snapshot
A Simple and Flexible Timing Constraint Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_13openalex-snapshot
On Fixed Points of Strictly Causal Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-40465-8_5openalex-snapshot
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-88049-0_10openalex-snapshot
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-46823-4_14openalex-snapshot
A Proof-Based Method for Modelling Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-7491-3_15openalex-snapshot
Fusion Engines and Melting Pots
inferred← citeshttps://doi.org/10.1007/bf01088523openalex-snapshot
Compositional reasoning about responsive systems with limited resources
inferred← citeshttps://doi.org/10.1007/bf01211630openalex-snapshot
Verification of schedulability for real-time programs
inferred← citeshttps://doi.org/10.1007/bf01211907openalex-snapshot
Action transducers and timed automata
inferred← citeshttps://doi.org/10.1007/bf01213604openalex-snapshot
Extending hoare logic to real-time
inferred← citeshttps://doi.org/10.1007/bf02252683openalex-snapshot
Using mappings to prove timing properties
inferred← citeshttps://doi.org/10.1007/bfb0013977openalex-snapshot
Combining temporal specification techniques
inferred← citeshttps://doi.org/10.1007/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0084808openalex-snapshot
Action transducers and timed automata
inferred← citeshttps://doi.org/10.1007/s00165-004-0036-7openalex-snapshot
Unifying proof methodologies of duration calculus and timed linear temporal logic
inferred← citeshttps://doi.org/10.1007/s001650070036openalex-snapshot
Composing and Refining Dense Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/s002360050039openalex-snapshot
Parallel composition of assumption-commitment specifications
inferred← citeshttps://doi.org/10.1007/s002360050177openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1016/0020-0190(92)90005-gopenalex-snapshot
Sooner is safer than later
inferred← citeshttps://doi.org/10.1016/j.jisa.2021.102926openalex-snapshot
Bounded opacity for timed systems
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.015openalex-snapshot
Formalizing hybrid systems with Event-B and the Rodin Platform
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.036openalex-snapshot
The fixed-point theory of strictly causal functions
inferred← citeshttps://doi.org/10.1016/s0140-3664(98)00246-1openalex-snapshot
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00132-3openalex-snapshot
Formal methods for broadband and multimedia 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)00229-0openalex-snapshot
A process algebra of communicating shared resources with dense time and priorities
inferred← citeshttps://doi.org/10.1016/s1383-7621(00)00034-5openalex-snapshot
Embedded software verification in hardware–software codesign
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80477-8openalex-snapshot
Parking Can Get You There Faster
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80671-6openalex-snapshot
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.
inferred← citeshttps://doi.org/10.1023/a:1008678014487openalex-snapshot
Verification of Real-Time Systems using Linear Relation Analysis
inferred← citeshttps://doi.org/10.1023/a:1008734703554openalex-snapshot
Analysis of Timed Systems Using Time-Abstracting Bisimulations
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.1093/jigpal/6.2.157openalex-snapshot
A relational model for temporal logic
inferred← citeshttps://doi.org/10.1109/12.980017openalex-snapshot
Efficient and user-friendly verification
inferred← citeshttps://doi.org/10.1109/2.294859openalex-snapshot
Real time: further misconceptions (or half-truths) [real-time systems]
inferred← citeshttps://doi.org/10.1109/32.265634openalex-snapshot
Proving properties of real-time systems through logical specifications and Petri net models
inferred← citeshttps://doi.org/10.1109/32.491647openalex-snapshot
Reasoning about places, times, and actions in the presence of mobility
inferred← citeshttps://doi.org/10.1109/32.629494openalex-snapshot
Specification of realtime systems using ASTRAL
inferred← citeshttps://doi.org/10.1109/32.815328openalex-snapshot
Statically safe speculative execution for real-time systems
inferred← citeshttps://doi.org/10.1109/5.259434openalex-snapshot
Reasoning assertionally about real-time systems
inferred← citeshttps://doi.org/10.1109/5.871306openalex-snapshot
Effective synthesis of switching controllers for linear systems
inferred← citeshttps://doi.org/10.1109/async.1998.666501openalex-snapshot
Verifying a self-timed divider
inferred← citeshttps://doi.org/10.1109/cacsd.2000.900183openalex-snapshot
A framework for the hazard analysis of chemical plants
inferred← citeshttps://doi.org/10.1109/cmpsac.2000.884775openalex-snapshot
Concurrent embedded real-time software verification
inferred← citeshttps://doi.org/10.1109/discex.2000.821535openalex-snapshot
Using composition to design secure, fault-tolerant systems
inferred← citeshttps://doi.org/10.1109/emwrt.1993.639111openalex-snapshot
Unity, as a Tool for Reactive Systems Specification and Derivation
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514312openalex-snapshot
Transforming designs towards implementations
inferred← citeshttps://doi.org/10.1109/iceccs.2001.930162openalex-snapshot
A method for verifying real-time properties of Ada programs
inferred← citeshttps://doi.org/10.1109/isorc.1998.666805openalex-snapshot
Compositional specification and structured verification of hybrid systems in cTLA
inferred← citeshttps://doi.org/10.1109/lics.1992.185551openalex-snapshot
Symbolic model checking for real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot
The theory of hybrid automata
inferred← citeshttps://doi.org/10.1109/real.1992.242666openalex-snapshot
A simple assertional proof system for real-time systems
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.1992.242681openalex-snapshot
Timing-based mutual exclusion
inferred← citeshttps://doi.org/10.1109/real.1993.393490openalex-snapshot
Really visual temporal reasoning
inferred← citeshttps://doi.org/10.1109/real.1996.563702openalex-snapshot
Reducing the number of clock variables of timed automata
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.1109/rtcsa.1998.726415openalex-snapshot
A state graph manipulator tool for real-time system specification and verification
inferred← citeshttps://doi.org/10.1109/rtcsa.1998.726416openalex-snapshot
Hierarchical design method for real-time distributed systems
inferred← citeshttps://doi.org/10.1109/tase.2019.00-26openalex-snapshot
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
inferred← citeshttps://doi.org/10.1109/words.1996.506273openalex-snapshot
Integration of formal verification with real-time design
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637981openalex-snapshot
Specification of hybrid systems in cTLA+
inferred← citeshttps://doi.org/10.1145/151299.151302openalex-snapshot
Functional specification of time-sensitive communicating systems
inferred← citeshttps://doi.org/10.1145/199448.199472openalex-snapshot
Structured operational semantics as a specification language
inferred← citeshttps://doi.org/10.1145/298595.298860openalex-snapshot
Verification of an audio control protocol within real time process algebra
inferred← citeshttps://doi.org/10.1145/314602.314605openalex-snapshot
Specification and verification of fault-tolerance, timing, and scheduling
inferred← citeshttps://doi.org/10.1145/93385.93428openalex-snapshot
Using mappings to prove timing properties
inferred← citeshttps://doi.org/10.14279/depositonce-743openalex-snapshot
Time Partition Testing | Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
inferred← citeshttps://doi.org/10.2514/6.2004-6352openalex-snapshot
Robust Model-based Execution of Critical Spacecraft Sequences
inferred← citeshttps://doi.org/10.3233/fi-1995-2444openalex-snapshot
ON THE SATISFIABILITY PROBLEM FOR LAMPORT'S PROPOSITIONAL TEMPORAL LOGIC OF ACTIONS AND SOME OF ITS EXTENSIONS
inferred← citeshttps://doi.org/10.3233/fi-2014-1135openalex-snapshot
SMT-Based Reachability Checking for Bounded Time Petri Nets
inferred← citeshttps://doi.org/10.7146/brics.v3i24.20005openalex-snapshot
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
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.