![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sanjai Rayadurgam
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2018
- [j7]César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk:
Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. 60(1): 1-2 (2018) - 2017
- [j6]Gregory Gay
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng. 43(6): 531-555 (2017) - 2015
- [j5]Anitha Murugesan
, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl:
Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test 32(5): 66-73 (2015) - 2013
- [j4]Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan
, Mats Per Erik Heimdahl, Sanjai Rayadurgam:
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30(2): 54-60 (2013) - 2002
- [j3]Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7(4): 225-242 (2002) - 1998
- [j2]I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry:
Key Applications for High-Assurance Systems. Computer 31(4): 35-45 (1998) - 1997
- [j1]Takashi Sano, Wei-Tek Tsai, Sanjai Rayadurgam:
Interview with Takashi Sano. J. Softw. Maintenance Res. Pract. 9(4): 253-268 (1997)
Conference and Workshop Papers
- 2022
- [c45]Soha Hussein
, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl:
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE 2022: 46-57 - 2021
- [c44]Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl:
Black-Box Testing of Deep Neural Networks. ISSRE 2021: 309-320 - [c43]Soha Hussein
, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. ASE 2021: 1190-1192 - 2020
- [c42]Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Manifold-based Test Generation for Image Classifiers. AITest 2020: 15-22 - [c41]Taejoon Byun, Sanjai Rayadurgam:
Manifold for machine learning assurance. ICSE (NIER) 2020: 97-100 - [c40]Taejoon Byun, Sanjai Rayadurgam:
Manifold-based Test Generation for Image Classifiers. ICSE (Workshops) 2020: 221 - [c39]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. ASE 2020: 250-261 - [c38]Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam:
Run-Time Assurance for Learning-Enabled Systems. NFM 2020: 361-368 - 2019
- [c37]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. AITest 2019: 63-70 - [c36]Anitha Murugesan
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE 2019: 177-186 - 2018
- [c35]Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE 2018: 5-8 - 2017
- [c34]Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Domain modeling for development process simulation. ICSSP 2017: 95-99 - [c33]Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl:
Toward Rigorous Object-Code Coverage Criteria. ISSRE 2017: 328-338 - 2016
- [c32]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE 2016: 86-93 - 2015
- [c31]Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
A reference model for simulating agile processes. ICSSP 2015: 82-91 - [c30]Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay:
Efficient observability-based test generation by dynamic symbolic execution. ISSRE 2015: 228-238 - [c29]Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim
, Oleg Sokolsky:
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE 2015: 418-428 - [c28]Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan
, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95 - [c27]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops 2015: 15-26 - 2014
- [c26]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC 2014: 64-80 - [c25]Anitha Murugesan
, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim
, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - [c24]Anitha Murugesan
, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - [c23]Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam:
Practical aspects of building a constrained random test framework for safety-critical embedded systems. MoSEMInA 2014: 17-25 - [c22]Anitha Murugesan
, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee:
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks 2014: 18-23 - [c21]Michael W. Whalen, Anitha Murugesan
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Structuring simulink models for verification and reuse. MiSE 2014: 19-24 - [c20]Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58 - [c19]Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Steering model-based oracles to admit real program behaviors. ICSE Companion 2014: 428-431 - [c18]Gregory Gay
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Improving the accuracy of oracle verdicts through automated model steering. ASE 2014: 527-538 - 2013
- [c17]Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan
, Sanjai Rayadurgam:
Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE 2013: 1-7 - [c16]Anitha Murugesan
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Modes, features, and state-based modeling for clarity and flexibility. MiSE 2013: 13-17 - [c15]Anitha Murugesan
, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. HILT 2013: 51-64 - 2003
- [c14]Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao:
Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59 - [c13]Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl:
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186 - [c12]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91 - 2001
- [c11]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83- - [c10]Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31 - [c9]Sanjai Rayadurgam:
Automated Test-Data Generation from Formal Models of Software. ASE 2001: 438 - [c8]Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE 2001: 164-174 - 1999
- [c7]Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul:
Assurance-Based Y2K Testing. HASE 1999: 27-36 - 1998
- [c6]Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai:
Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998: 109-116 - [c5]Weiguang Shao, Wei-Tek Tsai, Sanjai Rayadurgam, Robert Lai:
An agent architecture for supporting individualized services in Internet applications. ICTAI 1998: 140-147 - [c4]Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai:
Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998: 373-382 - 1997
- [c3]Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam:
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE 1997: 32-37 - 1996
- [c2]Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang:
Omega - an integrated environment for C++ program maintenance. ICSM 1996: 114- - [c1]Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam:
The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376
Editorship
- 2016
- [e1]Sanjai Rayadurgam, Oksana Tkachuk:
NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Lecture Notes in Computer Science 9690, Springer 2016, ISBN 978-3-319-40647-3 [contents]
Informal and Other Publications
- 2020
- [i5]Taejoon Byun, Sanjai Rayadurgam:
Manifold for Machine Learning Assurance. CoRR abs/2002.03147 (2020) - [i4]Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Manifold-based Test Generation for Image Classifiers. CoRR abs/2002.06337 (2020) - [i3]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. CoRR abs/2009.12330 (2020) - 2019
- [i2]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. CoRR abs/1901.03768 (2019) - 2015
- [i1]Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, Wilhelm Schäfer:
Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162). Dagstuhl Reports 5(4): 76-97 (2015)
Coauthor Index
aka: Mats Per Erik Heimdahl
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 18:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint