D. Muthiayen

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng
A rigorous approach for constructing self-evolving real-time reactive systems. Inf. Softw. Technol. 45 (11) (2003)
Vangalur S. Alagar, D. Muthiayen
A Rigorous Approach to Modeling Autonomous Traffic Control Systems. ISADS (2003)
D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA (2000)
Vangalur S. Alagar, D. Muthiayen
Towards a mechanical verification of real-time reactive systems modeled in UML. RTCSA (2000)
Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen
Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) (1999)
Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan
Animating Real-Time Reactive Systems. ICECCS (1996)