PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Li, Wenrui"

Author of the publication

copydeleteadd this publication to your clipboard
Game-Based Monitors for Scenario-Based Specification.

, , , and . ICECCS, page 264-267. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

M.Sc. Yunxuan Li University of Stuttgart

Yu Li University of Stuttgart

Zheng Li University of Stuttgart

Jie Li University of Stuttgart

Li Zhong University of Stuttgart

 

Other publications of authors with the same name

Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications., , , and . TASE, page 205-208. IEEE Computer Society, (2011)A Web Service QoS Forecasting Approach Based on Multivariate Time Series., , , , and . ICWS, page 146-153. IEEE, (2017)Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications., , and . International Journal of Software Engineering and Knowledge Engineering, 22 (7): 867-890 (2012)Game-Based Monitors for Scenario-Based Specification., , , and . ICECCS, page 264-267. IEEE Computer Society, (2013)A Framework for Self-Healing Service Compositions in Cloud Computing Environments., , and . ICWS, page 690-691. IEEE Computer Society, (2012)A Combinational QoS-Prediction Approach Based on RBF Neural Network., , , , and . SCC, page 577-584. IEEE Computer Society, (2016)A New Symbolization and Distance Measure Based Anomaly Mining Approach for Hydrological Time Series., , , , , , and . Int. J. Web Service Res., 13 (3): 26-45 (2016)Monitoring of Probabilistic Timed Property Sequence Charts., , , and . Softw., Pract. Exper., 41 (7): 841-866 (2011)Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics., , , , and . QSIC, page 45-54. IEEE, (2013)On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic., and . Australian Software Engineering Conference, page 1-10. IEEE Computer Society, (2013)