Ivan S. Zapreev

3 papers and 92 indexed citations i.

Ivan S. Zapreev has authored 3 papers that have received a total of 92 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 3 papers in Software and 1 paper in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Embedded Systems Design Techniques (1 paper). Ivan S. Zapreev is often cited by papers focused on Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Embedded Systems Design Techniques (1 paper) and collaborates with scholars based in The Netherlands and Germany. Ivan S. Zapreev's co-authors include Joost-Pieter Katoen, Manuel Mazo, Ernst Moritz Hahn, Holger Hermanns and David N. Jansen and has published in prestigious journals such as Performance Evaluation and IFAC-PapersOnLine