Shuling Wang

According to our database1, Shuling Wang authored at least 71 papers between 2004 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Perturbation Analysis for Finite-Time Stability and Stabilization of Probabilistic Boolean Networks.
IEEE Trans. Cybern., 2021

Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations.
IEEE Trans. Autom. Control., 2021

Vegetation Productivity Dynamics in Response to Climate Change and Human Activities under Different Topography and Land Cover in Northeast China.
Remote. Sens., 2021

New Results on the Disturbance Decoupling of Boolean Control Networks.
IEEE Control. Syst. Lett., 2021

PENet: Towards Precise and Efficient Image Guided Depth Completion.
CoRR, 2021

Self-supervised Visual-LiDAR Odometry with Flip Consistency.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020
Automatically Generating SystemC Code from HCSP Formal Models.
ACM Trans. Softw. Eng. Methodol., 2020

Finite-Time Consensus of Finite Field Networks With Stochastic Time Delays.
IEEE Trans. Circuits Syst., 2020

Perturbation Analysis for Controllability of Logical Control Networks.
SIAM J. Control. Optim., 2020

New developments in control design techniques of logical control networks.
Frontiers Inf. Technol. Electron. Eng., 2020

Event-triggered control for disturbance decoupling problem of mix-valued logical networks.
J. Frankl. Inst., 2020

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.
J. Comput. Sci. Technol., 2020

Further Results on Large-Scale Complex Logical Networks.
IEEE Access, 2020

Two Methods of Dealing with Large-Scale Logical Networks.
Proceedings of the 16th IEEE International Conference on Control & Automation, 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

The List L(2, 1)-Labeling of Planar Graphs with Large Girth.
Proceedings of the Algorithmic Aspects in Information and Management, 2020

2019
Constrained Sampled-Data Reachability and Stabilization of Logical Control Networks.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

Column stacking approach to resolution of systems of fuzzy relational inequalities.
J. Frankl. Inst., 2019

Quantum Hoare Logic.
Arch. Formal Proofs, 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Set stability and synchronization of logical networks with probabilistic time delays.
J. Frankl. Inst., 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.
Formal Aspects Comput., 2017

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.
Comput. J., 2017

Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Output feedback disturbance decoupling of boolean control networks: A logical matrix factorization approach.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Synthesizing SystemC Code from Delay Hybrid CSP.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
A Theorem Prover for Quantum Hoare Logic and Its Applications.
CoRR, 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Approximate Bisimulation and Discretization of Hybrid CSP.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Verifying Interaction between Methods in Classes.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Extending Hybrid CSP with Probability and Stochasticity.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.
Proceedings of the Formal Methods and Software Engineering, 2015

Formal Verification of Simulink/Stateflow Diagrams.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
A Framework for Hybrid Systems with Denial-of-Service Security Attack.
CoRR, 2014

Denial-of-Service Security Attack in the Continuous-Time World.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Adding Formal Meanings to AADL with Hybrid Annex.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
A framework for automated and certified refinement steps.
Innov. Syst. Softw. Eng., 2013

Confinement framework for encapsulating objects.
Frontiers Comput. Sci., 2013

A graph-based generic type system for object-oriented programs.
Frontiers Comput. Sci., 2013

Robust H<sub>∞</sub> Control for a Class of 2-D Nonlinear Discrete Stochastic Systems.
Circuits Syst. Signal Process., 2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Formal Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Super-Dense Computation in Verification of Hybrid CSP Processes.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

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

Graph-Based Object-Oriented Hoare Logic.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Verifying OO Programs by Linking Algebraic and Abstract Specifications.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.
Proceedings of the Theory and Applications of Models of Computation, 2012

2011
LiChord: A Linear Code Based Structured P2P for Approximate Match.
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

2010
A semantic model of confinement and Locality theorem.
Frontiers Comput. Sci. China, 2010

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.
Proceedings of the Formal Methods: Foundations and Applications, 2010

An Application-Based Adaptive Replica Consistency for Cloud Storage.
Proceedings of the GCC 2010, 2010

A Trust Evaluation Model Based on Resistive Network.
Proceedings of the Fifth Annual ChinaGrid Conference, ChinaGrid 2010, Guangzhou, 2010

Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.
Proceedings of the 6th International Verification Workshop, 2010

2009
A Graph-Based Operational Semantics of OO Programs.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
An Exercise on Transition Systems.
Electron. Notes Theor. Comput. Sci., 2008

A Generic Model for Confinement and its Application.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Relational Model for Confined Separation Logic.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Super Node Selecting Mechanism Based on AHP.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

R-DLS: An Improved DLS Algorithm.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

Grid Resource Discovery Strategy Based on Historical Information.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2006
Towards the Semantics and Verification of BPEL4WS.
Electron. Notes Theor. Comput. Sci., 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Safety for FJ and FGJ.
Proceedings of the Theoretical Aspects of Computing, 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Semantics of BPEL4WS-Like Fault and Compensation Handling.
Proceedings of the FM 2005: Formal Methods, 2005

2004
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004


  Loading...