D. Muthiayen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–2003
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ISADS | A Rigorous Approach to Modeling Autonomous Traffic Control Systems. | Vangalur S. Alagar, D. Muthiayen |
| 2000 | RTCSA | Towards a mechanical verification of real-time reactive systems modeled in UML. | Vangalur S. Alagar, D. Muthiayen |
| 2000 | RTCSA | 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 |
| 1996 | ICECCS | Animating Real-Time Reactive Systems. | Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan |