D. Muthiayen

According to our database, D. Muthiayen authored at least 6 papers between 1996 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

A rigorous approach for constructing self-evolving real-time reactive systems.

Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng

Inf. Softw. Technol., 2003

A Rigorous Approach to Modeling Autonomous Traffic Control Systems.

Vangalur S. Alagar, D. Muthiayen

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

2000

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.

D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Towards a mechanical verification of real-time reactive systems modeled in UML.

Vangalur S. Alagar, D. Muthiayen

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999

Verification and Validation Techniques of Object-Oriented Software Systems.

Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1996

Animating Real-Time Reactive Systems.

Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996