Nadeem Sarwar

Papers

Total Citations

H-Index

About

Nadeem Sarwar’s research bridges the critical gap between formal software verification and real-world civic technology. His most influential work, “NLP based verification of a UML class model” (2016), pioneers the use of natural language processing to automate the validation of UML/OCL models—a key challenge in model-driven engineering. By applying SAT-based checking to software design artifacts, Sarwar has contributed to making formal verification more accessible, with this paper accruing 12 citations and laying groundwork for smarter, robotized model checking in embedded systems and beyond. More recently, Sarwar has turned his expertise toward practical urban solutions. His 2021 study on an “E-Challan System Implemented in Lahore Using Digital Image Processing” demonstrates how computer vision, machine learning, and pattern recognition can automate traffic law enforcement. Though early in its citation life (2 citations), this work exemplifies the translation of digital image processing into tangible public benefit. Together, Sarwar’s research portfolio showcases a rare versatility—from foundational advances in NLP-driven model verification to applied systems that improve governance. His trajectory signals a researcher equally comfortable with abstract formal methods and their deployment in smart city infrastructure, making his work relevant to both software engineers and civic technologists.