Publications

Journals

  • Vasudevan Janarthanan, Peyman Gohari, "Formalizing Real-Time Scheduling Using Prioritized Supervisory Control of Discrete-Event Systems", IEEE Journal for Transactions on Automatic Control, Volume -- 51, Issue -- 6, pp.1053-1058, 2006.

  • Vasudevan Janarthanan, Peyman Gohari, "Multiprocessor Scheduling in Supervisory Control of Discrete-Event Systems Framework", IASTED Journal for Control and Intelligent Systems, Volume -- 35, Issue -- 4, pp.360-366, 2007.

  • Vasudevan Janarthanan, “Modified Symbolic Modeling of Real-Time Schedulers for Uniprocessor Systems”, ISAST Journal for Transactions on Intelligent Systems, Number -- 2, Volume -- 2, pp.42-51, 2008.

  • Vasudevan Janarthanan, "Modular Specification and Verification of Dependable Distributed Protocols", International Journal of Soft Computing Applications (IJSCA), Issue -- 4, pp.96-120, 2009.

      Peer-reviewed Conferences
  • Vasudevan Janarthanan, Peyman Gohari, "Uniprocessor Scheduling of Real-time Systems Using Modified Symbolic Modeling Technique", Proceedings of IASTED Conference on Control and Applications (CA), pp. 171-176, 2006.
  • Vasudevan Janarthanan, Peyman Gohari, "Universal Scheduler Design on Uniprocessors in Supervisory Control of Discrete-Event Systems Framework", Proceedings of IEEE Conference on Control Applications (CCA), pp. 916-921, 2005.
  • Vasudevan Janarthanan, Peyman Gohari, "Supervisory Control Based Design of Real-time Schedulers for Uniform Multiprocessor Systems", Proceedings of IASTED Conference on Intelligent Systems and Control (ISC), pp. 488-493, 2005.
  • Vasudevan Janarthanan, Purnendu Sinha, "Modular Composition and Verification of Transaction Processing Protocols", Proceedings of IEEE Conference on Distributed Computing Systems (ICDCS), pp. 450-459, 2003.

Theses

  •  Vasudevan Janarthanan, "Formalization of Uniprocessor & Multiprocessor Scheduling Using Supervisory Control of Discrete-Event Systems", PhD Thesis, Department of Electrical & Computer Engineering, Concordia University, 2007.

  • Vasudevan Janarthanan, "Modular Composition and Verification of Three Phase Commit Protocol Using Category Theory", M.A.Sc. Thesis, Department of Electrical & Computer Engineering, Concordia University, 2003.

Book Reviews

  • Purnendu Sinha, Nikhil Varma, Vasudevan Janarthanan, "Java Microarchitectures" edited by Vijaykrishnan Narayanan and Mario I.Wolczko, IEEE Canadian Review, 2003.

    Technical Reports

  • Vasudevan Janarthanan, Purnendu Sinha, "Dependable Software Architectures", Technical Report, Concordia University, 2004.