We stand with Ukraine

We stand with Ukraine

Shuling Wang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024

Traffic Parameters Estimation With Partial Vehicle Trajectories by the Iterative Partial Backpropagation Maximum Likelihood Estimation (IPB-MLE) Framework.

[BibT_eX]

[DOI]

,

,

IEEE Trans. Intell. Transp. Syst., October, 2024

Infinite-Horizon Optimal Wireless Control Over Shared State-Dependent Fading Channels for IIoT Systems.

[BibT_eX]

[DOI]

,

,

,

,

CoRR, 2024

Trinity Equilibrium Algorithm for Computing Network Digital Twin.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

Proceedings of the 4th IEEE International Conference on Digital Twins and Parallel Intelligence, 2024

ContraMAE: Contrastive alignment masked autoencoder framework for cancer survival prediction.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

2023

Iterative Backpropagation Method for Efficient Gradient Estimation in Bilevel Network Equilibrium Optimization Problems.

[BibT_eX]

[DOI]

Ashraf Uz Zaman Patwary

,

,

Transp. Sci., September, 2023

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

[BibT_eX]

[DOI]

,

,

CoRR, 2023

6G Network Business Support System.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

CoRR, 2023

Session Types with Multiple Senders Single Receiver.

[BibT_eX]

[DOI]

,

,

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Digital Twin Network Application Requirement on Green Coordination of Computing and Networking.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

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.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

Translating a large subset of stateflow to hybrid CSP with code optimization.

[BibT_eX]

[DOI]

,

,

,

,

J. Syst. Archit., 2022

Optimal frequency assignment and planar list L(2, 1)-labeling.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Comb. Optim., 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2022

Compositional Verification of Interacting Systems Using Event Monads.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels<sup>*</sup>.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

Remote. Sens., 2021

2020

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.

[BibT_eX]

[DOI]

,

,

,

J. Comput. Sci. Technol., 2020

The List L(2, 1)-Labeling of Planar Graphs with Large Girth.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Algorithmic Aspects in Information and Management, 2020

2015

Verifying Interaction between Methods in Classes.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2013

A framework for automated and certified refinement steps.

[BibT_eX]

[DOI]

Andreas Griesmayer

,

,

Charles Morisset

,

Innov. Syst. Softw. Eng., 2013

Confinement framework for encapsulating objects.

[BibT_eX]

[DOI]

,

,

Frontiers Comput. Sci., 2013

A graph-based generic type system for object-oriented programs.

[BibT_eX]

[DOI]

,

,

,

Frontiers Comput. Sci., 2013

Robust H<sub>∞</sub> Control for a Class of 2-D Nonlinear Discrete Stochastic Systems.

[BibT_eX]

[DOI]

,

,

Circuits Syst. Signal Process., 2013

Graph-Based Object-Oriented Hoare Logic.

[BibT_eX]

[DOI]

,

,

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Verifying OO Programs by Linking Algebraic and Abstract Specifications.

[BibT_eX]

[DOI]

,

,

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

LiChord: A Linear Code Based Structured P2P for Approximate Match.

[BibT_eX]

[DOI]

,

,

Proceedings of the Third International Conference on Communications and Mobile Computing, 2011

2010

A semantic model of confinement and Locality theorem.

[BibT_eX]

[DOI]

,

,

,

Frontiers Comput. Sci. China, 2010

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.

[BibT_eX]

[DOI]

,

Charles Morisset

,

Proceedings of the Formal Methods: Foundations and Applications, 2010

An Application-Based Adaptive Replica Consistency for Cloud Storage.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the GCC 2010, 2010

A Trust Evaluation Model Based on Resistive Network.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Fifth Annual ChinaGrid Conference, ChinaGrid 2010, Guangzhou, 2010

Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.

[BibT_eX]

[DOI]

,

Proceedings of the 6th International Verification Workshop, 2010

2009

A Graph-Based Operational Semantics of OO Programs.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Formal Methods and Software Engineering, 2009

2008

A Generic Model for Confinement and its Application.

[BibT_eX]

[DOI]

,

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Relational Model for Confined Separation Logic.

[BibT_eX]

[DOI]

,

Luís Soares Barbosa

,

José Nuno Oliveira

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Super Node Selecting Mechanism Based on AHP.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

R-DLS: An Improved DLS Algorithm.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

Grid Resource Discovery Strategy Based on Historical Information.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007

An Exercise on Transition Systems.

[BibT_eX]

[DOI]

Paula R. Ribeiro

,

Luís Soares Barbosa

,

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).

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Safety for FJ and FGJ.

[BibT_eX]

[DOI]

,

,

Proceedings of the Theoretical Aspects of Computing, 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Towards the Semantics and Verification of BPEL4WS.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the FM 2005: Formal Methods, 2005

2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Loading...