On the public citation graph
A hardware semantics based on temporal intervals
0 signed · 160 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-3-642-68402-9openalex-snapshot
VLSI Systems and Computations
inferredcites →https://doi.org/10.1007/978-3-642-68402-9_23openalex-snapshot
Temporal Specifications of Self-Timed Systems
inferredcites →https://doi.org/10.1007/978-3-642-95424-5openalex-snapshot
Diagnosis & Reliable Design of Digital Systems
inferredcites →https://doi.org/10.1016/0378-4754(83)90038-1openalex-snapshot
The correctness problem in computer science
inferredcites →https://doi.org/10.1109/sfcs.1976.27openalex-snapshot
Semantical consideration on floyo-hoare logic
inferredcites →https://doi.org/10.1109/sfcs.1980.35openalex-snapshot
Process logic: Expressiveness, decidability, completeness
inferredcites →https://doi.org/10.1109/tc.1976.1674538openalex-snapshot
Strum: Structured Microprogram Development System for Correct Firmware
inferredcites →https://doi.org/10.1109/tc.1981.1675808openalex-snapshot
Slide: An I/O Hardware Descriptive Language
inferredcites →https://doi.org/10.1109/tc.1981.6312154openalex-snapshot
Instruction set processor specifications (ISPS): The notation and its applications
inferredcites →https://doi.org/10.1109/tc.1982.1675978openalex-snapshot
Hardware Specification with Temporal Logic: An Example
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.1145/1067627.806585openalex-snapshot
Proving real-time properties of programs with temporal logic
inferredcites →https://doi.org/10.1145/62882.62928openalex-snapshot
Verification of timing constraints on large digital systems
inferredcites →https://doi.org/10.1145/69624.357207openalex-snapshot
Specifying Concurrent Program Modules
inferredcites →https://doi.org/10.1145/800070.802189openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.1145/800076.802493openalex-snapshot
Equations between regular terms and an application to process logic
inferredcites →https://doi.org/10.1145/800139.804523openalex-snapshot
Verification of timing constraints on large digital systems
inferredcites →https://doi.org/10.1145/800139.804573openalex-snapshot
Algebraic analysis of nondeterministic behavior
inferredcites →https://doi.org/10.1145/800216.806585openalex-snapshot
Proving real-time properties of programs with temporal logic
inferredcites →https://doi.org/10.1145/800221.806720openalex-snapshot
An interval logic for higher-level temporal reasoning
inferredcites →https://doi.org/10.21236/ada106750openalex-snapshot
Verification of Concurrent Programs. Part I. The Temporal Framework,
inferredcites →https://doi.org/10.21236/ada324174openalex-snapshot
A Temporal Logic for Multi-Level Reasoning About Hardware,
inferredcites →https://doi.org/10.2307/2273958openalex-snapshot
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs.…
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11560647_9openalex-snapshot
Compositionality of Fixpoint Logic with Chop
inferred← citeshttps://doi.org/10.1007/11828563_14openalex-snapshot
Lazy Semiring Neighbours and Some Applications
inferred← citeshttps://doi.org/10.1007/3-540-12896-4_358openalex-snapshot
Automatic verification of asynchronous circuits
inferred← citeshttps://doi.org/10.1007/3-540-12896-4_374openalex-snapshot
Reasoning in interval temporal logic
inferred← citeshttps://doi.org/10.1007/3-540-15670-4_6openalex-snapshot
Executing temporal logic programs
inferred← citeshttps://doi.org/10.1007/3-540-16047-7_58openalex-snapshot
A temporal analysis of some concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-44464-5_21openalex-snapshot
Sharpening the Undecidability of Interval Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_19openalex-snapshot
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_1openalex-snapshot
Branching vs. Linear Time: Final Showdown
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_5openalex-snapshot
Tableau-Based Automated Deduction for Duration Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45653-8_22openalex-snapshot
Automated Proof Support for Interval Logics
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_22openalex-snapshot
Decidability of Interval Temporal Logics over Split-Frames via Granularity
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_25openalex-snapshot
A behavioral model for co-design
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_17openalex-snapshot
Compositional Reasoning using Interval Temporal Logic and Tempura
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_23openalex-snapshot
An Adequate First Order Interval Logic
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_1openalex-snapshot
Duration Calculus, a Logical Approach to Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-51285-3_55openalex-snapshot
Compositionality in the temporal logic of concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-51803-7_23openalex-snapshot
On the relation of programs and computations to models of temporal logic
inferred← citeshttps://doi.org/10.1007/3-540-54414-3_37openalex-snapshot
Topological constraints: A representational framework for approximate spatial and temporal reasoning
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_1openalex-snapshot
ISL: An interval logic for the specification of real-time programs
inferred← citeshttps://doi.org/10.1007/3-540-56287-7_94openalex-snapshot
An automata-theoretic decision procedure for Future Interval Logic
inferred← citeshttps://doi.org/10.1007/3-540-56503-5_8openalex-snapshot
Decidability and undecidability results for duration calculus
inferred← citeshttps://doi.org/10.1007/3-540-57287-2_41openalex-snapshot
Combining terminological logics with tense logic
inferred← citeshttps://doi.org/10.1007/3-540-57529-4_52openalex-snapshot
A real-time interval logic and its decision procedure
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_189openalex-snapshot
Towards a duration calculus proof assistant in PVS
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_1openalex-snapshot
A Common Framework for Mixed Hardware/Software Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3756-6_17openalex-snapshot
A Formal Method for Hard Real-Time Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_28openalex-snapshot
Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices
inferred← citeshttps://doi.org/10.1007/978-3-031-45558-2_10openalex-snapshot
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection
inferred← citeshttps://doi.org/10.1007/978-3-031-63501-4_1openalex-snapshot
Model Construction for Modal Clauses
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_11openalex-snapshot
The Complexity of Data-Free Nfer
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_14openalex-snapshot
An LAGC Semantics for Timed Rebeca
inferred← citeshttps://doi.org/10.1007/978-3-032-06085-3_25openalex-snapshot
A Sequent Calculus For Trace Formula Implication
inferred← citeshttps://doi.org/10.1007/978-3-319-08783-2_8openalex-snapshot
Normal Form Expressions of Propositional Projection Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_24openalex-snapshot
Functional Specification of Hardware via Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-25942-0_10openalex-snapshot
An Application of Temporal Projection to Interleaving Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-319-64021-1_3openalex-snapshot
Overview of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-68321-8_34openalex-snapshot
A Fuzzy Propositional Logic with Temporal Intervals
inferred← citeshttps://doi.org/10.1007/978-3-540-39910-0_22openalex-snapshot
A Hierarchical Completeness Proof for Propositional Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_23openalex-snapshot
Liveness and Fairness in Duration Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_17openalex-snapshot
Deciding an Interval Logic with Accumulated Durations
inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_53openalex-snapshot
Boolean Abstraction for Temporal Logic Satisfiability
inferred← citeshttps://doi.org/10.1007/978-3-540-74510-5_38openalex-snapshot
Timed Traces and Strand Spaces
inferred← citeshttps://doi.org/10.1007/978-3-540-74964-6_3openalex-snapshot
A Theory of Duration Calculus with Application
inferred← citeshttps://doi.org/10.1007/978-3-642-11957-6_26openalex-snapshot
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
inferred← citeshttps://doi.org/10.1007/978-94-011-0305-3_20openalex-snapshot
On the Comparison of AI and DAI Based Planning Techniques for Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-981-15-2221-5_3openalex-snapshot
Unary and Two-Variable Interval Logics
inferred← citeshttps://doi.org/10.1007/bf00121125openalex-snapshot
Formal hardware verification methods: A survey
inferred← citeshttps://doi.org/10.1007/bf00871719openalex-snapshot
New and used temporal models: An issue of time
inferred← citeshttps://doi.org/10.1007/bf01211086openalex-snapshot
Duration calculus: Logical foundations
inferred← citeshttps://doi.org/10.1007/bf01213605openalex-snapshot
Model-checking discrete duration calculus
inferred← citeshttps://doi.org/10.1007/bf01424008openalex-snapshot
On the comparison of AI and DAI based planning techniques for automated manufacturing systems
inferred← citeshttps://doi.org/10.1007/bf02745518openalex-snapshot
A real-time interval logic and its decision procedure
inferred← citeshttps://doi.org/10.1007/bfb0023882openalex-snapshot
An interval-based modal logic for system specification
inferred← citeshttps://doi.org/10.1007/bfb0031994openalex-snapshot
Semantics and completeness of Duration Calculus
inferred← citeshttps://doi.org/10.1007/pl00020897openalex-snapshot
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
inferred← citeshttps://doi.org/10.1007/s00165-003-0014-5openalex-snapshot
Validating the PSL/Sugar Semantics Using Automated Reasoning
inferred← citeshttps://doi.org/10.1007/s00165-017-0417-3openalex-snapshot
An application of temporal projection to interleaving concurrency
inferred← citeshttps://doi.org/10.1007/s00236-007-0062-zopenalex-snapshot
A decision procedure for propositional projection temporal logic with infinite models
inferred← citeshttps://doi.org/10.1007/s10009-006-0006-xopenalex-snapshot
Model-checking the preservation of temporal properties upon feature integration
inferred← citeshttps://doi.org/10.1007/s10207-019-00483-6openalex-snapshot
A language and a pattern system for temporal property specification: advanced metering infrastructure case study
inferred← citeshttps://doi.org/10.1007/s10817-018-09503-xopenalex-snapshot
A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments
inferred← citeshttps://doi.org/10.1007/s11241-010-9094-5openalex-snapshot
A timeband framework for modelling real-time systems
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1016/0167-739x(90)90025-9openalex-snapshot
Compositionality in the temporal logic of concurrent systems (extended abstract)
inferred← citeshttps://doi.org/10.1016/0304-3975(85)90223-3openalex-snapshot
Hierarchical verification of asynchronous circuits using temporal logic
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00254-5openalex-snapshot
Interval logics and their decision procedures
inferred← citeshttps://doi.org/10.1016/b978-0-444-89208-9.50007-7openalex-snapshot
Specification and Verification of Hardware Systems using the Temporal Logic Language TRIO 11This work was partially supported by CNR-Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo and by ENEL-CRA
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.019openalex-snapshot
Model-checking the Preservation of Temporal Properties upon Feature Integration
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.006openalex-snapshot
Synthesising Features by Games
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.09.040openalex-snapshot
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.11.029openalex-snapshot
Decidability of a Hybrid Duration Calculus
inferred← citeshttps://doi.org/10.1016/j.jlap.2007.10.004openalex-snapshot
Algebraic Neighbourhood Logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)80701-8openalex-snapshot
Interval logics and their decision procedures
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80472-9openalex-snapshot
Prefix and Projection onto State in Duration Calculus
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03012-xopenalex-snapshot
Chapter 12 Temporal Representation and Reasoning
inferred← citeshttps://doi.org/10.1080/11663081.2022.2050135openalex-snapshot
A separation theorem for discrete-time interval temporal logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzag001openalex-snapshot
K and KT: an analytic non-deterministic view
inferred← citeshttps://doi.org/10.1093/logcom/14.2.215openalex-snapshot
A Complete Proof System for First-order Interval Temporal Logic with Projection
inferred← citeshttps://doi.org/10.1093/logcom/exm006openalex-snapshot
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
inferred← citeshttps://doi.org/10.1093/logcom/exm014openalex-snapshot
Termination for Hybrid Tableaus
inferred← citeshttps://doi.org/10.1109/12.123377openalex-snapshot
An efficient implementation of Boolean functions as self-timed circuits
inferred← citeshttps://doi.org/10.1109/32.910858openalex-snapshot
An interval logic for real-time system specification
inferred← citeshttps://doi.org/10.1109/43.277609openalex-snapshot
Formal verification of sequential hardware: a tutorial
inferred← citeshttps://doi.org/10.1109/43.57788openalex-snapshot
Systolic temporal arithmetic: a new formalism for specification and verification of systolic arrays
inferred← citeshttps://doi.org/10.1109/43.602473openalex-snapshot
Verification of Tempura specification of sequential circuits
inferred← citeshttps://doi.org/10.1109/autest.1997.633648openalex-snapshot
Delay fault testability modeling with temporal logic
inferred← citeshttps://doi.org/10.1109/fuzz-ieee.2014.6891863openalex-snapshot
Uncertain Interval Algebra via fuzzy/probabilistic modeling
inferred← citeshttps://doi.org/10.1109/iceccs.1995.479336openalex-snapshot
Compositional reasoning about projected and infinite time
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558324openalex-snapshot
Using TILCO for specifying real-time systems
inferred← citeshttps://doi.org/10.1109/lics.2000.855773openalex-snapshot
A complete axiomatization of interval temporal logic with infinite time
inferred← citeshttps://doi.org/10.1109/mc.1985.1662795openalex-snapshot
A Temporal Logic for Multilevel Reasoning about Hardware
inferred← citeshttps://doi.org/10.1109/mwscas.2001.986275openalex-snapshot
Modeling and verification of iterated systems and protocols
inferred← citeshttps://doi.org/10.1109/real.1993.393490openalex-snapshot
Really visual temporal reasoning
inferred← citeshttps://doi.org/10.1109/simsym.1995.393567openalex-snapshot
Hazard analysis of structured sequential systems
inferred← citeshttps://doi.org/10.1109/ssiri.2010.7openalex-snapshot
Modelling and Implementing Complex Systems with Timebands
inferred← citeshttps://doi.org/10.1109/tc.1986.1676711openalex-snapshot
Automatic Verification of Sequential Circuits Using Temporal Logic
inferred← citeshttps://doi.org/10.1109/time.2011.19openalex-snapshot
Synthesising Classic and Interval Temporal Logic
inferred← citeshttps://doi.org/10.1109/time.2012.26openalex-snapshot
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present
inferred← citeshttps://doi.org/10.1137/0214066openalex-snapshot
Equations between Regular Terms and an Application to Process Logic
inferred← citeshttps://doi.org/10.1145/1035429.1035432openalex-snapshot
Using interval logics for temporal analysis of security protocols
inferred← citeshttps://doi.org/10.1145/115234.115351openalex-snapshot
A propositional modal logic of time intervals
inferred← citeshttps://doi.org/10.1145/133233.129397openalex-snapshot
A model parametric real-time logic
inferred← citeshttps://doi.org/10.1145/192218.192226openalex-snapshot
A graphical interval logic for specifying concurrent systems
inferred← citeshttps://doi.org/10.1145/3178126.3178147openalex-snapshot
Model Checking Bounded Continuous-time Extended Linear Duration Invariants
inferred← citeshttps://doi.org/10.1145/349194.349197openalex-snapshot
Temporal logics for real-time system specification
inferred← citeshttps://doi.org/10.1145/3641513.3650180openalex-snapshot
Temporal Behavior Trees: Robustness and Segmentation
inferred← citeshttps://doi.org/10.1145/3648439openalex-snapshot
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
inferred← citeshttps://doi.org/10.1145/800017.800516openalex-snapshot
Temporal verification of carrier-sense local area network protocols
inferred← citeshttps://doi.org/10.1145/800017.800533openalex-snapshot
Applicative programming and digital design
inferred← citeshttps://doi.org/10.1145/800057.808665openalex-snapshot
Now you may compose temporal logic specifications
inferred← citeshttps://doi.org/10.1145/99569.99820openalex-snapshot
L.0: a parallel executable temporal logic language
inferred← citeshttps://doi.org/10.14236/ewic/rw1996.11openalex-snapshot
Using Temporal Fixpoints to Compositionally Reason about Liveness
inferred← citeshttps://doi.org/10.2168/lmcs-11(1:1)2015openalex-snapshot
A Hoare logic for the coinductive trace-based big-step semantics of While
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:10)2012openalex-snapshot
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
inferred← citeshttps://doi.org/10.22024/unikent/01.02.86456openalex-snapshot
Verification of real-time systems: improving tool support
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/6openalex-snapshot
Provably Fair Cooperative Scheduling
inferred← citeshttps://doi.org/10.24963/ijcai.2017/694openalex-snapshot
KSP: A Resolution-based Prover for Multimodal K, Abridged Report
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.4456openalex-snapshot
Resolution Proof Technique in Linear Temporal Logic.
inferred← citeshttps://doi.org/10.3166/jancl.14.105-148openalex-snapshot
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
inferred← citeshttps://doi.org/10.3166/jancl.14.149-180openalex-snapshot
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
inferred← citeshttps://doi.org/10.3166/jancl.14.181-208openalex-snapshot
Logical Interpolation and Projection onto State in the Duration Calculus
inferred← citeshttps://doi.org/10.3166/jancl.14.55-104openalex-snapshot
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
inferred← citeshttps://doi.org/10.3166/jancl.14.9-54openalex-snapshot
A Road Map of Interval Temporal Logics and Duration Calculi
inferred← citeshttps://doi.org/10.3233/fi-1995-2441openalex-snapshot
AXIOMATIZATIONS OF INTERVAL LOGICS
inferred← citeshttps://doi.org/10.3989/pirineos.2013.168002openalex-snapshot
Seguimiento de la diversidad de líquenes y cambio climático en Sierra Nevada (España)
inferred← citeshttps://doi.org/10.46298/lmcs-20(1:23)2024openalex-snapshot
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0601008openalex-snapshot
A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
inferred← citeshttps://doi.org/10.82444/warw.33803119openalex-snapshot
A temporal logic for the specification and verification of 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.