D. Muthiayen

	2003
6		Vangalur S. Alagar, D. Muthiayen: A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS 2003: 193-200
5		Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng: A rigorous approach for constructing self-evolving real-time reactive systems. Information & Software Technology 45(11): 743-761 (2003)
	2000
4		Vangalur S. Alagar, D. Muthiayen: Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA 2000: 245-254
3		D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon: An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA 2000: 491-497
	1999
2		Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen: Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) 1999: 413-
	1996
1		Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan: Animating Real-Time Reactive Systems. ICECCS 1996: 181-188

Coauthor Index

1	Ramesh Achuthan	[1] [5]
2	Vangalur S. Alagar (Vasu S. Alagar)	[1] [2] [3] [4] [5] [6]
3	M. Haydar	[5]
4	Ferhat Khendek	[3]
5	Olga Ormandjieva	[5]
6	Kasilingam Periyasamy	[2]
7	A. Sefidcon	[3]
8	Mao Zheng	[5]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page