Shuling Wang

According to our database, Shuling Wang authored at least 111 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Kejun Du, Shuling Wang, Hong K. Lo

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

A Transformer-Based Image-Guided Depth-Completion Model with Dual-Attention Fusion Module.

Shuling Wang, Fengze Jiang, Xiaojin Gong

Sensors, October, 2024

A Sparsity-Invariant Model via Unifying Depth Prediction and Completion.

Shuling Wang, Fengze Jiang, Xiaojin Gong

Algorithms, July, 2024

Aggregation Method to Strategy Consensus of Large-Size Networked Evolutionary Matrix Games.

Haitao Li, Shuling Wang, Wenrong Li

IEEE Trans. Autom. Control., June, 2024

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

Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen, Xinping Guan

CoRR, 2024

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

CoRR, 2024

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.

Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan

CoRR, 2024

The Design of Intelligent Temperature Control System of Smart House with MARS.

Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan

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

Task-Conditional Adapter for Multi-Task Dense Prediction.

Fengze Jiang, Shuling Wang, Xiaojin Gong

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.

Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

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

Ashraf Uz Zaman Patwary, Shuling Wang, Hong K. Lo

Transp. Sci., September, 2023

Aggregation method to reachability and optimal control of large-size Boolean control networks.

Shuling Wang, Haitao Li

Sci. China Inf. Sci., July, 2023

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan

ACM Trans. Softw. Eng. Methodol., January, 2023

A denotational semantics of Simulink with higher-order UTP.

Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan

J. Log. Algebraic Methods Program., 2023

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

Zekun Ji, Shuling Wang, Xiong Xu

CoRR, 2023

6G Network Business Support System.

Ye Ouyang, Yaqin Zhang, Peng Wang, Yunxin Liu, Wen Qiao, Jun Zhu, Yang Liu, Feng Zhang, Shuling Wang, Xidong Wang

CoRR, 2023

A Generalized Hybrid Hoare Logic.

Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin

CoRR, 2023

Session Types with Multiple Senders Single Receiver.

Zekun Ji, Shuling Wang, Xiong Xu

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

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

Shoufeng Wang, Hua-Min Chen, Ye Ouyang, Fan Li, Xuan Chen, Jianchao Guo, Yun Li, Lianhua Zhang, Shuling Wang, Jie Sun

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.

Shuling Wang, Shanying Zhu, Cailian Chen, Liang Xu

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

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

Ruhao Liu, Qingchen Zhang, Kai Wang, Shuling Wang

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

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Optimal Strategy Estimation of Random Evolutionary Boolean Games.

Xueying Ding, Haitao Li, Jianquan Lu, Shuling Wang

IEEE Trans. Cybern., 2022

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

Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan

Theor. Comput. Sci., 2022

Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach.

Shuling Wang, Haitao Li

IEEE Trans. Control. Netw. Syst., 2022

Self-Paced Knowledge Distillation for Real-Time Image Guided Depth Completion.

Shuling Wang, Mu Hu, Bin Li, Xiaojin Gong

IEEE Signal Process. Lett., 2022

Cross-Modal Knowledge Distillation for Depth Privileged Monocular Visual Odometry.

Bin Li, Shuling Wang, Haifeng Ye, Xiaojin Gong, Zhiyu Xiang

IEEE Robotics Autom. Lett., 2022

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

J. Syst. Archit., 2022

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

Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun

J. Syst. Archit., 2022

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

Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao

J. Comb. Optim., 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels.

Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen

CoRR, 2022

Compositional Verification of Interacting Systems Using Event Monads.

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia

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

Machine-Checked Executable Semantics of Stateflow.

Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2022

Opportunistic Wireless Control Over State-Dependent Fading Channels^*.

Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen

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

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss.

Shuling Wang, Haitao Li

IEEE Trans. Neural Networks Learn. Syst., 2021

Perturbation Analysis for Finite-Time Stability and Stabilization of Probabilistic Boolean Networks.

Haitao Li, Xinrong Yang, Shuling Wang

IEEE Trans. Cybern., 2021

Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations.

Haitao Li, Xinrong Yang, Shuling Wang

IEEE Trans. Autom. Control., 2021

State Feedback Stabilization of Large-Scale Logical Control Networks via Network Aggregation.

Haitao Li, Yuna Liu, Shuling Wang, Ben Niu

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.

Hui Li, Hongyan Zhang, Qixin Li, Jianjun Zhao, Xiaoyi Guo, Hong Ying, Guorong Deng, Wu Rihan, Shuling Wang

Remote. Sens., 2021

New Results on the Disturbance Decoupling of Boolean Control Networks.

Shuling Wang, Haitao Li

IEEE Control. Syst. Lett., 2021

Self-supervised Visual-LiDAR Odometry with Flip Consistency.

Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

Formal Analysis of 5G AKMA.

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

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

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

PENet: Towards Precise and Efficient Image Guided Depth Completion.

Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

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.

Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan

ACM Trans. Softw. Eng. Methodol., 2020

Finite-Time Consensus of Finite Field Networks With Stochastic Time Delays.

Yalu Li, Haitao Li, Shuling Wang

IEEE Trans. Circuits Syst., 2020

Perturbation Analysis for Controllability of Logical Control Networks.

Haitao Li, Shuling Wang, Xiaodong Li, Guodong Zhao

SIAM J. Control. Optim., 2020

New developments in control design techniques of logical control networks.

Xiang-shan Kong, Shuling Wang, Haitao Li, Fuad E. Alsaadi

Frontiers Inf. Technol. Electron. Eng., 2020

Event-triggered control for disturbance decoupling problem of mix-valued logical networks.

