Bahram N. Uchevler

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Functional Programming

Quantifier Elimination

Topological Properties

Top Venues

Int. J. Reconfigurable Comput.

Publications

Bahram N. Uchevler, Kjetil Svarstad
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. Int. J. Reconfigurable Comput. 2018 (2018)
Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. ISQED (2013)
Bahram N. Uchevler, Kjetil Svarstad
Synthesizable assertion checkers in high levels of abstraction. ICECS (2013)
Bahram N. Uchevler, Kjetil Svarstad
Assertion based verification using PSL-like properties in Haskell. DDECS (2013)
Bahram N. Uchevler, Kjetil Svarstad
Modeling of dynamic reconfigurable systems with Haskell. FPL (2012)