Justin Reiher

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Optimization Methods

Optimization Procedure

Top Venues

Publications

Justin Reiher, Mark R. Greenstreet
Optimization and Comparison of Synchronizers. ASYNC (2020)
Itrat A. Akhter, Justin Reiher, Mark R. Greenstreet
Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms. DATE (2019)
Justin Reiher, Mark R. Greenstreet, Ian W. Jones
Explaining Metastability in Real Synchronizers. ASYNC (2018)