The following pages link to Shengchao Qin (Q436399):
Displaying 24 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- Loop invariant synthesis in a combined abstract domain (Q1930180) (← links)
- Frame inference for inductive entailment proofs in separation logic (Q2324205) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Enhancing modular OO verification with separation logic (Q3189829) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude (Q3455649) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- An Interval-Based Inference of Variant Parametric Types (Q3617693) (← links)
- (Q4412491) (← links)
- (Q4640971) (← links)
- The stochastic semantics and verification for periodic control systems (Q5046495) (← links)
- Investigating Time Properties of Interrupt-Driven Programs (Q5200480) (← links)
- Constructing Property-Oriented Models for Verification (Q5307476) (← links)
- Separation Logic for Multiple Inheritance (Q5415606) (← links)
- Automated Verification of Shape and Size Properties Via Separation Logic (Q5452612) (← links)
- Programming Languages and Systems (Q5464055) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709967) (← links)
- Static Analysis (Q5897429) (← links)
