Visible to the public Biblio

Filters: Author is Sanjai Rayadurgam  [Clear All Filters]
2018-05-23
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee.  2015.  Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee.  2015.  Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay.  2015.  Efficient observability-based test generation by dynamic symbolic execution. 26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015. :228–238.
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Structuring simulink models for verification and reuse. 6th International Workshop on Modeling in Software Engineering, MiSE 2014. :19–24.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Steering model-based oracles to admit real program behaviors. 36th International Conference on Software Engineering, {ICSE} '14, Companion Proceedings. :428–431.
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee.  2014.  Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee.  2014.  Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 5$^{th}$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :139-150.
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2014.  Improving the accuracy of oracle verdicts through automated model steering. {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14. :527–538.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee.  2014.  Exploring the twin peaks using probabilistic verification techniques. Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014. :18–23.
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2013.  Compositional verification of a medical device system. Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013. :51–64.
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2013.  Modes, features, and state-based modeling for clarity and flexibility. Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013. :13–17.
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam.  2013.  Modeling and requirements on the physical side of cyber-physical systems. 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks@ICSE 2013. :1–7.
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam.  2013.  Your "What" Is My "How": Iteration and Hierarchy in System Design. {IEEE} Software. 30:54–60.
2018-05-14
[Anonymous].  2016.  NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Lecture Notes in Computer Science. 9690