Ofer Shtrichman

3 papers and 44 indexed citations i.

Ofer Shtrichman has authored 3 papers that have received a total of 44 indexed citations. This includes 1 paper in Strategy and Management, 1 paper in Computational Theory and Mathematics and 1 paper in Management Science and Operations Research. The topics of these papers are Software Testing and Debugging Techniques (1 paper), Formal Methods in Verification (1 paper) and Embedded Systems Design Techniques (1 paper). Ofer Shtrichman is often cited by papers focused on Software Testing and Debugging Techniques (1 paper), Formal Methods in Verification (1 paper) and Embedded Systems Design Techniques (1 paper) and collaborates with scholars based in Israel. Ofer Shtrichman's co-authors include M. A. Pollatschek, Amir Pnueli and Michael I. Siegel and has published in prestigious journals such as INFORMS Journal on Applied Analytics and International Journal on Software Tools for Technology Transfer