On the public citation graph
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
0 signed · 55 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-46419-0_19openalex-snapshot
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-46419-0_25openalex-snapshot
Model Checking SDL with Spin
inferredcites →https://doi.org/10.1007/3-540-48119-2_19openalex-snapshot
If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
inferredcites →https://doi.org/10.1007/3-540-48294-6_11openalex-snapshot
State Space Reduction Based on Live Variables Analysis
inferredcites →https://doi.org/10.1007/3-540-49213-5_5openalex-snapshot
Modeling Urgency in Timed Systems
inferredcites →https://doi.org/10.1007/s10009-002-0098-xopenalex-snapshot
Using static analysis to improve automatic test generation
inferredcites →https://doi.org/10.1007/s100090050008openalex-snapshot
HYTECH: a model checker for hybrid systems
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-36577-x_11openalex-snapshot
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_7openalex-snapshot
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers
inferred← citeshttps://doi.org/10.1007/978-3-540-30124-0_26openalex-snapshot
Parameterized Model Checking of Ring-Based Message Passing Systems
inferred← citeshttps://doi.org/10.1007/s10009-017-0462-5openalex-snapshot
From high-level modeling toward efficient and trustworthy circuits
inferred← citeshttps://doi.org/10.1007/s10270-022-01069-yopenalex-snapshot
Automaton-based comparison of Declare process models
inferred← citeshttps://doi.org/10.1016/j.disc.2024.113906openalex-snapshot
The effects of semantic simplifications on random BST-like expression-trees
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.032openalex-snapshot
Verifying Properties of Coordination by Well-Structured Transition Systems
inferred← citeshttps://doi.org/10.1016/j.future.2012.08.006openalex-snapshot
Recent developments in high performance computing and security: An editorial
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.106213openalex-snapshot
Towards assisting developers in API usage by automated recovery of complex temporal patterns
inferred← citeshttps://doi.org/10.1016/j.jlap.2006.02.001openalex-snapshot
Tree regular model checking: A simulation-based approach
inferred← citeshttps://doi.org/10.1016/j.jss.2013.11.1111openalex-snapshot
Process fragmentation, distribution and execution using an event-based interaction scheme
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103116openalex-snapshot
Synthesizing LTL contracts from component libraries using rich counterexamples
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.02.006openalex-snapshot
Reducing behavioural to structural properties of programs with procedures
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.03.012openalex-snapshot
Sampling automata and programs
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.08.039openalex-snapshot
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
inferred← citeshttps://doi.org/10.1023/a:1024716316140openalex-snapshot
Formal Verification of a Complex Pipelined Processor
inferred← citeshttps://doi.org/10.1109/sefm.2006.24openalex-snapshot
Harnessing Disruptive Innovation in Formal Verification
inferred← citeshttps://doi.org/10.1109/wicsa.2001.948409openalex-snapshot
SPIN-ning software architectures: a method for exploring complex systems
inferred← citeshttps://doi.org/10.1142/s0218843004000936openalex-snapshot
AN AUTOMATA-BASED APPROACH TO CSCW VERIFICATION
inferred← citeshttps://doi.org/10.1145/1639622.1639624openalex-snapshot
Some resources for teaching concurrency
inferred← citeshttps://doi.org/10.1145/242223.242252openalex-snapshot
Strategic directions in concurrency research
inferred← citeshttps://doi.org/10.1145/2591062.2594450openalex-snapshot
Exploiting undefined behaviors for efficient symbolic execution
inferred← citeshttps://doi.org/10.1145/2603088.2603127openalex-snapshot
Abstract interpretation from Büchi automata
inferred← citeshttps://doi.org/10.1145/2746235openalex-snapshot
Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories
inferred← citeshttps://doi.org/10.1145/2771783.2771794openalex-snapshot
Reliability assessment for distributed systems via communication abstraction and refinement
inferred← citeshttps://doi.org/10.1145/2776892openalex-snapshot
Parametrised Modal Interface Automata
inferred← citeshttps://doi.org/10.1145/2835375openalex-snapshot
A Taxonomy of Attacks and a Survey of Defence Mechanisms for Semantic Social Engineering Attacks
inferred← citeshttps://doi.org/10.1145/2842603openalex-snapshot
Parameterized Verification of Asynchronous Shared-Memory Systems
inferred← citeshttps://doi.org/10.1145/2950290.2950307openalex-snapshot
Designing minimal effective normative systems with the help of lightweight formal methods
inferred← citeshttps://doi.org/10.1145/3062341.3062349openalex-snapshot
Synthesizing program input grammars
inferred← citeshttps://doi.org/10.1145/3109984.3110011openalex-snapshot
Simplified model for automatic QCA circuitry verification
inferred← citeshttps://doi.org/10.1145/3126508openalex-snapshot
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
inferred← citeshttps://doi.org/10.1145/3140587.3062349openalex-snapshot
Synthesizing program input grammars
inferred← citeshttps://doi.org/10.1145/3357495.3357500openalex-snapshot
The benefits of using interactive device simulations as training material for clinicians
inferred← citeshttps://doi.org/10.1145/3365365.3382222openalex-snapshot
Synthesizing barrier certificates using neural networks
inferred← citeshttps://doi.org/10.1145/3416507.3423189openalex-snapshot
Using dynamically inferred invariants to analyze program runtime complexity
inferred← citeshttps://doi.org/10.1145/3551349.3556958openalex-snapshot
Compiler Testing using Template Java Programs
inferred← citeshttps://doi.org/10.1145/3611643.3613894openalex-snapshot
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
inferred← citeshttps://doi.org/10.1145/3649329.3655970openalex-snapshot
Predicting Lemmas in Generalization of IC3
inferred← citeshttps://doi.org/10.1145/3672451openalex-snapshot
Keeper: Automated Testing and Fixing of Machine Learning Software
inferred← citeshttps://doi.org/10.1145/3729382openalex-snapshot
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems
inferred← citeshttps://doi.org/10.1145/3735552openalex-snapshot
Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving
inferred← citeshttps://doi.org/10.1371/journal.pone.0094553openalex-snapshot
Robustness Analysis of Stochastic Biochemical 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.