Umair Siddique





    Postdoctoral Fellow - Department of Computing and Software

Journal Articles | Conferences | Technical Reports | Dissertations | Talks

HTML Basic Tutor     HTML Basic Tutor      HTML Basic Tutor

Journal Articles

  1. Formal Verification of Stability and Chaos in Periodic Optical Systems HTML Basic Tutor
    U. Siddique and S. Tahar
    Journal of Computer and System Sciences, Elsevier, 2017 (Accepted)
  2. On the Formal Analysis of Gaussian Optical Systems in HOL HTML Basic Tutor
    U. Siddique and S. Tahar
    Formal Aspects of Computing, Vol. 28, No. 5, Springer, 2016, pp. 881-907.
  3. On the Formalization of Gamma Function in HOL HTML Basic Tutor
    U. Siddique and O. Hasan
    Journal of Automated Reasoning (JAR), Vol. 53, No. 4, Springer, 2014, pp. 407-429
  4. Formal Analysis of Optical Systems HTML Basic Tutor
    K. Afshar, U. Siddique, M. Y. Mahmoud, V. Aravantinos, O. Seddiki, O. Hasan, and S. Tahar
    Mathematics in Computer Science (MCS), Vol. 8, No. 1, Springer, May 2014, pp. 39-70
  5. On the Formalization of Zsyntax with Applications in Molecular Biology HTML Basic Tutor
    S. Ahmad, O. Hasan and U. Siddique
    Scalable Computing: Practice and Experience (SCPE), Vol. 16, No. 1, 2015, pp. 37-51
  6. Formal Modeling and Analysis of MAL-associated Biological Regulatory Network: Insight into Cerebral Malaria HTML Basic Tutor
    J. Ahmad, S. Mansoor, U. Siddique, U. Niazi and J. Bibby
    PLoS ONE, Vol. 7 No. 3, e33532, 2012, pp 1-17

Conference Papers

  1. Combining Refinement and Signal-Temporal Logic for Biological Systems HTML Basic Tutor
    U. Sanwal, U. Siddique
    Conference on Intelligent Computer Mathematics (CICM-2017), Lecture Notes in Computer Science, Springer, 2017 (Accepted)
  2. Rewriting-Based Runtime Verification of Alternation-Free HyperLTL Formulas HTML Basic Tutor
    Noel Brett, U. Siddique and Borzoo Bonakdarpour
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2017), Springer (Accepted)
  3. Formal Specification and Dependability Analysis of Optical Communication Networks HTML Basic Tutor
    U. Siddique, K. A. Hoque and T. T. Jhonson
    Design, Automation & Test in Europe (DATE-2017), IEEE, pp. 1-6
  4. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory HTML Basic Tutor
    S. M. Beillahi, U. Siddique nd S. Tahar
    Numerical Software Verification (NSV-2016), Lecture Notes in Computer Science, Springer, (Accepted).
  5. On the Formal Analysis of Photonic Signal Processing Systems HTML Basic Tutor
    U. Siddique, S. M. Beillahi and S. Tahar
    Formal Methods in Industrial Critictal Systems (FMICS-2015), Lecture Notes in Computer Science, Springer, Vol. 9128, 2015, pp. 162-177.
  6. Formal Analysis of Power Electronic Systems HTML Basic Tutor
    S. M. Beillahi, U. Siddique nd S. Tahar
    Int. Conference on Formal Engineering Methods (ICFEM-2015), Lecture Notes in Computer Science, Springer, Vol. 9407, 2015, pp. 1-17.
  7. Towards the Formalization of Fractional Calculus in Higher-Order Logic HTML Basic Tutor
    U. Siddique, O. Hasan and S. Tahar
    Conference on Intelligent Computer Mathematics (CICM-2015), Lecture Notes in Computer Science, Vol. 9150, Springer, 2015, pp 316-324
  8. Formalizing Physics: Automation, Presentation and Foundation Issues HTML Basic Tutor
    C. Kaliszyk, J. Urban, U. Siddique, S. Khan-Afshar, C. Dunchev and S. Tahar
    Conference on Intelligent Computer Mathematics (CICM-2015), Lecture Notes in Computer Science, Vol. 9150, Springer, 2015, pp 288-295
  9. Formal Modeling and Verification of Integrated Photonic Systems HTML Basic Tutor
    U U. Siddique, O. Hasan and S. Tahar
    IEEE Systems Conference (SysCon-2015), 2015, pp. 562-569
  10. On the Formalization of Cardinal Points of Optical Systems HTML Basic Tutor
    U. Siddique and S. Tahar
    Formalisms for Reuse and Systems Integration, Advances in Intelligent Systems and Computing, Vol. 346, Springer 2015, pp. 79-102
  11. On the Formalization of Z-Transform in HOL HTML Basic Tutor
    U. Siddique, M. Y. Mahmoud and S. Tahar
    Interactive Theorem Proving (ITP-2014), Lecture Notes in Computer Science Vol. 8558, 2014, Springer, pp. 483-498
  12. Towards the Formal Analysis of Microresonators Based Photonic Systems HTML Basic Tutor
    U. Siddique and S. Tahar
    IEEE/ACM Design Automation and Test in Europe (DATE-2014), pp. 1-6
  13. Towards Ray Optics Formalization of Optical Imaging Systems HTML Basic Tutor
    U. Siddique and S. Tahar
    IEEE Conference on Information Reuse and Integration (IRI-2014), pp. 378-385
  14. A Framework for Formal Reasoning about Geometrical Optics HTML Basic Tutor
    U. Siddique and S. Tahar
    Conference on Intelligent Computer Mathematics (CICM-2014), Lecture Notes in Computer Science 8543, Springer, pp. 453-456
  15. Towards Formal Reasoning about Molecular Pathways in HOL HTML Basic Tutor
    S. Ahmad, O. Hasan and U. Siddique
    IEEE Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), 2014, pp. 378-383
  16. Formalization of Zsyntax to Reason about Molecular Pathways in HOL4 HTML Basic Tutor
    S. Ahmad, O. Hasan, U. Siddique and S. Tahar
    Foundations and Applications (SBMF-2013), Lecture Notes in Computer Science, 2014, Springer, pp 32-47
  17. A New Approach for the Verification of Optical Systems HTML Basic Tutor
    U. Siddique, V. Aravantinos, and S. Tahar
    Conference on Optical System Alignment, Tolerancing, and Verification VII (SPIE-2013), Proc. SPIE 8844, 2013, pp. 88440G1-88440G-14
  18. Towards the Application of Formal Methods in Process Engineering HTML Basic Tutor
    S. M. Beillahi, U. Siddique and S. Tahar
    Fun With Formal Methods (FWFM-2014), pp 1-11
  19. On the Formal Analysis of Geometrical Optics in HOL HTML Basic Tutor
    U. Siddique, V. Aravantinos, and S. Tahar
    Automated Deduction in Geometry (ADG-2013), Lecture Notes in Computer Science 7993, Springer, 2013, pp. 161-180
  20. Formal Stability Analysis of Optical Resonators HTML Basic Tutor
    U. Siddique, V. Aravantinos, and S. Tahar
    NASA Formal Methods Symposium (NFM-2013), Lecture Notes in Computer Science 7871, Springer Verlag, 2013, pp. 368-382
  21. Efficient Implementation of Computationally Complex Algorithms: Custom Instruction Approach HTML Basic Tutor
    W. Ahmad, H. Mahmood and U. Siddique
    Electrical Engineering and Intelligent Systems, Lecture Notes in Electrical Engineering 130, Soringer, 2013, pp. 39-52
  22. Analysis Techniques for Fractional Order Systems: A Survey HTML Basic Tutor
    U. Siddique and O. Hasan
    Conference on Numerical Analysis and Applied Mathematic (ICNAAM-2012), American Institute of Physics, 2012, pp. 2106-2109
  23. Formal Analysis of Fractional Order Systems in HOL HTML Basic Tutor
    U. Siddique and O. Hasan
    Formal Methods in Computer Aided Design (FMCAD-2011), IEEE/ACM, 2011, pp. 163-170
  24. Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN HTML Basic Tutor
    U. Rauf, U. Siddique, J. Ahmad, U. Niazi
    International Conference on Bioinformatics and Biomedicine (BIBM-2011), IEEE, 2011, pp 304-308
  25. Higher-Order Logic Formalization of Geometrical Optics HTML Basic Tutor
    U. Siddique, V. Aravantinos and S. Tahar
    Automated Deduction in Geometry (ADG-2012), pp. 184-196
  26. Efficient Implementation of Modified S8 AES Algorithm HTML Basic Tutor
    W. Ahmad, H. Mahmood and U. Siddique
    International Conference of Computer Science and Engineering (ICCSE-2011), pp. 1215-1219

