C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Aiman Abu-Yonis
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Provably Correct
Model Checker
Least Squares
Formal Methods
Top Venues
CoRR
</>
Publications
</>
Patrick Klampfl
,
Robert Könighofer
,
Roderick Bloem
,
Ayrat Khalimov
,
Aiman Abu-Yonis
,
Shiri Moran
OpenSEA: Semi-Formal Methods for Soft Error Analysis.
CoRR
(2017)