On the public citation graph
Verifying Linear Real-Time Logic Specifications
0 signed · 30 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-45351-2_7openalex-snapshot
Compositional Refinement for Hierarchical Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-58555-9_121openalex-snapshot
RTL and refutation by positive cycles
inferredcites →https://doi.org/10.1109/32.368134openalex-snapshot
Modechart: a specification language for real-time systems
inferredcites →https://doi.org/10.1109/32.585500openalex-snapshot
Implementing atomic actions in Ada 95
inferredcites →https://doi.org/10.1109/32.935853openalex-snapshot
Simulation-verification: biting at the state explosion problem
inferredcites →https://doi.org/10.1109/iscas.1990.112605openalex-snapshot
An algorithm to detect positive cycles in a constraint graph for layout compaction
inferredcites →https://doi.org/10.1109/real.1996.563706openalex-snapshot
The MSP.RTL real-time scheduler synthesis tool
inferredcites →https://doi.org/10.1109/rtas.2005.50openalex-snapshot
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting
inferredcites →https://doi.org/10.1109/rtas.2007.5openalex-snapshot
A Programming Model for Time-Synchronized Distributed Real-Time Systems
inferredcites →https://doi.org/10.1109/rtss.2006.23openalex-snapshot
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension
inferredcites →https://doi.org/10.1109/rtss.2006.39openalex-snapshot
Programming Execution-Time Servers in Ada 2005
inferredcites →https://doi.org/10.1109/rttas.1999.777678openalex-snapshot
Timing analysis of the X-38 space station crew return vehicle avionics
inferredcites →https://doi.org/10.1109/rttas.2004.1317268openalex-snapshot
Coordinated search and track by multiple phased array radars
inferredcites →https://doi.org/10.1109/rttas.2004.1317295openalex-snapshot
Incremental satisfiability counting 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.1145/1274610.1274611openalex-snapshot
The implementation of the Priority Ceiling Protocol in Ada-2005
inferredcites →https://doi.org/10.1145/1316002.1316012openalex-snapshot
Programming execution-time servers in Ada 2005
inferredcites →https://doi.org/10.1145/774789.774816openalex-snapshot
A strongly polynomial-time algorithm for over-constraint resolution
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-540-69295-9_14openalex-snapshot
Scheduling for Reliable Execution in Autonomic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-31909-9_32openalex-snapshot
T-CUP: A TPM-Based Code Update Protocol Enabling Attestations for Sensor Networks
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/j.adhoc.2012.08.011openalex-snapshot
Survey and comparison of message authentication solutions on wireless sensor networks
inferred← citeshttps://doi.org/10.1109/rtas.2009.15openalex-snapshot
A Metric for Judicious Relaxation of Timing Constraints in Soft Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2012.46openalex-snapshot
Timing Analysis of Small Aircraft Transportation System (SATS)
inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00065openalex-snapshot
Work-in-Progress: Simplifying CPS Development with Real-Time Virtual Resources
inferred← citeshttps://doi.org/10.1109/synasc.2008.16openalex-snapshot
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies
inferred← citeshttps://doi.org/10.1109/synasc.2009.12openalex-snapshot
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems
inferred← citeshttps://doi.org/10.1155/2014/869474openalex-snapshot
A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC 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.