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
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 : 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 : 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