Author

Umesh D. Ramu

Observed names: RAMU, UMESH D., Ramu, Umesh D.

Institutions: P.E.S. College of Engineering, Mandya, Visvesvaraya Technological University

Observed institutions: P.E.S. College of Engineering, Mandya, Visvesvaraya Technological University

ORCID: 0000-0002-6813-3876

Observed ORCID: 0000-0002-6813-3876

OpenAlex ID: A5083332834

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 · 10

PDF

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 · 4

PDF

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

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

PDF

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) · 4

Works count: 6

Citation count: 24

H-index: 4

I10-index: 1