2018
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.
Int. J. Reconfigurable Comput., 2018

2013
System-level modelling of dynamic reconfigurable designs using functional programming abstractions.
Proceedings of the International Symposium on Quality Electronic Design, 2013

Synthesizable assertion checkers in high levels of abstraction.
Proceedings of the 20th IEEE International Conference on Electronics, 2013

Assertion based verification using PSL-like properties in Haskell.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012
Modeling of dynamic reconfigurable systems with Haskell.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012