Papers
1
Total Citations
4
H-Index
1
About
Ujala Qasim is a researcher specializing in formal verification, bond graph modeling, and higher-order logic theorem proving. Her work bridges the gap between physical system modeling and rigorous mathematical proof, enabling the reliable analysis of complex engineering systems. Her most-cited paper, "Formalization of bond graph using higher-order-logic theorem proving" (2021), has garnered 4 citations and represents a foundational contribution to the field. In this work, she developed a formal framework for bond graphs—a graphical approach to modeling energy flow in dynamic systems—using higher-order logic theorem proving. This allows for the automated, error-free verification of system properties that were previously only analyzed through simulation or informal reasoning. Qasim’s research has significant implications for safety-critical domains such as robotics, aerospace, and cyber-physical systems, where precise modeling is essential. By integrating formal methods with bond graph theory, she provides engineers with a powerful tool to ensure correctness and reliability. Her work stands as a notable achievement in advancing formal verification techniques for physical systems, offering a rigorous foundation for future research in system design and analysis.
Research Focus
Key Achievements
Top Papers
- 1Formalization of bond graph using higher-order-logic theorem proving4 citations · 2021