D. Muthiayen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 6 from 6

2003

A Rigorous Approach to Modeling Autonomous Traffic Control SystemsVangalur S. Alagar, D. Muthiayen. isads 2003: 193 [doi]

A rigorous approach for constructing self-evolving real-time reactive systemsVangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng. INFSOF, 45(11):743-761, 2003. [doi]

2000

Towards a mechanical verification of real-time reactive systems modeled in UMLVangalur S. Alagar, D. Muthiayen. rtcsa 2000: 245-254 [doi]

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systemsD. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon. rtcsa 2000: 491-497 [doi]

1999

Verification and Validation Techniques of Object-Oriented Software SystemsKasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen. TOOLS 1999: 413 [doi]

1996

Animating Real-Time Reactive SystemsVangalur S. Alagar, D. Muthiayen, Ramesh Achuthan. ICECCS 1996: 181-188 [doi]

Sign in or sign up to see more results.

runs on WebDSL