Selected Publications

Quickly discover relevant content by filtering publications.

Safetyops

Formal verification of platoon control strategies

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

Combining Refinement and Signal-Temporal Logic for Biological Systems

Formal analysis of power electronic systems

Towards Ray Optics Formalization of Optical Imaging Systems

Towards Formal Reasoning about Molecular Pathways in HOL

Stability Verification of Optical and Laser Resonators in HOL Light

On the Formalization of Signal-Flow-Graphs in HOL

On the Formalization of Gamma Function in HOL

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

Formal analysis of Fractional Order Systems in Higher-order Logic