Yang Gao

According to our database, Yang Gao authored at least 6 papers between 2014 and 2017.

Collaborative distances:

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

2017

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT).

Yang Gao

PhD thesis, 2017

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.

Martin Fränzle, Yang Gao, Sebastian Gerwinn

Proceedings of the Provably Correct Systems, 2017

2016

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks.

Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle

Int. J. Distributed Sens. Networks, 2016

2015

A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.

Yang Gao, Martin Fränzle

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.

Yang Gao, Martin Fränzle

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

EAVS: Energy aware virtual sensing for wireless sensor networks.

Mohamed Abdelaal, Yang Gao, Martin Fränzle, Oliver E. Theel

Proceedings of the 2014 IEEE Ninth International Conference on Intelligent Sensors, 2014