Yunja Choi, Sanjai Rayadurgam, Mats P.E. Heimdahl ESEC/FSE-9 Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, 2001
Access through IEEE Xplore:
Murugesan, A.; Sokolsky, O.; Rayadurgam, S.; Whalen, M.; Heimdahl, M.; Insup Lee, "Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety," Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on , vol., no., pp.139,150, 14-17 April 2014 doi: 10.1109/ICCPS.2014.6843718 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6843718&isnumber=6843703
Heimdahl, M.P.E.; Lian Duan; Murugesan, A.; Rayadurgam, S., "Modeling and requirements on the physical side of cyber-physical systems," Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 2nd International Workshop on the , vol., no., pp.1,7, 21-21 May 2013 doi: 10.1109/TwinPeaks.2013.6614716 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6614716&isnumber=6614712
Whalen, M.W.; Gacek, A.; Cofer, D.; Murugesan, A.; Heimdahl, M.P.E.; Rayadurgam, S., "Your "What" Is My "How": Iteration and Hierarchy in System Design," Software, IEEE , vol.30, no.2, pp.54,60, March-April 2013 doi: 10.1109/MS.2012.173 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6359702&isnumber=6470580
Rayadurgam, S.; Heimdahl, M.P.E., "Generating MC/DC adequate test sequences through model checking," Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard , vol., no., pp.91,96, 3-4 Dec. 2003 doi: 10.1109/SEW.2003.1270730 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1270730&isnumber=28448
Rayadurgam, S., "Automated test-data generation from formal models of software," Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on , vol., no., pp.438,, 26-29 Nov. 2001 doi: 10.1109/ASE.2001.989851 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=989851&isnumber=21331
Rayadurgam, S.; Heimdahl, M.P.E., "Test-sequence generation from formal requirement models," High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on , vol., no., pp.23,31, 2001 doi: 10.1109/HASE.2001.966804 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=966804&isnumber=20868
Rayadurgam, S.; Heimdahl, M.P.E., "Coverage based test-case generation using model checkers," Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the , vol., no., pp.83,91, 2001 doi: 10.1109/ECBS.2001.922409 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=922409&isnumber=19939
Nelakuditi, S.; Harinath, R.R.; Rayadurgam, S.; Zhi-Li Zhang, "Revenue-based call admission control for wireless cellular networks," Personal Wireless Communication, 1999 IEEE International Conference on , vol., no., pp.486,490, 1999 doi: 10.1109/ICPWC.1999.759692 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=759692&isnumber=16424
Weiguang Shao; Tsai, W.-T.; Rayadurgam, S.; Lai, R., "An agent architecture for supporting individualized services in Internet applications," Tools with Artificial Intelligence, 1998. Proceedings. Tenth IEEE International Conference on , vol., no., pp.140,147, 10-12 Nov 1998 doi: 10.1109/TAI.1998.744830 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=744830&isnumber=16054
Feng Zhu; Rayadurgam, S.; Tsai, W.-T., "Automating regression testing for real-time software in a distributed environment," Object-Oriented Real-time Distributed Computing, 1998. (ISORC 98) Proceedings. 1998 First International Symposium on , vol., no., pp.373,382, 20-22 Apr 1998 doi: 10.1109/ISORC.1998.666810 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=666810&isnumber=14648
Subramanian, S.; Tsai, W.-T.; Rayadurgam, S., "Design for constraint violation detection in safety-critical systems," High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International , vol., no., pp.109,116, 13-14 Nov 1998 doi: 10.1109/HASE.1998.731602 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=731602&isnumber=15811
Tsai, W.-T.; Mojdehbakhsh, R.; Rayadurgam, S., "Experience in capturing requirements for safety-critical medical devices in an industrial environment," High-Assurance Systems Engineering Workshop, 1997., Proceedings , vol., no., pp.32,36, 11-12 Aug 1997 doi: 10.1109/HASE.1997.648035 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=648035&isnumber=14136
Xiaoping Chen; Tsai, W.-T.; Huang, H.; Poonawala, M.; Rayadurgam, S.; Yamin Wang, "Omega-an integrated environment for C++ program maintenance," Software Maintenance 1996, Proceedings., International Conference on , vol., no., pp.114,123, 4-8 Nov 1996 doi: 10.1109/ICSM.1996.564995 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=564995&isnumber=12288
Other
Rayadurgam, S. 2004 Automatic Test-Case Generation from Formal Models of Software. Doctoral Thesis. UMI Order Number: AAI3121844., University of Minnesota.