Yu Huang

According to our database1, Yu Huang authored at least 23 papers between 2006 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Stochastic Modeling and Quality Evaluation of Infrastructure-as-a-Service Clouds.
IEEE Trans. Automation Science and Engineering, 2015

A Novel Method for Formally Detecting RFID Event Using Petri Nets.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Operation Expression: a Way to Verified Software.
Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

A Petri Net-Based Algorithm for RFID Event Detection.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A novel reduction approach to analyzing QoS of workflow processes.
Concurrency and Computation: Practice and Experience, 2009

Formal Definition and Detection Algorithm for Passive Event in RFID Middleware.
Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Analyzing Service Composition Patterns in BPEL.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Towards Passive RFID Event.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies.
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2009

QoS modeling and analysis of component-based software systems: a stochastic approach.
Concurrency and Computation: Practice and Experience, 2008

A practical method to analyze workflow logic models.
Concurrency and Computation: Practice and Experience, 2008

Synchronic Distance Based Workflow Logic Specification.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management.
J. Comput. Sci. Technol., 2007

Queuing analysis and performance evaluation of workflow through WFQN.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A petri net semantics for web service choreography.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Analyzing Data Dependence Based on Workflow Net.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Formalizing Web Service Choreography Interface.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

A stochastic model for workflow QoS evaluation.
Scientific Programming, 2006

Property-Transition-Net-Based Workflow Process Modeling and Verification.
Electr. Notes Theor. Comput. Sci., 2006

Stochastic modeling and quality evaluation of component-based software systems.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006