Publications

Formalization of Asymptotic Notations in HOL4

Formal verification of platoon control strategies

Combining Refinement and Signal-Temporal Logic for Biological Systems

Towards the formalization of fractional calculus in higher-order logic

Formal analysis of power electronic systems

Towards the application of formal methods in process engineering

Towards Ray Optics Formalization of Optical Imaging Systems

Towards Formal Reasoning about Molecular Pathways in HOL

On the Formalization of Cardinal Points of Optical Systems

A new approach for the verification of optical systems

On the formal analysis of geometrical optics in HOL

Higher-Order Logic Formalization of Geometrical Optics

The efficient implementation of S8 AES algorithm

Formal modeling and analysis of biological regulatory networks using spin