On the public citation graph

A verifier for real-time properties

https://doi.org/10.1007/bf00365462
0 signed · 43 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/978-1-4613-9668-0_6openalex-snapshot
Parallel Program Design
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0027047openalex-snapshot
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1109/32.4651openalex-snapshot
PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
inferredcites →https://doi.org/10.1109/32.54292openalex-snapshot
STATEMATE: a working environment for the development of complex reactive systems
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/37.56283openalex-snapshot
A logic for real-time discrete event processes
inferredcites →https://doi.org/10.1109/71.80145openalex-snapshot
Deciding properties of timed transition models
inferredcites →https://doi.org/10.1109/9.52290openalex-snapshot
A framework for real-time discrete event control
inferredcites →https://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferredcites →https://doi.org/10.1109/lics.1990.113765openalex-snapshot
Explicit clock temporal logic
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/tc.1987.5009519openalex-snapshot
A Graph-Theoretic Approach for Timing Analysis and its Implementation
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.1109/tse.1987.233170openalex-snapshot
Safety Analysis Using Petri Nets
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.21236/ada323441openalex-snapshot
Real-Time Logics: Complexity and Expressiveness,

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-58468-4_168openalex-snapshot
Designing and implementing correct real-time systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3242-4_9openalex-snapshot
Completeness in Statechart Models for Reactive Systems
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-642-88049-0_120openalex-snapshot
Functional Versus Non-Functional Requirements Analysis
inferred← citeshttps://doi.org/10.1007/bf02063809openalex-snapshot
Object-oriented specification and formal verification of real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0032008openalex-snapshot
Verification of safety critical systems using TTM/RTTL
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90011-6openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/0141-9331(94)90074-4openalex-snapshot
A formally based hard real-time kernel
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/0967-0661(95)00232-4openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-041893-3.50043-4openalex-snapshot
Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45967-2openalex-snapshot
Multiple-Goal Objective Functions For Optimization of Task Assignment in Complex Computer Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)47230-2openalex-snapshot
Using a Real-Time Framework to Verify the Properties of Grafcet
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49436-5openalex-snapshot
Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51637-7openalex-snapshot
Giving Semantics to the Extended Grafcet by Means of Timed Transition Model
inferred← citeshttps://doi.org/10.1049/sej.1994.0026openalex-snapshot
Application-oriented real-time algebra
inferred← citeshttps://doi.org/10.1109/87.572129openalex-snapshot
A visual toolset for the design of real-time discrete-event systems
inferred← citeshttps://doi.org/10.1109/aero.1997.577994openalex-snapshot
PARAGON: a paradigm for the specification, verification and testing of real-time systems
inferred← citeshttps://doi.org/10.1109/case.1995.465297openalex-snapshot
A CASE tool for the design of safety-critical software
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.524967openalex-snapshot
Time in distributed systems cooperation and communication models
inferred← citeshttps://doi.org/10.1109/rtoss.1994.292563openalex-snapshot
Practical formal development of real-time systems
inferred← citeshttps://doi.org/10.1109/tron.1992.313260openalex-snapshot
TGHC: timed guarded Horn clauses
inferred← citeshttps://doi.org/10.1109/wift.1995.515483openalex-snapshot
Automated modular specification and verification of real-time reactive systems
inferred← citeshttps://doi.org/10.1142/9789812831583_0003openalex-snapshot
Visual tools for verifying 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.