Generating Modulo-2 Linear Invariants for Hardware Model Checking. - Gadi Aleksandrowicz; Alexander Ivrii; Oded Margalit; Dan Rasin (Haifa Verification Conference, 2014)

Modular Verification of Concurrent Programs via Sequential Model Checking. - Dan Rasin; Orna Grumberg; Sharon Shoham (ATVA, 2018)

Generating Tests by Example. - Hila Peleg; Dan Rasin; Eran Yahav (VMCAI, 2018)