Shengchao Qin

Affiliations:
  • Teesside University, School of Computing, Middlesbrough, UK
  • Durham University, School of Engineering and Computing Scieneces, UK (2005 - 2010)
  • Peking University, School of Mathematical Sciences, Beijing, China (PhD 2002)


According to our database1, Shengchao Qin authored at least 148 papers between 2000 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming.
IEEE Trans. Reliab., September, 2023

Baton: symphony of random testing and concolic testing through machine learning and taint analysis.
Sci. China Inf. Sci., March, 2023

Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China.
Sci. Comput. Program., 2022

Preface.
J. Comput. Sci. Technol., 2022

Preface to Special Issue on Analysis and Verification of Intelligent Systems.
Int. J. Softw. Informatics, 2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.
Int. J. Softw. Informatics, 2022

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.
CoRR, 2022

MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.
CoRR, 2022

Controlled Concurrency Testing via Periodical Scheduling.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Algebraic Semantics for C++11 Memory Model.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.
IEEE Trans. Software Eng., 2021

Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study.
ACM Trans. Softw. Eng. Methodol., 2021

Extracting automata from neural networks using active learning.
PeerJ Comput. Sci., 2021

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf., 2021

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.
J. Comput. Sci. Technol., 2021

Preface.
J. Comput. Sci. Technol., 2021

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.
CoRR, 2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Demystifying "bad" error messages in data science libraries.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Bias Field Poses a Threat to DNN-Based X-Ray Recognition.
Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

2020
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception.
CoRR, 2020

A Program Logic for Reasoning About C11 Programs With Release-Sequences.
IEEE Access, 2020

An Axiomatic Approach to BigrTiMo.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Understanding Performance Concerns in the API Documentation of Data Science Libraries.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

MemLock: memory usage guided fuzzing.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019
Type Learning for Binaries and Its Applications.
IEEE Trans. Reliab., 2019

Automated Verification of CountDownLatch.
CoRR, 2019

Locating vulnerabilities in binaries via memory layout recovering.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Bi-Abductive Inference for Shape and Ordering Properties.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Comparative modelling and verification of Pthreads and Dthreads.
J. Softw. Evol. Process., 2018

State-taint analysis for detecting resource bugs.
Sci. Comput. Program., 2018

GPS+: Reasoning About Fences and Relaxed Atomics.
Int. J. Parallel Program., 2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput., 2018

Towards a Program Logic for C11 Release-Sequences.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Frame Inference for Inductive Entailment Proofs in Separation Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Testing heap-based programs with Java StarFinder.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.
Proceedings of the Formal Methods and Software Engineering, 2018

UTP Semantics for BigrTiMo.
Proceedings of the Formal Methods and Software Engineering, 2018

Variant Region Types.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Towards 'Verifying' a Water Treatment System.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Automated Modular Verification for Relaxed Communication Protocols.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Language Inclusion Checking of Timed Automata with Non-Zenoness.
IEEE Trans. Software Eng., 2017

Automated specification inference in a combined domain via user-defined predicates.
Sci. Comput. Program., 2017

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.
Sci. Comput. Program., 2017

Time-sensitive information flow control in timed event-B.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Effective Malware Detection Based on Behaviour and Data Features.
Proceedings of the Smart Computing and Communication, 2017

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning Types for Binaries.
Proceedings of the Formal Methods and Software Engineering, 2017

Improving Probability Estimation Through Active Probabilistic Model Learning.
Proceedings of the Formal Methods and Software Engineering, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.
Proceedings of the Formal Methods and Software Engineering, 2017

Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL).
计算机科学, 2016

Maximizing influence under influence loss constraint in social networks.
Expert Syst. Appl., 2016

Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
CoRR, 2016

State-Taint Analysis for Detecting Resource Bugs.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Reasoning about Fences and Relaxed Atomics.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Formalization and Verification of the Powerlink Protocol Using CSP.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Core Hybrid Event-B I: Single Hybrid Event-B machines.
Sci. Comput. Program., 2015

XML Schema特征提取算法 (XML Schema Features Extraction Algorithm).
计算机科学, 2015

Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci., 2015

Denotational semantics and its algebraic derivation for an event-driven system-level language.
Formal Aspects Comput., 2015

TLV: abstraction through testing, learning, and validation.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Termination and non-termination specification inference.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Optimal Route Search with the Coverage of Users' Preferences.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

GPU Accelerated On-the-Fly Reachability Checking.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

On Information Coverage for Location Category Based Point-of-Interest Recommendation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Expressive program verification via structured specifications.
Int. J. Softw. Tools Technol. Transf., 2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek.
Int. J. Softw. Tools Technol. Transf., 2014

Automatically refining partial specifications for heap-manipulating programs.
Sci. Comput. Program., 2014

