Author

Lokanna Kadakolmath

Observed name: KADAKOLMATH, LOKANNA

Institutions: Global Academy of Technology, Visvesvaraya Technological University

Observed institutions: Global Academy of Technology, Acharya Institute of Technology, Visvesvaraya Technological University

ORCID: 0000-0001-8500-9431

Observed ORCID: 0000-0001-8500-9431

OpenAlex ID: A5068612117

A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

2021 · Lokanna Kadakolmath, Umesh D. Ramu · International Journal of Safety and Security Engineering · 9

i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System

2022 · Lokanna Kadakolmath, Umesh D R · Journal of scientific research · 4

Modeling and formal verification of SMT rail interlocking system using PyNuSMV

2018 · L. Rakesh, Lokanna Kadakolmath · International Conference on Recent Advances in Information Technology · 4

iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System

2023 · Lokanna Kadakolmath, Umesh D. Ramu · Formal Aspects of Computing · 3

Goal-Oriented Modeling of an Urban Subway Control System Using KAOS

2023 · Lokanna Kadakolmath, Umesh D. Ramu · Indonesian Journal of Computer Science · 3

Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System

2022 · Lokanna Kadakolmath, Umesh D. Ramu · International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT) · 1

A Critical Study on the Influence of Formal Methods on Software Engineering Methodologies and Practices

2026 · Lokanna Kadakolmath, Amaresh Mayur · ACM Computing Surveys

Works count: 9

Citation count: 26

H-index: 3

I10-index: