Back close

Dr. Bharat Jayaraman

Dean, School of Computing

bharat@amrita.edu

Bio

Dr. Bharat Jayaraman currently serves as Professor and Dean of the School of Computing, Amrita Vishwa Vidyapeetham. He received his B.Tech and M.Tech degrees from the Indian Institute of Technology (IIT), Madras, and his Ph.D. in Computer Science from the University of Utah. He has held faculty positions at the University of North Carolina (1981-89) and the University at Buffalo (1989-2021), where he also served as CSE Department Chair (2001-2009).

Dr. Jayaraman’s research interests center around Programming Languages and Software Systems. He has published over 100 scientific articles in international journals and conferences and his research has been funded by the U.S. National Science Foundation, Office of Naval Research, and the Foundations of Xerox, IBM, and Fujitsu. He has also been active in promoting educational and research partnerships between institutions in the U.S. and India.

Publications

Journal Article

Year : 2021

Semantics of temporal constrained objects

Cite this Research Publication : J.M. Kannimoola, Bharat Jayaraman, and K. Achuthan, “Semantics of Temporal Constrained Objects”, Journal of Logical and Algebraic Methods in Programming, vol. 119, p. 100632, 2021. DOI: https://doi.org/10.1016/j.jlamp.2020.100632

Publisher : Elsevier

Year : 2020

Finite-state model extraction and visualization from Java program execution

Cite this Research Publication : K.P. Jevitha, J. Swaminathan, B. Jayaraman, M. Sethumadhavan, “Finite-state model extraction and visualization from Java program execution”, Software: Practice and Experience, vol. 51, pp. 409-437, 2021. DOI: https://doi.org/10.1002/spe.2910

Publisher : Wiley

Year : 2017

Temporal constrained objects: Application and implementation

Cite this Research Publication : J.M. Kannimoola, B. Jayaraman, P. Tambay, K. Achuthan, “Temporal constrained objects: Application and implementation”, Computer Languages, Systems and Structures, vol. 49, pp. 82-100, 2017. DOI: 10.1016/j.cl.2017.03.002

Publisher : Elsevier

Year : 2016

Compact visualization of Java program execution

Cite this Research Publication : J. Swaminathan, B. Jayaraman and D. Lessa, “Compact visualization of Java program execution”, Software - Practice and Experience, vol. 47, pp. 163-191, John Wiley and Sons Ltd, 2017. DOI: 10.1002/spe.2411

Publisher : Wiley

Year : 2014

JI.FI: Visual test and debug queries for hard real-time

Cite this Research Publication : E. Blanton, D. Lessa, L. Ziarek, P. Arora and B. Jayaraman, "JI.FI, Visual Test and Debug Queries for Hard Real-time," Concurrency and Computation, Practice and Experience 26(14):2456-2487, 2014, Wiley. DOI: https://doi.org/10.1002/cpe.3156

Publisher : Wiley

Year : 2014

Probabilistic Spatio-Temporal Retrieval in Smart Spaces

Cite this Research Publication : V. Menon, B. Jayaraman, V. Govindaraju, “Probabilistic Spatio-Temporal Retrieval in Smart Spaces”, Journal of Ambient Intelligence and Humanized Computing, Springer-Verlag Berlin Heidelberg, vol. 5, no. 3, pp. 383–392, 2014. DOI: https://doi.org/10.1007/s12652-013-0199-2

Publisher : Springer

Year : 2013

Modeling mobile stateful channels in PiZ

Cite this Research Publication : J. Poroor and B. Jayaraman, “Modeling mobile stateful channels in PiZ”, Science of Computer Programming, Science of Computer Programming 78(9): 1470-1489, 2013, Elsevier. DOI: https://doi.org/10.1016/j.scico.2012.10.010

Publisher : Elsevier

Year : 2012

Special Issue on Security and Performance of Networks and Clouds, Guest Editor’s Introduction

Cite this Research Publication : B. Jayaraman, "Special Issue on Security and Performance of Networks and Clouds, Guest Editor's Introduction," Computer Journal 55(8): 907-908, 2012, Springer. DOI: 10.1093/comjnl/bxs083

Publisher : Springer

Year : 2012

C2L:A Formal Policy Language for Secure Cloud Configurations

Cite this Research Publication : J. Poroor and B. Jayaraman, “C2L:A Formal Policy Language for Secure Cloud Configurations”, Procedia Computer Science, Elsevier, Volume 10, p.499 - 506 (2012). DOI: https://doi.org/10.1016/j.procs.2012.06.064

Publisher : Elsevier

Year : 2011

Verifying security properties of internet protocol stacks: The split verification approach

Cite this Research Publication : J. Poroor and B. Jayaraman, “Verifying security properties of internet protocol stacks: The split verification approach”, Journal of Systems Architecture, Special Issue on Embedded System Design 57(3):269-281, 2011, Elsevier. DOI: 10.1016/j.sysarc.2010.09.002

Publisher : Elsevier

Year : 2011

The Three Rs of Cyberphysical Spaces

Cite this Research Publication : V. Menon, B. Jayaraman, V. Govindaraju, "The Three Rs of Cyberphysical Spaces", IEEE Computer, vol. 44, pp. 73–79, 2011. DOI Bookmark: 10.1109/MC.2011.59

Publisher : IEEE

Year : 2010

Multimodal Identification and Tracking in Smart Environments

Cite this Research Publication : V. Menon, B. Jayaraman, V. Govindaraju, “Multimodal Identification and Tracking in Smart Environments”, Journal of Personal and Ubiquitous Computing 14(8), pp. 685-694, 2010, Elsevier. DOI: https://doi.org/10.1007/s00779-010-0288-6

Publisher : Elsevier

Year : 2009

DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts

Cite this Research Publication : J. Poroor and B. Jayaraman, “DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts”, IEEE Internet Computing 13(6): 22-30, 2009. DOI: 10.1109/MIC.2009.99

Publisher : IEEE

Admissions Apply Now