Dmitry Pidan

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Security Requirements

Software Architecture

Computing Systems

Top Venues

Int. J. Parallel Program.

Haifa Verification Conference

Publications

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler
Verifying Parallel Code After Refactoring Using Equivalence Checking. Int. J. Parallel Program. 47 (1) (2019)
Sotiris Ioannidis, Cristiano Giuffrida, Ioannis Sourdis, Vassilis Prevelakis, Christos Strydis, John Thomson, Dmitry Pidan, Martin Böhner
Secure Hardware-Software Architectures for Robust Computing Systems - SHARCS. EPS (2017)
Elias Athanasopoulos, Martin Böhner, Sotiris Ioannidis, Cristiano Giuffrida, Dmitry Pidan, Vassilis Prevelakis, Ioannis Sourdis, Christos Strydis, John Thomson
Secure Hardware-Software Architectures for Robust Computing Systems. e-Democracy (2015)
Hana Chockler, Dmitry Pidan, Sitvanit Ruah
Improving Representative Computation in ExpliSAT. Haifa Verification Conference (2013)
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
Approximating checkers for simulation acceleration. DATE (2012)
Dmitry Pidan, Ran El-Yaniv
Selective Prediction of Financial Trends with Hidden Markov Models. NIPS (2011)
Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib
Combining System Level Modeling with Assertion Based Verification. ISQED (2005)