Noa Shalev

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Guided Exploration

Kalman Filtering

Threshold Accepting

Top Venues

Publications

Thao Dang, Noa Shalev
Test Coverage Estimation Using Threshold Accepting. ATVA (2014)
Thao Dang, Noa Shalev
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. ICTSS (2012)
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
Sensitive state-space exploration. CDC (2008)