Sanjai Rayadurgam

Citado por

	Total	Desde 2019
Citas	1419	461
Índice h	20	12
Índice i10	35	15

120

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 5 17 6 5 23 23 32 44 42 47 59 36 64 48 27 29 26 56 68 97 88 72 77 84 90 81 102 27

Acceso público

Ver todo

14 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaDirección de correo verificada de umn.edu
Anitha MurugesanHoneywell AerospaceDirección de correo verificada de honeywell.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaDirección de correo verificada de cs.umn.edu
Taejoon ByunMetaDirección de correo verificada de fb.com
Oleg SokolskyUniversity of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Darren CoferRockwell CollinsDirección de correo verificada de ieee.org
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaDirección de correo verificada de umn.edu
Willem VisserComputer Science Division, Stellenbosch UniversityDirección de correo verificada de cs.sun.ac.za
Gregory GayChalmers | University of GothenburgDirección de correo verificada de chalmers.se
Andrew GacekAmazon Web ServiceDirección de correo verificada de amazon.com
Yunja ChoiKyungpook National UniversityDirección de correo verificada de knu.ac.kr
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTDirección de correo verificada de dgist.ac.kr
Stephen McCamantAssociate Professor, University of MinnesotaDirección de correo verificada de cs.umn.edu
Ian J. De SilvaUniversity of MinnesotaDirección de correo verificada de cs.umn.edu
Raja R HarinathDirección de correo verificada de cs.umn.edu
Srihari NelakuditiUniversity of South CarolinaDirección de correo verificada de cse.sc.edu
Zhi-Li ZhangDistinguished McKnight University Professor and Qwest Chair ProfessorDirección de correo verificada de cs.umn.edu

Seguir

Sanjai Rayadurgam

University of Minnesota

Dirección de correo verificada de umn.edu - Página principal

Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Coverage based test-case generation using model checkers S Rayadurgam, MPE Heimdahl Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001	274	2001
Auto-generating test sequences using model checkers: A case study MPE Heimdahl, S Rayadurgam, W Visser, G Devaraj, J Gao International Workshop on Formal Approaches to Software Testing, 42-59, 2003	125	2003
Your" what" is my" how": Iteration and hierarchy in system design MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ... IEEE software 30 (2), 54-60, 2012	92	2012
Compositional verification of a medical device system A Murugesan, MW Whalen, S Rayadurgam, MPE Heimdahl Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013	80	2013
Input prioritization for testing neural networks T Byun, V Sharma, A Vijayakumar, S Rayadurgam, D Cofer 2019 IEEE International Conference On Artificial Intelligence Testing …, 2019	71	2019
Generating MC/DC adequate test sequences through model checking S Rayadurgam, M Heimdahl	60	2003
Test-sequence generation from formal requirement models S Rayadurgam, MPE Heimdahl Proceedings Sixth IEEE International Symposium on High Assurance Systems …, 2001	48	2001
The Role of Program Slicing in Ripple Effect Analysis. Y Wang, WT Tsai, X Chen, S Rayadurgam SEKE, 369-376, 1996	38	1996
Omega-an integrated environment for C++ program maintenance X Chen, WT Tsai, H Huang 1996 Proceedings of International Conference on Software Maintenance, 114-123, 1996	36	1996
Specification centered testing M Heimdahl, S Rayadurgam, W Visser	34	2001
Run-time assurance for learning-based aircraft taxiing D Cofer, I Amundson, R Sattigeri, A Passi, C Boggs, E Smith, L Gilham, ... 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020	29	2020
Manifold for machine learning assurance T Byun, S Rayadurgam Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	27	2020
Reasoning about confidence and uncertainty in assurance cases: A survey L Duan, S Rayadurgam, MPE Heimdahl, A Ayoub, O Sokolsky, I Lee Software Engineering in Health Care: 4th International Symposium, FHIES 2014 …, 2017	27	2017
Representation of confidence in assurance cases using the beta distribution L Duan, S Rayadurgam, M Heimdahl, O Sokolsky, I Lee 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016	26	2016
Design for constraint violation detection in safety-critical systems S Subramanian, WT Tsai, S Rayadurgam Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998	24	1998
Structuring simulink models for verification and reuse MW Whalen, A Murugesan, S Rayadurgam, MPE Heimdahl Proceedings of the 6th international workshop on modeling in software …, 2014	23	2014
Modeling and requirements on the physical side of cyber-physical systems MPE Heimdahl, L Duan, A Murugesan, S Rayadurgam 2013 2nd International Workshop on the Twin Peaks of Requirements and …, 2013	23	2013
Experience in capturing requirements for safety-critical medical devices in an industrial environment WT Tsai, R Mojdehbakhsh, S Rayadurgam Proceedings 1997 High-Assurance Engineering Workshop, 32-36, 1997	23	1997
From requirements to code: Model based development of a medical cyber physical system A Murugesan, MPE Heimdahl, MW Whalen, S Rayadurgam, J Komp, ... Software Engineering in Health Care: 4th International Symposium, FHIES 2014 …, 2017	22	2017
Automatic abstraction for model checking software systems with interrelated numeric constraints Y Choi, S Rayadurgam, MPE Heimdahl Proceedings of the 8th European software engineering conference held jointly …, 2001	21	2001

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores