H. K. Jnanamurthy

Threat Analysis and malicious user detection in reputation systems using Mean Bisector Analysis and Cosine Similarity (MBACS)

Sanjay Singh, Chirag Warty, H. K. Jnanamurthy, 2013, 2013 Annual IEEE India Conference (INDICON).

Detection and filtering of collaborative malicious users in reputation system using quality repository approach

Sanjay Singh, H. K. Jnanamurthy, Sanjay Singh, 2013, 2013 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

Modelling and Verification of Extensible Authentication Protocol using SPIN Model Checker

H. K. Jnanamurthy, Sanjay Singh, Manu S. Hegde, 2012 .

Formal verification of the Extensible Authentication Protocol using SPIN

Sanjay Singh, H. K. Jnanamurthy, Manu S. Hegde, 2012, CCSEIT '12.

Top Down Approach to find Maximal Frequent Item Sets using Subset Creation pdf

Preetham Kumar, Radhika M. Pai, H. K. Jnanamurthy, 2012, ArXiv.

Multi-level analysis of IEC 61131-3 languages to detect clones

David J. Paul, Raoul Praful Jetley, Frans A. Henskens, 2020, Int. J. Comput. Appl. Technol..

Discovery of Maximal Frequent Item Sets using Subset Creation pdf

H. K. Jnanamurthy, 2013, ArXiv.

Multi-level analysis of IEC 61131-3 languages to detect clones

David J. Paul, Frans Henskens, H. K. Jnanamurthy, 2020 .

Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development

David J. Paul, Frans Henskens, H. K. Jnanamurthy, 2018, 2018 3rd International Conference for Convergence in Technology (I2CT).

Verification of interactive automated air traffic control system in a model driven approach

David J. Paul, Frans Henskens, H. K. Jnanamurthy, 2016, 2016 2nd International Conference on Contemporary Computing and Informatics (IC3I).

Analysis of Industrial Control System Software to Detect Semantic Clones

David J. Paul, Frans Henskens, H. K. Jnanamurthy, 2019, 2019 IEEE International Conference on Industrial Technology (ICIT).