The following pages link to Naijun Zhan (Q208297):
Displayed 50 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- A higher-order duration calculus and its completeness (Q866220) (← links)
- Rate monotonic scheduling re-analysed (Q991759) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Safe over- and under-approximation of reachable sets for delay differential equations (Q1683458) (← links)
- Automatic verification of stability and safety for delay differential equations (Q1702900) (← links)
- Model checking conditional CSL for continuous-time Markov chains (Q1941693) (← links)
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Inferring switched nonlinear dynamical systems (Q2050095) (← links)
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Probably approximately correct interpolants generation (Q2169117) (← links)
- Nonlinear Craig interpolant generation (Q2225119) (← links)
- Unbounded-time safety verification of stochastic differential dynamics (Q2226745) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Validated simulation-based verification of delayed differential dynamics (Q2281633) (← links)
- Approximate bisimulation and discretization of hybrid CSP (Q2281663) (← links)
- Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow (Q2296289) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- (Q2753691) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- (Q2849554) (← links)
- Generating Non-linear Interpolants by Semidefinite Programming (Q2864839) (← links)
- An Assume/Guarantee Based Compositional Calculus for Hybrid CSP (Q2898020) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Bounded model-checking of discrete duration calculus (Q2986927) (← links)
- Connection between logical and algebraic approaches to concurrent systems (Q3060196) (← links)
- (Q3132075) (← links)
- (Q3181698) (← links)
- Model Checking Linear Duration Invariants of Networks of Automata (Q3400924) (← links)
- Formal Verification of Simulink/Stateflow Diagrams (Q3460585) (← links)
- Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586) (← links)
- A Model of Component-Based Programming (Q3508526) (← links)
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems (Q3525073) (← links)
- Generating Polynomial Invariants with DISCOVERER and QEPCAD (Q3526926) (← links)
- Component Publications and Compositions (Q3585034) (← links)
- (Q4414393) (← links)
- Under-Approximating Reach Sets for Polynomial Continuous Systems (Q4561432) (← links)
- Model Checking Bounded Continuous-time Extended Linear Duration Invariants (Q4561435) (← links)
- Formal Verification of Simulink/Stateflow Diagrams (Q4600381) (← links)