Sanjai Rayadurgam

发表

Insup Lee, Oleg Sokolsky, Lian Duan, 2015, SAFECOMP Workshops.

Sanjai Rayadurgam, Taejoon Byun, Isaac Amundson, 2020, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

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

Wei-Tek Tsai, Sanjai Rayadurgam, Ramin Mojdehbakhsh, 1998 .

Wei-Tek Tsai, Sanjai Rayadurgam, Satish Subramanian, 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Michael W. Whalen, 2014, MiSE 2014.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Willem Visser, 2003, FATES.

Sanjai Rayadurgam, Mats P. E. Heimdahl, Anjali Joshi, 2003, ICFEM.

Sanjai Rayadurgam, Taejoon Byun, 2020, ICSE.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, M. Heimdahl, 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2013, 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks).

Sanjai Rayadurgam, Michael W. Whalen, Grigory Fedyukovich, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2014, ICSE Companion.

Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, 1998, Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294).

Wei-Tek Tsai, Sanjai Rayadurgam, Ramin Mojdehbakhsh, 1997, Proceedings 1997 High-Assurance Engineering Workshop.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anitha Murugesan, 2013, 2013 5th International Workshop on Modeling in Software Engineering (MiSE).

Sanjai Rayadurgam, Anitha Murugesan, Mats Heimdahl, 2019, 2019 IEEE 27th International Requirements Engineering Conference (RE).

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2017, IEEE Transactions on Software Engineering.

Insup Lee, Oleg Sokolsky, Lian Duan, 2014, FHIES/SEHC.

Srihari Nelakuditi, Zhi-Li Zhang, Sanjai Rayadurgam, 1999, 1999 IEEE International Conference on Personal Wireless Communications (Cat. No.99TH8366).

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2014, ASE.

Lu Feng, Insup Lee, Sanjai Rayadurgam, 2014, TwinPeaks 2014.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Ian J. De Silva, 2015, ICSSP.

Raymond A. Paul, Wei-Tek Tsai, Weiguang Shao, 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

Insup Lee, Oleg Sokolsky, Sanjai Rayadurgam, 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Michael W. Whalen, 2013, HILT '13.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, M. Heimdahl, 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

Insup Lee, Oleg Sokolsky, Lian Duan, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

Wei-Tek Tsai, Sanjai Rayadurgam, Takashi Sano, 1997 .

Michael R. Lowry, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2014, FormaliSE 2014.

Wei-Tek Tsai, Xiaoping Chen, Hai Huang, 1996, 1996 Proceedings of International Conference on Software Maintenance.

Sanjai Rayadurgam, Darren D. Cofer, Vaibhav Sharma, 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest).

Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2018, WASPI@ESEC/SIGSOFT FSE.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Yunja Choi, 2002, Requirements Engineering.

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

Sanjai Rayadurgam, Darren D. Cofer, Eric Smith, 2020, NFM.

Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam, 1996, SEKE.

Michael R. Lowry, Raymond A. Paul, Wei-Tek Tsai, 1998, Computer.

Sanjai Rayadurgam, Isaac Amundson, Scott Hareland, 2014, MoSEMInA 2014.

Oleg Sokolsky, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Stephen McCamant, Sanjai Rayadurgam, Vaibhav Sharma, 2017 .

Wei-Tek Tsai, Sanjai Rayadurgam, Feng Zhu, 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

Sanjai Rayadurgam, Taejoon Byun, Taejoon Byun, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

Sanjai Rayadurgam, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Patrick Mäder, Jane Cleland-Huang, Sanjai Rayadurgam, 2015, Dagstuhl Reports.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Yunja Choi, 2001, ESEC/FSE-9.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Michael W. Whalen, 2015, IEEE Design & Test.

Insup Lee, Oleg Sokolsky, Sanjai Rayadurgam, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).

Sanjai Rayadurgam, Michael W. Whalen, Mats P. E. Heimdahl, 2013 .

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Ian J. De Silva, 2017, ICSSP.

Sanjai Rayadurgam, Michael W. Whalen, Mats P. E. Heimdahl, 2013, IEEE Software.

Wei-Tek Tsai, Takashi Sano, Sanjai Rayadurgam, 1997, J. Softw. Maintenance Res. Pract..

Sanjai Rayadurgam, Darren Cofer, Taejoon Byun, 2020, 2020 IEEE International Conference On Artificial Intelligence Testing (AITest).

Sanjai Rayadurgam, César A. Muñoz, Oksana Tkachuk, 2017, Journal of Automated Reasoning.

Sanjai Rayadurgam, Mats Per Erik Heimdahl, M. Heimdahl, 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).