Selected Publications

Quickly discover relevant content by filtering publications.
August 2020

Safetyops

PDF
January 2020 Formal Techniques for Safety-Critical Systems

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

PDF
January 2019 CEUR-WS.org

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

PDF
January 2018 International Conference on Software Engineering and Formal Methods

Formal verification of platoon control strategies

PDF
January 2018 Journal of Applied Logic

Formal Analysis of Discrete-Time Systems using z-Transform

PDF
January 2017 TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

PDF
January 2017 Journal of Computer and System Sciences

Formal verification of stability and chaos in periodic optical systems

PDF
January 2017 PloS one

Formal reasoning about systems biology using theorem proving

PDF
January 2017 Numerical Software Verification (NSV-2016)

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

PDF
January 2017 International Conference on Intelligent Computer Mathematics

Combining Refinement and Signal-Temporal Logic for Biological Systems

PDF
January 2016 Formal Aspects of Computing

On the formal analysis of Gaussian optical systems in HOL

PDF
January 2015 Conferences on Intelligent Computer Mathematics

Towards the formalization of fractional calculus in higher-order logic

PDF
January 2015 Scalable Computing: Practice and Experience

On the formalization of zsyntax with applications in molecular biology

PDF
January 2015 Conferences on Intelligent Computer Mathematics

Formalizing physics: automation, presentation and foundation issues

PDF
January 2015 International Conference on Formal Engineering Methods

Formal analysis of power electronic systems

PDF
January 2015 PhD Thesis

Formal Analysis of Geometrical Optics using Theorem Proving

PDF
January 2014 Fun With Formal Methods

Towards the application of formal methods in process engineering

PDF
January 2014 Proceedings of IEEE International Conference on Information Reuse and Integration (IRI’14), San Francisco, California, USA

Towards Ray Optics Formalization of Optical Imaging Systems

PDF
January 2014 IEEE 23rd International WETICE Conference

Towards Formal Reasoning about Molecular Pathways in HOL

PDF
January 2014 Technical Report, Department of Electrical and Computer Engineering, Concordia University

Stability Verification of Optical and Laser Resonators in HOL Light

PDF
January 2014 Technical report, ECE Department, Concordia University, Montreal, QC, Canada

On the Formalization of Signal-Flow-Graphs in HOL

PDF
January 2014 Journal of Automated Reasoning

On the Formalization of Gamma Function in HOL

PDF
January 2014 Formal Methods Integration

On the Formalization of Cardinal Points of Optical Systems

PDF
January 2014 Brazilian Symposium on Formal Methods

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

PDF
January 2014 Mathematics in Computer Science

Formal analysis of optical systems

PDF
January 2014 Intelligent Computer Mathematics

A Framework for Formal Reasoning about Geometrical Optics

PDF
January 2013 NASA Formal Methods Symposium

Formal stability analysis of optical resonators

PDF
January 2013 Electrical Engineering and Intelligent Systems

Efficient Implementation of Computationally Complex Algorithms: Custom Instruction Approach

PDF
January 2013 Optical System Alignment, Tolerancing, and Verification VII

A new approach for the verification of optical systems

PDF
January 2012 International Workshop on Automated Deduction in Geometry

On the formal analysis of geometrical optics in HOL

PDF
January 2012 International Workshop on Automated Deduction in Geometry (ADG)

Higher-Order Logic Formalization of Geometrical Optics

PDF
January 2012 PloS one

Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria

PDF
January 2012 AIP Conference Proceedings

Analysis techniques for fractional order systems: A survey

PDF
January 2011 Proceedings of world congress on engineering

The efficient implementation of S8 AES algorithm

PDF
January 2011 2011 IEEE International Conference on Bioinformatics and Biomedicine

Formal modeling and analysis of biological regulatory networks using spin

PDF
January 2011 Formal Methods in Computer-Aided Design (FMCAD)

Formal analysis of Fractional Order Systems in Higher-order Logic

PDF