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
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude	2015-12-11	Paper
Denotational Semantics for a Probabilistic Timed Shared-Variable Language	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shengchao Qin