On the public citation graph

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension

https://doi.org/10.1109/rtss.2006.23

0 signed · 23 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-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.1007/s10462-004-4329-2openalex-snapshot

Counting for Satisfiability by Inverting Resolution

inferredcites →https://doi.org/10.1109/real.1996.563706openalex-snapshot

The MSP.RTL real-time scheduler synthesis tool

inferredcites →https://doi.org/10.1109/real.1997.641266openalex-snapshot

On-the-fly symbolic model checking for real-time systems

inferredcites →https://doi.org/10.1109/real.2004.15openalex-snapshot

Compositional Real-Time Scheduling Framework

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/rttas.1999.777678openalex-snapshot

Timing analysis of the X-38 space station crew return vehicle avionics

inferredcites →https://doi.org/10.1109/rttas.2004.1317295openalex-snapshot

Incremental satisfiability counting for real-time systems

inferredcites →https://doi.org/10.1109/slfstb.1999.777484openalex-snapshot

A case-study in component-based mechanical verification of fault-tolerant programs

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/589411.589423openalex-snapshot

Efficient algorithms for debugging timing constraint violations

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

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.1109/hase.2007.14openalex-snapshot

A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm

inferred← citeshttps://doi.org/10.1109/hase.2007.22openalex-snapshot

A Typed Compositional Language for Real-Time Systems

inferred← citeshttps://doi.org/10.1109/icdcs.workshops.2008.67openalex-snapshot

Cyber-Physical Medical and Medication 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/rtss.2007.14openalex-snapshot

Verifying Linear Real-Time Logic Specifications

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/tc.2009.79openalex-snapshot

Efficient Verification and Optimization of Real-Time Logic-Specified Systems

inferred← citeshttps://doi.org/10.1145/1721695.1721699openalex-snapshot

Feasibility of semiring-based timing constraints

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.