Choreography Scenario-Based Test Data Generation.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Shape Analysis via Second-Order Bi-Abduction.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Loop invariant synthesis in a combined abstract domain.
J. Symb. Comput., 2013

Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci., 2013

A UTP Semantics for Communicating Processes with Shared Variables.
Proceedings of the Formal Methods and Software Engineering, 2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
Proceedings of the Formal Methods and Software Engineering, 2013

Automated Specification Discovery via User-Defined Predicates.
Proceedings of the Formal Methods and Software Engineering, 2013

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.
Proceedings of the International Conference on Embedded Software, 2013

Invariants Synthesis over a Combined Domain for Automated Program Verification.
Proceedings of the Theories of Programming and Formal Methods, 2013

Linking the Semantics of BPEL Using Maude.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Data-Race-Freedom of Concurrent Programs.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Automated verification of shape, size and bag properties via user-defined predicates in separation logic.
Sci. Comput. Program., 2012

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program., 2012

MDM: A Mode Diagram Modeling Framework
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
CoRR, 2012

The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci., 2012

Denotational Semantics for a Probabilistic Timed Shared-Variable Language.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Moverness for Locks and Transactions.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

LBI Cut Elimination Proof with BI-MultiCut.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Investigating Time Properties of Interrupt-Driven Programs.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs.
Proceedings of the Formal Methods and Software Engineering, 2012

2011
Towards an Axiomatic Verification System for JavaScript.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Automatically Refining Partial Specifications for Program Verification.
Proceedings of the FM 2011: Formal Methods, 2011

Structured Specifications for Better Verification of Heap-Manipulating Programs.
Proceedings of the FM 2011: Formal Methods, 2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Verifying pointer safety for programs with unknown calls.
J. Symb. Comput., 2010

Stack Bound Inference for Abstract Java Bytecode.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls.
Proceedings of the Formal Methods and Software Engineering, 2010

Loop Invariant Synthesis in a Combined Domain.
Proceedings of the Formal Methods and Software Engineering, 2010

Discovering Specifications for Unknown Procedures - Work in Progress.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
PTSC: probability, time and shared-variable concurrency.
Innov. Syst. Softw. Eng., 2009

An Interval-Based Inference of Variant Parametric Types.
Proceedings of the Programming Languages and Systems, 2009

Memory Usage Verification Using Hip/Sleek.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Timed Automata Patterns.
IEEE Trans. Software Eng., 2008

Verifying BPEL-like programs with Hoare logic.
Frontiers Comput. Sci. China, 2008

Separation Logic for Multiple Inheritance.
Proceedings of the First International Conference on Foundations of Informatics, 2008

Enhancing modular OO verification with separation logic.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Analysing memory resource bounds for low-level programs.
Proceedings of the 7th International Symposium on Memory Management, 2008

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
Proceedings of the Formal Methods and Software Engineering, 2008

A Heap Model for Java Bytecode to Support Separation Logic.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Automated Verification of Shape and Size Properties Via Separation Logic.
Proceedings of the Verification, 2007

Realizing Live Sequence Charts in SystemVerilog.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Linking Object-Z with Spec#.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Automated Verification of Shape, Size and Bag Properties.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Multiple Pre/Post Specifications for Heap-Manipulating Methods.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
From Statecharts to Verilog: a formal approach to hardware/software co-specification.
Innov. Syst. Softw. Eng., 2006

Constructing Property-Oriented Models for Verification.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Integrating Probability with Time and Shared-Variable Concurrency.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

HighSpec: a tool for building and checking OZTA models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Memory Usage Verification for OO Programs.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Verifying safety policies with size properties and alias controls.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

The Semantics and Tool Support of OZTA.
Proceedings of the Formal Methods and Software Engineering, 2005

2004
Region inference for an object-oriented language.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Generating MSCs from an Integrated Formal Specification Language.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

An Automatic Mapping from Statecharts to Verilog.
Proceedings of the Theoretical Aspects of Computing, 2004

Timed Patterns: TCOZ to Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

A Relational Model for Object-Oriented Designs.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
The Equivalence of Statecharts.
Proceedings of the Formal Methods and Software Engineering, 2003

A Semantic Foundation for TCOZ in Unifying Theories of Programming.
Proceedings of the FME 2003: Formal Methods, 2003

Mapping Statecharts to Verilog for Hardware/Software Co-specification.
Proceedings of the FME 2003: Formal Methods, 2003

2002
An Algebraic Hardware/Software Partitioning Algorithm.
J. Comput. Sci. Technol., 2002

Hardware/Software Partitioning in Verilog.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Partitioning Program into Hardware and Software.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Constructing Hardware/Software Interface Using Protocol Converters.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
An algebraic approach to hardware/software partitioning.
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000


  Loading...