On the public citation graph

Formal Techniques in Real-Time and Fault-Tolerant Systems

https://doi.org/10.1007/bfb0055330
0 signed · 24 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.1007/bfb0055332openalex-snapshot
On the need for practical formal methods
inferredcites →https://doi.org/10.1007/bfb0055333openalex-snapshot
A general framework for the composition of timed systems
inferredcites →https://doi.org/10.1007/bfb0055335openalex-snapshot
A finite-domain semantics for testing temporal logic specifications
inferredcites →https://doi.org/10.1007/bfb0055338openalex-snapshot
A modular visual model for hybrid systems
inferredcites →https://doi.org/10.1007/bfb0055339openalex-snapshot
Integrating real-time structured design and formal techniques
inferredcites →https://doi.org/10.1007/bfb0055344openalex-snapshot
Partition refinement in real-time model checking
inferredcites →https://doi.org/10.1007/bfb0055347openalex-snapshot
Some decidability results for duration calculus under synchronous interpretation
inferredcites →https://doi.org/10.1007/bfb0055351openalex-snapshot
On checking parallel real-time systems for linear duration properties
inferredcites →https://doi.org/10.1007/bfb0055354openalex-snapshot
Compiling graphical real-time specifications into silicon

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-44830-6_16openalex-snapshot
A Guided Method for Testing Timed Input Output Automata
inferred← citeshttps://doi.org/10.1007/978-0-387-68546-5_17openalex-snapshot
A Survey on Continuous Time Computations
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.08.057openalex-snapshot
Analysis of Real-Time Systems with CTL Model Checkers
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.005openalex-snapshot
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
inferred← citeshttps://doi.org/10.1016/j.ic.2001.05.001openalex-snapshot
Synchronous structures
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.09.009openalex-snapshot
A systematic literature review of software requirements reuse approaches
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.009openalex-snapshot
Cost-related interface for software product lines
inferred← citeshttps://doi.org/10.1016/j.scico.2012.07.010openalex-snapshot
Linking Unifying Theories of Program refinement
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.08.015openalex-snapshot
Robust synthesis for real-time systems
inferred← citeshttps://doi.org/10.1016/s0736-5845(00)00027-2openalex-snapshot
Automatic verification of a manufacturing system
inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00024-3openalex-snapshot
Positive loop-closed automata: a decidable class of hybrid systems
inferred← citeshttps://doi.org/10.1080/00207170601143482openalex-snapshot
Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
inferred← citeshttps://doi.org/10.1145/349360.351142openalex-snapshot
Completeness in formal specification language design for process-control systems
inferred← citeshttps://doi.org/10.1524/itit.2000.42.2.40openalex-snapshot
Wolfgang Rosenstiel, Universität Tübingen
inferred← citeshttps://doi.org/10.3390/math12244008openalex-snapshot
A Finite Representation of Durational Action Timed Automata Semantics
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.