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