EAVS: Energy aware virtual sensing for wireless sensor networks. - Mohamed Abdelaal 001; Yang Gao 011; Martin Fränzle; Oliver E. Theel (ISSNIP, 2014)

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. - Yang Gao 011; Martin Fränzle (SNR@CAV, 2015)

A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. - Yang Gao 011; Martin Fränzle (QEST, 2015)

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. - Mohamed Abdelaal 001; Oliver E. Theel; Christian Kuka; Peilin Zhang; Yang Gao 011; Vasilisa Bashlovkina; Daniela Nicklas 001; Martin Fränzle (Int. J. Distributed Sens. Networks, 2016)

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. - Martin Fränzle; Yang Gao 011; Sebastian Gerwinn (Provably Correct Systems, 2017)

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT). - Yang Gao 011 (2017)