Shengchao Qin

Available identifiers

zbMath Open qin.shengchaoMaRDI QIDQ436399

List of research outcomes

Publication	Date of Publication	Type
Automated modular verification for relaxed communication protocols	2023-08-02	Paper
The stochastic semantics and verification for periodic control systems	2022-10-28	Paper
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation	2020-07-20	Paper
Frame inference for inductive entailment proofs in separation logic	2019-09-16	Paper
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS	2018-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4640971	2018-05-25	Paper
Denotational semantics and its algebraic derivation for an event-driven system-level language	2016-01-06	Paper
Denotational Semantics for a Probabilistic Timed Shared-Variable Language	2015-12-11	Paper
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude	2015-12-11	Paper
Enhancing modular OO verification with separation logic	2014-09-12	Paper
Separation Logic for Multiple Inheritance	2014-05-13	Paper
Invariants Synthesis over a Combined Domain for Automated Program Verification	2013-08-16	Paper
Loop invariant synthesis in a combined abstract domain	2013-01-10	Paper
Investigating Time Properties of Interrupt-Driven Programs	2012-11-06	Paper
Automated verification of shape, size and bag properties via user-defined predicates in separation logic	2012-07-20	Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language	2011-12-19	Paper
Verifying pointer safety for programs with unknown calls	2010-11-10	Paper
An Interval-Based Inference of Variant Parametric Types	2009-03-31	Paper
Automated Verification of Shape and Size Properties Via Separation Logic	2008-04-04	Paper
Constructing Property-Oriented Models for Verification	2007-09-14	Paper
Static Analysis	2006-10-31	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4412491	2003-07-15	Paper
An algebraic hardware/software partitioning algorithm	2002-08-28	Paper

Research outcomes over time

This page was built for person: Shengchao Qin