Author: Ishai Rabinovitz

Publications

Publication period start: 2006
Number of co-authors: 7

Co-authors

Number of publications with favourite co-authors
Sandeep Kohli
1
Sai Dattathrani
1
Claudio Paniagua Macia
1

Productive Colleagues

Most productive colleagues in number of publications
Sai Dattathrani
1
Claudio Paniagua Macia
1
Satish Chandra Gupta
12

Publications

Elamkulam, Janees, Glazberg, Ziv, Rabinovitz, Ishai, Kowlali, Gururaja, Gupta, Satish Chandra, Kohli, Sandeep, Dattathrani, Sai, Macia, Claudio Paniagua (2006): Detecting Design Flaws in UML State Charts for Embedded Software. In: Proceedings of the Second International Haifa Verification Conference HVC 2006, Lecture Notes in Computer Science vol. 4383 October 23-26, 2006, Haifa, Israel. pp. 109-121. https://dx.doi.org/10.1007/978-3-540-70889-6_8