Dmitry Pidan

According to our database, Dmitry Pidan authored at least 7 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Verifying Parallel Code After Refactoring Using Equivalence Checking.

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler

Int. J. Parallel Program., 2019

2017

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

Proceedings of the European Project Space on Networks, 2017

2015

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

Proceedings of the E-Democracy - Citizen Rights in the World of the New Computing Paradigms, 2015

2013

Improving Representative Computation in ExpliSAT.

Hana Chockler, Dmitry Pidan, Sitvanit Ruah

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Approximating checkers for simulation acceleration.

Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Selective Prediction of Financial Trends with Hidden Markov Models.

Dmitry Pidan, Ran El-Yaniv

Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, 2011

2005

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

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005