Faculty Details

Dr. Lokanna Kadakolmath

Associate Professor

Email :lokanna@pestrust.edu.in

Educational Qualification :
B. E, M. Tech, Ph.D.
Academic Experience :
18 years

Dr. Lokanna Kadakolmath

Associate Professor

Email :lokanna@pestrust.edu.in

Educational Qualification :
B. E, M. Tech, Ph.D.
Academic Experience :
18 years

  • L. Kadakolmath and D. R. Umesh, “iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System,” ACM Journal of Formal Aspects of Computing, vol. 36, no. 01, pp. 1–45,Mar. 2024, doi: 10.1145/3633065 (Scopus and Web of Science Indexed Q2 Journal). https://dl.acm.org/doi/10.1145/3633065
  • L. Kadakolmath and D. R. Umesh, “Goal-Oriented Modeling of an Urban Subway Control System Using KAOS,” Indonesian Journal of Computer Science, vol. 12, no. 03, pp. 933–945, Jun. 2023, doi: 10.33022/ijcs.v12i3.3239, (Google Scholar and DOAJ Indexed). http://ijcs.stmikindonesia.ac.id/ijcs/index.php/ijcs/article/view/3239
  • L. Kadakolmath and D. R. Umesh, “i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System,” Journal of Scientific Research, vol. 66, no. 02, pp. 30–39, Feb. 2022, doi: 10.37398/JSR.2022.660205, (UGC CARE and Google Scholar Indexed).
  • L. Kadakolmath and D. R. Umesh, “i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System,” Journal of Scientific Research, vol. 66, no. 02, pp. 30–39, Feb. 2022, doi: 10.37398/JSR.2022.660205, (UGC CARE and Google Scholar Indexed). https://internet.bhu.ac.in/research_pub/jsr/Volumes/JSR_66_02_2022/5.pdf
  • L. Kadakolmath and D. R. Umesh, “A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System,” International Journal of Safety and Security Engineering, vol. 11, no. 06, pp. 671–682, Dec. 2021, doi: 10.18280/ijsse.110607, (Scopus Indexed Q3 Journal). https://www.iieta.org/journals/ijsse/paper/10.18280/ijsse.110607
    • Total 6 Journal Articles
  • Association for Computing Machinery (ACM)