Michael Yau

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Social Networks

Main Contribution

Top Venues

Publications

Sergio Guarro, Ümit Özgüner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael Yau, Mohammad Hejase, Steve Kwon
Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. NFM (2016)
Tunc Aldemir, Sergio Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. Reliab. Eng. Syst. Saf. 95 (10) (2010)
Sergio Guarro, Michael Yau
On the nature and practical handling of the Bayesian aggregation anomaly. Reliab. Eng. Syst. Saf. 94 (6) (2009)