Shuling Wang

According to our database1, Shuling Wang authored at least 99 papers between 2004 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Iterative Backpropagation Method for Efficient Gradient Estimation in Bilevel Network Equilibrium Optimization Problems.
Transp. Sci., September, 2023

Aggregation method to reachability and optimal control of large-size Boolean control networks.
Sci. China Inf. Sci., July, 2023

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.
ACM Trans. Softw. Eng. Methodol., January, 2023

A denotational semantics of Simulink with higher-order UTP.
J. Log. Algebraic Methods Program., 2023

Session Types With Multiple Senders Single Receiver (report version).
CoRR, 2023

6G Network Business Support System.
CoRR, 2023

A Generalized Hybrid Hoare Logic.
CoRR, 2023

Session Types with Multiple Senders Single Receiver.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Digital Twin Network Application Requirement on Green Coordination of Computing and Networking.
Proceedings of the IEEE 3rd International Conference on Digital Twins and Parallel Intelligence, 2023

Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022
Optimal Strategy Estimation of Random Evolutionary Boolean Games.
IEEE Trans. Cybern., 2022

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci., 2022

Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach.
IEEE Trans. Control. Netw. Syst., 2022

Self-Paced Knowledge Distillation for Real-Time Image Guided Depth Completion.
IEEE Signal Process. Lett., 2022

Cross-Modal Knowledge Distillation for Depth Privileged Monocular Visual Odometry.
IEEE Robotics Autom. Lett., 2022

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).
J. Syst. Archit., 2022

Translating a large subset of stateflow to hybrid CSP with code optimization.
J. Syst. Archit., 2022

Optimal frequency assignment and planar list L(2, 1)-labeling.
J. Comb. Optim., 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels.
CoRR, 2022

Compositional Verification of Interacting Systems Using Event Monads.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Machine-Checked Executable Semantics of Stateflow.
Proceedings of the Formal Methods and Software Engineering, 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels<sup>*</sup>.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss.
IEEE Trans. Neural Networks Learn. Syst., 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

State Feedback Stabilization of Large-Scale Logical Control Networks via Network Aggregation.
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

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

Formal Analysis of 5G AKMA.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 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

PENet: Towards Precise and Efficient Image Guided Depth Completion.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 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

Structural controllability of Boolean control networks with an unknown function structure.
Sci. China Inf. Sci., 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
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

2007
An Exercise on Transition Systems.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

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
Towards the Semantics and Verification of BPEL4WS.
Proceedings of the International Workshop on Web Languages and Formal Methods, 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...