D. Muthiayen

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
A rigorous approach for constructing self-evolving real-time reactive systems.
Inf. Softw. Technol., 2003

A Rigorous Approach to Modeling Autonomous Traffic Control Systems.
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.
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.
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.
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.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996


  Loading...