On the public citation graph
Extending hoare logic to real-time
0 signed · 58 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-10693-6openalex-snapshot
The Programming Language Ada Reference Manual
inferredcites →https://doi.org/10.1007/3-540-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-55602-8_217openalex-snapshot
PVS: A prototype verification system
inferredcites →https://doi.org/10.1007/3-540-56922-7_23openalex-snapshot
Verification of real-time systems using PVS
inferredcites →https://doi.org/10.1007/3-540-57318-6_27openalex-snapshot
A compositional approach to the design of hybrid systems
inferredcites →https://doi.org/10.1007/3-540-57318-6_39openalex-snapshot
On formal support for industrial-scale requirements analysis
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_17openalex-snapshot
On the Development of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-7091-9396-9_24openalex-snapshot
Specification and Verification of an Atomic Broadcast Protocol
inferredcites →https://doi.org/10.1007/bf01088595openalex-snapshot
Compositional verification of a distributed real-time arbitration protocol
inferredcites →https://doi.org/10.1007/bf01088854openalex-snapshot
Formal specification and compositional verification of an atomic broadcast protocol
inferredcites →https://doi.org/10.1007/bfb0031985openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1016/0141-9331(82)90378-7openalex-snapshot
The programming language ADA reference manual
inferredcites →https://doi.org/10.1109/real.1993.393488openalex-snapshot
Specification and verification of a distributed real-time arbitration protocol
inferredcites →https://doi.org/10.1109/tse.1981.231111openalex-snapshot
Real-Time Behavior of Programs
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
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-44798-9_7openalex-snapshot
Deriving Real-Time Programs from Duration Calculus Specifications
inferred← citeshttps://doi.org/10.1007/3-540-47764-0_2openalex-snapshot
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_158openalex-snapshot
Correctness of real time systems by construction
inferred← citeshttps://doi.org/10.1007/3-540-60609-2_11openalex-snapshot
Development of safety-critical real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-60692-0_43openalex-snapshot
Verifying part of the ACCESS.bus protocol using PVS
inferred← citeshttps://doi.org/10.1007/3-540-60973-3_95openalex-snapshot
Integrating real-time scheduling theory and program refinement
inferred← citeshttps://doi.org/10.1007/978-0-387-21798-7_6openalex-snapshot
A predicative semantics for real-time refinement
inferred← citeshttps://doi.org/10.1007/978-3-031-21037-2_6openalex-snapshot
Model-Based Fault Classification for Automotive Software
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_23openalex-snapshot
Invariants, Well-Founded Statements and Real-Time Program Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-69483-2_7openalex-snapshot
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-25938-1_6openalex-snapshot
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_12openalex-snapshot
Verifying Emulation of Legacy Mission Computer Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_3openalex-snapshot
A Real-Time Extension of Creol for Modelling Biomedical Sensors
inferred← citeshttps://doi.org/10.1007/978-3-642-29952-0_13openalex-snapshot
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
inferred← citeshttps://doi.org/10.1007/bfb0024433openalex-snapshot
Using PVS for an assertional verification of the RPC-memory specification problem
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/s10009-004-0174-5openalex-snapshot
Formal change impact analyses for emulated control software
inferred← citeshttps://doi.org/10.1007/s11036-018-1142-8openalex-snapshot
Formal Verification of mCWQ Using Extended Hoare Logic
inferred← citeshttps://doi.org/10.1007/s11704-022-2258-3openalex-snapshot
A proof system of the CaIT calculus
inferred← citeshttps://doi.org/10.1016/s1383-7621(96)00036-7openalex-snapshot
Integrating methods for the design of real-time systems
inferred← citeshttps://doi.org/10.1023/a:1008188323123openalex-snapshot
An Approach to Platform Independent Real-Time Programming: (1) Formal Description
inferred← citeshttps://doi.org/10.1109/aswec.2004.1290472openalex-snapshot
Towards platform-independent real-time systems
inferred← citeshttps://doi.org/10.1109/emrts.2001.934023openalex-snapshot
Formal platform-independent design of real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514317openalex-snapshot
An integrated technique for developing real-time systems
inferred← citeshttps://doi.org/10.1109/tase52547.2021.00017openalex-snapshot
A Proof System for HRML with Extended Hoare Logic
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637978openalex-snapshot
Platform-independent verification of real-time programs
inferred← citeshttps://doi.org/10.1145/1655925.1656086openalex-snapshot
A formal approach for specification and verification of fault injection process
inferred← citeshttps://doi.org/10.1145/3701729openalex-snapshot
A Proof System for the SMrCaIT Calculus
inferred← citeshttps://doi.org/10.12694/scpe.v1i2.76openalex-snapshot
Formal design of real-time systems in a platform-independent way
inferred← citeshttps://doi.org/10.14236/ewic/rw1996.14openalex-snapshot
A real-time refinement calculus that changes only time
inferred← citeshttps://doi.org/10.14279/depositonce-4137openalex-snapshot
A mechanized verification environment for real-time process algebras and low-level programming languages
inferred← citeshttps://doi.org/10.70675/656cf5a4zc9d9z4b2ez9480zdfac60bb4d83openalex-snapshot
A complementary approach for testing system robustness based on passive testing and fault injection techniques
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.