Technical Reports

  1. Stability Verification of Optical and Laser Resonators in HOL Light HTML Basic Tutor
    U. Siddique and S. Tahar
    Technical Report, Department of Electrical and Computer Engineering, Concordia University, November 2014. [12 Pages]
  2. On the Formalization of Signal-Flow-Graph in HOL HTML Basic Tutor
    S. M. Beillahi, U. Siddique and S. Tahar
    Technical Report, Department of Electrical and Computer Engineering, Concordia University, November 2014. [24 Pages]

Dissertations

  1. Formal Analysis of Geometrical Optics using Theorem Proving HTML Basic Tutor
    U. Siddique
    PhD Theses Department of Electrical and Computer Engineering, Concordia University, Montreal, Quebec, Canada, December 2015.
  2. Formal analysis of Fractional Order Systems in Higher-order Logic HTML Basic Tutor
    U. Siddique
    Masters' Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. August, 2011

Contributed Talks

  1. Formalizing Physics: Automation, Presentation and Foundation Issues , Intelligent Computer Mathematics (CICM-2015), Washington, DC.
  2. Towards the Formalization of Fractional Calculus in Higher-Order Logic , Intelligent Computer Mathematics (CICM-2015), Washington, DC.
  3. Formal Modeling and Analysis of Integrated Photonic Systems , IEEE Systems Conference, Vancouver, BC, Canada.
  4. On the Formalization of Z-Transform in HOL , Interactive Theorem Proving (ITP-2014), Vienna, Austria.
  5. A Framework for Formal Reasoning about Geometrical Optics , IIntelligent Computer Mathematics (CICM-2014), Coimbra, Portugal.
  6. Towards the Application of Formal Methods in Process Engineering , Fun With Formal Methods (FWFM-2014, Vienna, Austria.
  7. Formal Analysis of Geometrical Optics (Doctoral Program) , Intelligent Computer Mathematics (CICM-2014), Coimbra, Portugal.
  8. Using HOL4 to Formalize Physical Systems , HOL4 Workshop, Vienna, Austria.
  9. A New Approach for the Verification of Optical Systems , Optical System Alignment, Tolerancing, and Verification VII (SPIE'13), San Diego, California, USA.
  10. Higher-Order Logic Formalization of Geometrical Optics , Automated Deduction in Geometry (ADG'12), University of Edinburgh, UK.