On the public citation graph
Duration Calculi: An overview
0 signed · 53 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/3-540-55092-5_2openalex-snapshot
Duration specifications for shared processors
inferredcites →https://doi.org/10.1007/3-540-56503-5_8openalex-snapshot
Decidability and undecidability results for duration calculus
inferredcites →https://doi.org/10.1007/3-540-57318-6_23openalex-snapshot
An extended duration calculus for hybrid real-time systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_40openalex-snapshot
A formal approach to computer systems requirements documentation
inferredcites →https://doi.org/10.1007/978-3-662-06784-0_12openalex-snapshot
Probabilistic Duration Calculus
inferredcites →https://doi.org/10.1007/bfb0031994openalex-snapshot
Semantics and completeness of Duration Calculus
inferredcites →https://doi.org/10.1109/emwrt.1992.637480openalex-snapshot
Time interval semantics and implementation of a real-time programming language
inferredcites →https://doi.org/10.1109/emwrt.1992.637481openalex-snapshot
Specification Of Embedded, Real-time Systems
inferredcites →https://doi.org/10.1109/mc.1985.1662795openalex-snapshot
A Temporal Logic for Multilevel Reasoning about Hardware
inferredcites →https://doi.org/10.1145/123041.123051openalex-snapshot
Specifying and verifying requirements of real-time systems
inferredcites →https://doi.org/10.21236/ada324174openalex-snapshot
A Temporal Logic for Multi-Level Reasoning About Hardware,
inferredcites →https://doi.org/10.82444/warw.33641620openalex-snapshot
Towards a calculus of systems dependability
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_1openalex-snapshot
Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views
inferred← citeshttps://doi.org/10.1007/11563228_23openalex-snapshot
Automatic Code Generation for PLC Controllers
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_16openalex-snapshot
Take It NP-Easy: Bounded Model Construction for Duration Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_25openalex-snapshot
Constructing Test Automata from Graphical Real-Time Requirements
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_22openalex-snapshot
Control of Interval Temporal Systems
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_39openalex-snapshot
A duration calculus with infinite intervals
inferred← citeshttps://doi.org/10.1007/3-540-61377-3_52openalex-snapshot
Some extensions to propositional mean-value calculus: Expressiveness and decidability
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_39openalex-snapshot
Weak chop inverses and liveness in Mean-Value Calculus
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_42openalex-snapshot
The production cell: A verified real-time system
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_8openalex-snapshot
PLC-automata: A new class of implementable real-time automata
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_2openalex-snapshot
Graphical specification and reasoning: Case study generalised railroad crossing
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_47openalex-snapshot
Representation of discretely controlled continuous systems in software-oriented formal analysis
inferred← citeshttps://doi.org/10.1007/978-0-387-21798-7_9openalex-snapshot
“What is a method?” — an essay on some aspects of domain engineering
inferred← citeshttps://doi.org/10.1007/978-0-387-35358-6_22openalex-snapshot
Verifying Duration Properties of Timed Transition Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35578-8_7openalex-snapshot
Stress Testing of Distributed Multimedia Software Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_10openalex-snapshot
Modelling Discrete Behaviour in a Continuous-Time Formalism
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_12openalex-snapshot
“What Is an Infrastructure?” Towards an Informatics Answer
inferred← citeshttps://doi.org/10.1007/bfb0000472openalex-snapshot
Refinement rules for real-time multi-tasking programs
inferred← citeshttps://doi.org/10.1007/bfb0020954openalex-snapshot
Formal specification of stability in hybrid control systems
inferred← citeshttps://doi.org/10.1007/bfb0027802openalex-snapshot
Formal verification and evaluation of execution time in the envelope theory
inferred← citeshttps://doi.org/10.1007/bfb0054288openalex-snapshot
A unifying framework for correct program construction
inferred← citeshttps://doi.org/10.1007/bfb0054291openalex-snapshot
A set-theoretic model for real-time specification and reasoning
inferred← citeshttps://doi.org/10.1007/bfb0055334openalex-snapshot
Operational and logical semantics for polling real-time systems
inferred← citeshttps://doi.org/10.1007/s00165-004-0034-9openalex-snapshot
Comparing model checking and logical reasoning for real-time systems
inferred← citeshttps://doi.org/10.1007/s001659970004openalex-snapshot
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction
inferred← citeshttps://doi.org/10.1007/s002360050153openalex-snapshot
Transformational design of real-time systems Part I: From requirements to program specifications
inferred← citeshttps://doi.org/10.1007/s002360050154openalex-snapshot
Transformational design of real-time systems. Part II: From program specifications to programs
inferred← citeshttps://doi.org/10.1016/0952-1976(94)00045-oopenalex-snapshot
Episode analysis: A practical approach for temporal reasoning in automated processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00378-4openalex-snapshot
Induction in the Timed Interval Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80887-9openalex-snapshot
Representation of a Discretely Controlled Continuous System in Tense Arithmetic
inferred← citeshttps://doi.org/10.1017/s0956796800003671openalex-snapshot
A functional reactive animation of a lift using Fran
inferred← citeshttps://doi.org/10.1023/a:1018983515535openalex-snapshot
Pinnacles of software engineering: 25 years of formal methods
inferred← citeshttps://doi.org/10.1109/apsec.1995.496948openalex-snapshot
Software systems engineering-from domain analysis via requirements capture to software architectures
inferred← citeshttps://doi.org/10.1109/apsec.1995.496980openalex-snapshot
Systematic development of the human interface
inferred← citeshttps://doi.org/10.1109/icfem.1998.730571openalex-snapshot
Defining differentiation and integration in Z
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.