ask others

Bahram N. Uchevler

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ddecs/UchevlerS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ddecs/UchevlerS13
Bahram N. Uchevler, Kjetil Svarstad:
Assertion based verification using PSL-like properties in Haskell. DDECS 2013: 254-257
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icecsys/UchevlerS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icecsys/UchevlerS13
Bahram N. Uchevler, Kjetil Svarstad:
Synthesizable assertion checkers in high levels of abstraction. ICECS 2013: 859-864
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isqed/UchevlerSKB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isqed/UchevlerSKB13
Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij:
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. ISQED 2013: 379-385
2012
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fpl/UchevlerS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fpl/UchevlerS12
Bahram N. Uchevler, Kjetil Svarstad:
Modeling of dynamic reconfigurable systems with Haskell. FPL 2012: 481-482

Coauthor Index

see FAQ

maintained by

at