Combining System Level Modeling with Assertion Based Verification. - Anat Dahan; Daniel Geist; Leonid Gluhovsky; Dmitry Pidan; Gil Shapir; Yaron Wolfsthal; Lyes Benalycherif; Romain Kamdem; Younes Lahbib (ISQED, 2005)

Selective Prediction of Financial Trends with Hidden Markov Models. - Dmitry Pidan; Ran El-Yaniv (NIPS, 2011)

Approximating checkers for simulation acceleration. - Biruk Mammo; Debapriya Chatterjee; Dmitry Pidan; Amir Nahir; Avi Ziv; Ronny Morad; Valeria Bertacco (DATE, 2012)

Improving Representative Computation in ExpliSAT. - Hana Chockler; Dmitry Pidan; Sitvanit Ruah (Haifa Verification Conference, 2013)

Secure Hardware-Software Architectures for Robust Computing Systems. - Elias Athanasopoulos; Martin Böhner; Sotiris Ioannidis; Cristiano Giuffrida; Dmitry Pidan; Vassilis Prevelakis; Ioannis Sourdis; Christos Strydis; John Thomson (e-Democracy, 2015)

Secure Hardware-Software Architectures for Robust Computing Systems - SHARCS. - Sotiris Ioannidis; Cristiano Giuffrida; Ioannis Sourdis; Vassilis Prevelakis; Christos Strydis; John Thomson; Dmitry Pidan; Martin Böhner (EPS, 2017)

Verifying Parallel Code After Refactoring Using Equivalence Checking. - Moria Abadi; Sharon Keidar-Barner; Dmitry Pidan; Tatyana Veksler (Int. J. Parallel Program., 2019)