Shuling Wang, Haitao Li, Yalu Li, Weiwei Sun

J. Frankl. Inst., 2020

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

Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu

J. Comput. Sci. Technol., 2020

Structural controllability of Boolean control networks with an unknown function structure.

Shuang Liang, Haitao Li, Shuling Wang

Sci. China Inf. Sci., 2020

Further Results on Large-Scale Complex Logical Networks.

Yuna Liu, Xiangshan Kong, Shuling Wang, Xiaojuan Yang, Haitao Li

IEEE Access, 2020

Two Methods of Dealing with Large-Scale Logical Networks.

Yuna Liu, Shuling Wang, Haitao Li

Proceedings of the 16th IEEE International Conference on Control & Automation, 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

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.

Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao

Proceedings of the Algorithmic Aspects in Information and Management, 2020

2019

Constrained Sampled-Data Reachability and Stabilization of Logical Control Networks.

Yalu Li, Haitao Li, Shuling Wang

IEEE Trans. Circuits Syst. II Express Briefs, 2019

Column stacking approach to resolution of systems of fuzzy relational inequalities.

Shuling Wang, Haitao Li

J. Frankl. Inst., 2019

Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Arch. Formal Proofs, 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.

Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

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.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Set stability and synchronization of logical networks with probabilistic time delays.

Xueying Ding, Haitao Li, Shuling Wang

J. Frankl. Inst., 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan

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.

Shuling Wang, Naijun Zhan, Lijun Zhang

Formal Aspects Comput., 2017

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.

Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan

Comput. J., 2017

Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan

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

Output feedback disturbance decoupling of boolean control networks: A logical matrix factorization approach.

Xueying Ding, Shuling Wang, Haitao Li

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou

Proceedings of the Provably Correct Systems, 2017

2016

A Theorem Prover for Quantum Hoare Logic and Its Applications.

Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan

CoRR, 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Approximate Bisimulation and Discretization of Hybrid CSP.

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

2015

Verifying Interaction between Methods in Classes.

Tingting Hu, Shuling Wang, Zongyan Qiu

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

Extending Hybrid CSP with Probability and Stochasticity.

Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.

Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Methods and Software Engineering, 2015

Formal Verification of Simulink/Stateflow Diagrams.

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

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

Shuling Wang, Flemming Nielson, Hanne Riis Nielson

CoRR, 2014

Denial-of-Service Security Attack in the Continuous-Time World.

Shuling Wang, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Adding Formal Meanings to AADL with Hybrid Annex.

Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

A framework for automated and certified refinement steps.

Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang

Innov. Syst. Softw. Eng., 2013

Confinement framework for encapsulating objects.

Qin Shu, Zongyan Qiu, Shuling Wang

Frontiers Comput. Sci., 2013

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

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao

Frontiers Comput. Sci., 2013

Robust H_∞ Control for a Class of 2-D Nonlinear Discrete Stochastic Systems.

Jiangtao Dai, Zhaozhuang Guo, Shuling Wang

Circuits Syst. Signal Process., 2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.

Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Formal Modelling, Analysis and Verification of Hybrid Systems.

Naijun Zhan, Shuling Wang, Hengjun Zhao

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Super-Dense Computation in Verification of Hybrid CSP Processes.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin

Proceedings of the International Conference on Embedded Software, 2013

Graph-Based Object-Oriented Hoare Logic.

Liang Zhao, Shuling Wang, Zhiming Liu

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Verifying OO Programs by Linking Algebraic and Abstract Specifications.

Qin Shu, Shuling Wang, Yijing Liu

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

An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.

Shuling Wang, Naijun Zhan, Dimitar P. Guelev

Proceedings of the Theory and Applications of Models of Computation, 2012

2011

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

Shuling Wang, Shoubao Yang, Liangmin Guo

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

2010

A semantic model of confinement and Locality theorem.

Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu

Frontiers Comput. Sci. China, 2010

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

Zhiming Liu, Charles Morisset, Shuling Wang

Proceedings of the Formal Methods: Foundations and Applications, 2010

An Application-Based Adaptive Replica Consistency for Cloud Storage.

Ximei Wang, Shoubao Yang, Shuling Wang, Xianlong Niu, Jing Xu

Proceedings of the GCC 2010, 2010

A Trust Evaluation Model Based on Resistive Network.

Xiaoqian Liu, Shoubao Yang, Dong Wei, Shuling Wang

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

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

Shuling Wang, Xu Wang

Proceedings of the 6th International Verification Workshop, 2010

2009

A Graph-Based Operational Semantics of OO Programs.

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao

Proceedings of the Formal Methods and Software Engineering, 2009

2008

A Generic Model for Confinement and its Application.

Shuling Wang, Zongyan Qiu

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

A Relational Model for Confined Separation Logic.

Shuling Wang, 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.

Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie

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

R-DLS: An Improved DLS Algorithm.

Xiaoqian Liu, Shoubao Yang, Shuling Wang, Jing Xu

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

Grid Resource Discovery Strategy Based on Historical Information.

Wei Chen, Shoubao Yang, Yan Jiang, Shuling Wang

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

2007

An Exercise on Transition Systems.

Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang

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

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang

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

Type Safety for FJ and FGJ.

Shuling Wang, Quan Long, Zongyan Qiu

Proceedings of the Theoretical Aspects of Computing, 2006

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

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He

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

2005

Towards the Semantics and Verification of BPEL4WS.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu

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

Semantics of BPEL4WS-Like Fault and Compensation Handling.

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao

Proceedings of the FM 2005: Formal Methods, 2005

2004

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

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi

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