dblp computer science bibligraphyDBLP CS Bibliography List

UMSEC publications page

Full-text access through ACM Author-izer:

ACM DL Author-ize serviceImproving the accuracy of oracle verdicts through automated model steering
Gregory Gay, Sanjai Rayadurgam, Mats P.E. Heimdahl
ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 2014
ACM DL Author-ize serviceAnalysis and testing of PLEXIL plans
Jason Biatek, Michael W. Whalen, Mats P. E. Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
FormaliSE 2014 Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
ACM DL Author-ize serviceStructuring simulink models for verification and reuse
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats P. E. Heimdahl
MiSE 2014 Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
ACM DL Author-ize serviceExploring the twin peaks using probabilistic verification techniques
Anitha Murugesan, Lu Feng, Mats P. E. Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
TwinPeaks 2014 Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014
ACM DL Author-ize serviceSteering model-based oracles to admit real program behaviors
Gregory Gay, Sanjai Rayadurgam, Mats P. E. Heimdahl
ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering, 2014
ACM DL Author-ize servicePractical aspects of building a constrained random test framework for safety-critical embedded systems
Dongjiang You, Isaac Amundson, Scott A. Hareland, Sanjai Rayadurgam
MoSEMInA 2014 Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014
ACM DL Author-ize serviceCompositional verification of a medical device system
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats P.E. Heimdahl
HILT '13 Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
ACM DL Author-ize serviceAutomatic abstraction for model checking software systems with interrelated numeric constraints
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

Tsai, W.T.; Paul, R.; Weiguang Shao; Rayadurgam, S.; Jinbao Li, "Assurance-based Y2K testing," High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on , vol., no., pp.27,34, 1999
doi: 10.1109/HASE.1999.809472
URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=809472&isnumber=17551

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