Darmalingum Muthiayen, Ph.D.
Affiliations: | 2000 | Concordia University (Canada), Montreal, QC, Canada |
Area:
Computer Science, System Science EngineeringGoogle:
"Darmalingum Muthiayen"Parents
Sign in to add mentor| V S. Alagar | grad student | 2000 | Concordia University Montreal | |
| (Real -time reactive system development: A formal approach based on UML and PVS.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Alagar VS, Muthiayen D. (2008) A rigorous approach to modeling autonomous traffic control systems Proceedings - Isads 2003: 6th International Symposium On Autonomous Decentralized Systems. 193-200 |
| Alagar VS, Achuthan R, Haydar M, et al. (2003) A rigorous approach for constructing self-evolving real-time reactive systems Information and Software Technology. 45: 743-761 |
| Muthiayen D, Alagar VS, Khendek F, et al. (2000) An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems Proceedings - 7th International Conference On Real-Time Computing Systems and Applications, Rtcsa 2000. 491-497 |
| Alagar VS, Muthiayen D. (2000) Towards a mechanical verification of real-time reactive systems modeled in UML Proceedings - 7th International Conference On Real-Time Computing Systems and Applications, Rtcsa 2000. 245-254 |
| Alagar VS, Muthiayen D, Achuthan R. (1996) Animating real-time reactive systems Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 181-188 |