Sanjai Rayadurgam

Author: Sanjai Rayadurgam

Publications

Publication period start: 1998
Number of co-authors: 15

Co-authors

Number of publications with favourite co-authors
Ramin Mojdehbakhsh
1
Kinji Mori
1
Michael R. Lowry
1

Productive Colleagues

Most productive colleagues in number of publications
Kinji Mori
5
Mats Per Erik Heimdahl
8
Wei-Tek Tsai
9

Publications

Choi, Yunja, Rayadurgam, Sanjai, Heimdahl, Mats Per Erik (2002): Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. In Requir. Eng., 7 (4) pp. 225-242. https://dx.doi.org/10.1007/s007660200018

Yen, I-Ling, Paul, Raymond A., Winter, Victor L., Covan, John M., Dalton, Larry J., Alkalai, Leon, Tai, Ann T., Harper, Rick, Flahive, Barry, Tsai, Wei-Tek, Mojdehbakhsh, Ramin, Rayadurgam, Sanjai, Mori, Kinji, Lowry, Michael R. (1998): Key Applications for High-Assurance Systems. In IEEE Computer, 31 (4) pp. 35-45.