Sofiéne Tahar
Latest
-
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
-
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018
-
Formal Analysis of Discrete-Time Systems using z-Transform
-
Formal reasoning about systems biology using theorem proving
-
Formal verification of stability and chaos in periodic optical systems
-
On the formal analysis of Gaussian optical systems in HOL
-
Formal analysis of power electronic systems
-
Formalizing physics: automation, presentation and foundation issues
-
Towards the formalization of fractional calculus in higher-order logic
-
A Framework for Formal Reasoning about Geometrical Optics
-
Formal analysis of optical systems
-
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4
-
On the Formalization of Cardinal Points of Optical Systems
-
On the Formalization of Gamma Function in HOL
-
On the Formalization of Signal-Flow-Graphs in HOL
-
Stability Verification of Optical and Laser Resonators in HOL Light
-
Towards Ray Optics Formalization of Optical Imaging Systems
-
Towards the application of formal methods in process engineering
-
A new approach for the verification of optical systems
-
Formal stability analysis of optical resonators
-
Higher-Order Logic Formalization of Geometrical Optics
-
On the formal analysis of geometrical optics in HOL