On the public citation graph

Functional specification and proof of correctness for time dependent behaviour of reactive systems

https://doi.org/10.1007/bf01245633
0 signed · 29 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/3-540-16047-7_50openalex-snapshot
Examples of a real-time temporal logic specification
inferredcites →https://doi.org/10.1007/3-540-17906-2_31openalex-snapshot
Event structures
inferredcites →https://doi.org/10.1007/978-1-4471-3534-0_10openalex-snapshot
Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems
inferredcites →https://doi.org/10.1007/bf00263648openalex-snapshot
A functional model for describing and reasoning about time behaviour of computing systems
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/0012-365x(85)90042-1openalex-snapshot
Interval graphs and interval orders
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1051/ita/1977110403291openalex-snapshot
Data types as lattices : retractions, closures and projections
inferredcites →https://doi.org/10.1109/robot.1987.1087874openalex-snapshot
Issues for concurrent programming in real-time systems
inferredcites →https://doi.org/10.1109/tse.1982.235254openalex-snapshot
An Operational Approach to Requirements Specification for Embedded Systems
inferredcites →https://doi.org/10.1109/tse.1985.231845openalex-snapshot
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
inferredcites →https://doi.org/10.1109/tse.1986.6312939openalex-snapshot
Functional programming, formal specification, and rapid prototyping
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.1145/2363.2365openalex-snapshot
A distributed alternative to finite-state-machine specifications
inferredcites →https://doi.org/10.1145/5383.5384openalex-snapshot
The mutual exclusion problem
inferredcites →https://doi.org/10.2307/2981909openalex-snapshot
Interval Orders and Interval Graphs: A Study of Partially Ordered Sets.

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-56610-4_59openalex-snapshot
Yeast: A case study for a practical use of formal methods
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_52openalex-snapshot
Comparability orders and measurement
inferred← citeshttps://doi.org/10.1007/3-540-60688-2_55openalex-snapshot
TROM — An object model for reactive system development
inferred← citeshttps://doi.org/10.1007/978-1-4471-3213-4_5openalex-snapshot
Modeling Time in Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3213-4_6openalex-snapshot
A Unified Framework for Database Specification: Functional Approach
inferred← citeshttps://doi.org/10.1007/s11334-009-0096-1openalex-snapshot
Software monitoring through formal specification animation
inferred← citeshttps://doi.org/10.1016/0164-1212(94)90056-6openalex-snapshot
Some timing aspects of software development for reactive systems: The two-axis paradigm
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90193-7openalex-snapshot
Refinement of events in the development of real-time distributed systems
inferred← citeshttps://doi.org/10.1109/cmpeur.1992.218479openalex-snapshot
Specification of real-time distributed database systems
inferred← citeshttps://doi.org/10.1109/ds-rt.2008.22openalex-snapshot
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
inferred← citeshttps://doi.org/10.1109/iceccs.1995.479350openalex-snapshot
An object-oriented modeling of real-time robotic assembly system
inferred← citeshttps://doi.org/10.1109/iros.1992.594474openalex-snapshot
Formal Specifications are Mathematical Example from Robotics
inferred← citeshttps://doi.org/10.1109/tencon.1994.369159openalex-snapshot
Formal specification techniques for complex software 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.