Concepedia

Author

Sanjai Rayadurgam

University of Minnesota

Also Known As

Rayadurgam, Sanjai, S. Rayadurgam, Sanjai Rayadurgam, Tkachuk, Oksana

66

Publications

903

Citations

16

H-Index

72

Concepts

All Affiliations

University of MinnesotaTwin Cities OrthopedicsUniversity of PennsylvaniaUniversity of Minnesota System
SR

About

Sanjai Rayadurgam is an author at University of Minnesota specializing in engineering, systems engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

17

555

2

Management

2

2

32

3

Medicine

2

2

28

4

Social Sciences

2

2

123

5

Business

1

1

12

Sanjai Rayadurgam

×

21

Publications

630

Citations

14

H-Index

YearCitations

Coverage based test-case generation using model checkers

Sanjai Rayadurgam, Mats P. E. Heimdahl

2002

186

Your "What" Is My "How": Iteration and Hierarchy in System Design

Michael W. Whalen, Andrew Gacek, Darren Cofer,

IEEE Software

2012

72

Compositional verification of a medical device system

Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam,

2013

51

Generating MC/DC adequate test sequences through model checking

Sanjai Rayadurgam, Mats P. E. Heimdahl

2004

37

Auto-generating test sequences using model checkers: A case study

Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser,

2004

29

Test-sequence generation from formal requirement models

Sanjai Rayadurgam, Mats P. E. Heimdahl

2002

28

Run-Time Assurance for Learning-Based Aircraft Taxiing

Darren Cofer, Isaac Amundson, Ramachandra Sattigeri,

2020

25

Representation of Confidence in Assurance Cases Using the Beta Distribution

Lian Duan, Sanjai Rayadurgam, Mats P. E. Heimdahl,

2016

20

Structuring simulink models for verification and reuse

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam,

2014

18

Specification Centered Testing

Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser

2001

18

Page 1