| emsoft | participants

Miaomiao Zhang

EMSOFT 2021: 21st International Conference on Embedded Software

Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan, and Miaomiao Zhang

EMSOFT 2020: 20th International Conference on Embedded Software

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

Bai Xue, Miaomiao Zhang, Arvind Easwaran, and Qin Li

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Analysis of the Zeroconf Protocol using UPPAAL

Biniam Gebremichael, Frits W. Vaandrager, and Miaomiao Zhang