303 citations · 1.4k across the 79 of their papers we have counts for
Showing 2009Show all
3 papers · 1 filter
cs.LO2009★ 10 cited
An Efficient Explicit-time Description Method for Timed Model Checking
Hao Wang, Wendy MacCaull
Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community. Explic…
cs.LO2009★ 5 cited
Verifying Real-Time Systems using Explicit-time Description Methods
Hao Wang, Wendy MacCaull
Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Expli…
q-bio.QM2009★ 3 cited
Recovering the time-dependent transmission rate from infection data via solution of an inverse ODE problem
Mark Pollicott, Hao Wang, Howie Weiss
The transmission rate of many acute infectious diseases varies significantly in time, but the underlying mechanisms are usually uncertain. They may include seasonal changes in the…