2003 |
6 | EE | Vangalur S. Alagar,
D. Muthiayen:
A Rigorous Approach to Modeling Autonomous Traffic Control Systems.
ISADS 2003: 193- |
5 | EE | 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 | EE | Vangalur S. Alagar,
D. Muthiayen:
Towards a mechanical verification of real-time reactive systems modeled in UML.
RTCSA 2000: 245-254 |
3 | EE | 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 | EE | Kasilingam Periyasamy,
Vangalur S. Alagar,
D. Muthiayen:
Verification and Validation Techniques of Object-Oriented Software Systems.
TOOLS (30) 1999: 413- |
1996 |
1 | EE | Vangalur S. Alagar,
D. Muthiayen,
Ramesh Achuthan:
Animating Real-Time Reactive Systems.
ICECCS 1996: 181-188 |