Modeling of dynamic reconfigurable systems with Haskell. - Bahram N. Uchevler; Kjetil Svarstad (FPL, 2012)

Assertion based verification using PSL-like properties in Haskell. - Bahram N. Uchevler; Kjetil Svarstad (DDECS, 2013)

Synthesizable assertion checkers in high levels of abstraction. - Bahram N. Uchevler; Kjetil Svarstad (ICECS, 2013)

System-level modelling of dynamic reconfigurable designs using functional programming abstractions. - Bahram N. Uchevler; Kjetil Svarstad; Jan Kuper; Christiaan Baaij (ISQED, 2013)

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. - Bahram N. Uchevler; Kjetil Svarstad (Int. J. Reconfigurable Comput., 2018)