Publications

PATENTS

  • “Mechanical Interface for Virtual Laparoscopic Surgical Simulator”
  • “Slip Ring Device with hollow Inner Core”.

CONFERENCE PUBLICATIONS

  1. “High Precision Servo Drive for Al-Zahrawi Robotic Trainer”,International Surgical Conference 2013, Islamabad Pakistan.
  2. “Preoperative Surgery Planning System Using Surgical Robots”,International Surgical Conference 2013, Islamabad Pakistan.
  3. “Benchmarking Expert Trainer Surgeon’s Path for Evaluating a Trainee Surgeon’s Performance”,International Surgical Conference 2012, Islamabad Pakistan.
  4. “Thread Modeling and Knot Tying for Suturing Simulations”,International Surgical Conference 2012, Islamabad Pakistan.
  5. “Al Zahrawi – A Training Robot and Simulator for Minimal Invasive Surgery”,  INMIC 2011, 14th IEEE International Multi Topic Conference 22nd – 24th December 2011, Karachi Pakistan.
  6. “Parameter evaluation for Virtual Laparoscopic Simulation”,  Proceedings of the International Conference on Emerging Technologies, pp. 10, Sep, 2011, NUST Pakistan.
  7. “Training System for Laparoscopic and Robotic Sugery”,  Proceedings of the Africa TeleHealth Conference 2010, pp. -, Oct, 2010, Cairo Egypt.
  8. “Role of Simulators in Surgical Training”, Proceedings of the Africa TeleHealth Conference 2010, No. -, pp. -, Oct, 2010, Cairo Egypt.
  9. “Robotics for Tele-Health and Tele-Surgery in Pakistan”, Proceedings of the First International EHealth Conference 2010, pp. 0, Jan, 2010, Agha Khan University, Karachi Pakistan.
  10. T. Mhamdi, O. Hasan and S. Tahar, On the Formalization of the Lebesgue Integration Theory in HOL, In: M.. Kauffman and L. Paulson (Eds.) Interactive Theorem Proving, Lecture Notes in Computer Science 6172 , Springer Verlag, 2010, pp. 387-402. [ Proc. International Conference on Interactive Theorem Proving (ITP-10) , Edinburgh, UK, July 2010.] 
  11. N. Abbasi, O. Hasan, and S. Tahar, Formal Lifetime Reliability Analysis Using Continuous Random Variables; In: A. Dawar and R. de Queiroz (Eds.), Logic, Language, Information and Computation, Lecture Notes in Computer Science 6188 , Springer Verlag, 2010, pp. 84-97. [Proc. International Workshop on Logic, Language, Information and Computation (WOLLIC-2010) , Brasília, Brazil , July 2010.]
  12. O. Hasan, J. Patel, and S. Tahar, On the Accurate Reliability Analysis of Combinational Circuits Using Theorem Proving, IEEE International Northeastern Workshop on Circuits and Systems ( NEWCAS-10 ), Montreal, Canada, June 2010. (To appear).
  13. F. Hijaz, N. Afzal, T. Ahmad and O. Hasan, Survey of Fall Detection and Daily Activity Monitoring Techniques, IEEE International Conference on Information and Emerging Technologies ( ICIET-10 ), Karachi, Pakistan, June 2010. (To appear).
  14. F. Lodhi, N. Ramzan and O. Hasan, Towards Precise, Scalable and Automatic Analysis of Analog and Mixed Signal Circuits , IEEE International Conference on Information and Emerging Technologies ( ICIET-10 ), Karachi, Pakistan, June 2010. (To appear).
  15. J.B. Hassan, O. Hasan, T. Sadani and S. Tahar: Performance Analysis of Real-Time Rewriting Models, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), Hammamet, Tunisia, May 2010 (To appear).
  16. O. Hasan and S. Tahar: Formal Probabilistic Analysis: A Higher-OrderLogic Based Approach ; In: M. Frappier et al. (Ed.), ASM, Alloy, B and Z, Lecture Notes in Computer Science 5977 , Springer Verlag, 2010, pp. 2-19. [ Proc. International Conference on ASM, Alloy, B and Z (ABZ-2010) , Orford, Québec, Canada, February 2010.]
  17. M. Gavrilescu, M.M. Malik, E. Groeller, “Custom Interface Elements for Improved Parameter Control in Volume Rendering”, Proceedings of the 4th International Conference on System Theory and Control , pp. 219-224, Oct 2010, Sinaia, Romania Romania.
  18. Michael Reiter, Muhammad Muddassir Malik, Christoph Heinzl, Dietmar Salaberger, M. Eduard GrÖller, Hubert Lettenbauer, Johann Kastner, “Improvement of X-Ray image acquisition using a GPU based 3DCT simulation tool”, Proceedings of the International Conference on Quality Control by Artificial Vision , pp. 115, May 2009, Wells, Austria Austria.
  19. Michael Glanznig, Muhammad Muddassir Malik, M.Eduard GrÖller, “Locally Adaptive Marching Cubes through Iso-value Variation”, Proceedings of the International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision , pp. 33, Feb 2009, Czech Republic Czech Republic.
  20. Daesung Kim, Yongho Shin, Abdul Afram , Mincheol Shin, Sung Q Lee, Hyejin Kim, Kangho Park, Semyung Wang, Generation of a Private Sound Zone by Using Acoustic Difference Control and the Design Method of the Acoustic Zone Based on Array Beam Pattern International Conference on Sound and Vibration (ICSV16), Krakow, Poland, July 2009
  21. Daesung Kim, Yongho Shin, Abdul Afram , Sung Q Lee, Semyung Wang, Loudspeaker Array Simulation Considering Transfer Characteristics of an Individual Loudspeaker Array Element,  International Conference on Sound and Vibration (ICSV16), Krakow, Poland, July 2009
  22. O. Hasan, N. Abbasi, B. Akbarpour, S. Tahar, and R. Akbarpour: Formal Reasoning about Expectation Properties for Continuous Random Variables ; In: A. Cavalcanti and D. Dams (Eds.), Formal Methods , Lecture Notes in Computer Science 5850, Springer Verlag, 2009, pp. 435-450. [ Proc. International Symposium on Formal Methods (FM’09) , Eindhoven, The Netherlands, November 2009.]
  23. O. Hasan, S.K. Afshar and S. Tahar: Formal Analysis of Optical Waveguides in HOL ; In: S. Berghofer et al. (Eds.), Theorem Proving in Higher-Order Logics , Lecture Notes in Computer Science 5674, Springer Verlag, 2009, pp. 228-243. [ Proc. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs’09) , Munich, Germany, August 2009.]
  24. O. Hasan, N. Abbasi, B. Akbarpour, and S. Tahar: Formal Probabilistic Analysis using Theorem Proving; Proc. 77th ACFAS Symposium (ACFAS’09) , Ottawa, Canada, May 2009. (Poster presentation)
  25. O. Hasan, N. Abbasi and S. Tahar : Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays ; In: M. Leuschel and H. Wehrheim (Eds.), Integrated Formal Methods , Lecture Notes in Computer Science 5423, Springer Verlag, 2009, pp. 277-291. [ Proc. International Conference on Integrated Formal Methods (IFM’09) , Düsseldorf, Germany, February 2009.]
  26. O. Hasan and S. Tahar: Performance Analysis of Wireless Systems using Theorem Proving ; In: Jens Chr. Godskesen and Massimo Merro (Eds.), First International Workshop on Formal Methods for Wireless Systems (FMWS’2008) , Toronto, ON, Canada, August 2008, pp. 3-18, ISSN 1600-6100, ISBN 978-87-7949-183-0.
  27. O. HasanProbabilistic Analysis using Theorem Proving ; In: O. Ait Mohammed, C. Munoz and S. Tahar (Eds.) International Conference on Theorem Proving in Higher-Order Logics (TPHOLs’08) , Emerging Trend Proceedings, Montreal, QC, Canada, August 2008, pp. 21-33.
  28. O. Hasan and S. Tahar: Performance Analysis of ARQ Protocols using a Theorem Prover ; In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS’08) , IEEE Computer Society, Austin, Texas, USA, April 2008, pp. 85-94.
  29. O. Hasan and S. Tahar: Verification of Tail Distribution Bounds in a Theorem Prover ; In: T.E.Simos, G. Psihoyios and Ch. Tsitouras (Eds.), Numerical Analysis and Applied Mathematics , AIP Conference Proceedings Volume 936, 2007, pp. 259-262. [Proc. International Conference of Numerical Analysis and Applied Mathematics (ICNAAM`07) , Corfu, Greece, September 2007.]
  30. O. Hasan and S. Tahar: Verification of Expectation Properties for Discrete Random Variables in HOL ; In: K.Schneider and J.Brandt (Eds.), Theorem Proving in Higher-Order Logics , Lecture Notes in Computer Science 4732, Springer Verlag, 2007, pp. 119-134. [ Proc. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs’07) , Kaiserslautern, Germany, September 2007.]
  31. O.Hasan and S. Kort. Automated Formal Synthesis of Wallace Tree Multipliers . In 50th IEEE Int’l Midwest Symposium on Circuits & Systems , pages 293 – 296. Montreal, Canada, August 2007.
  32. O. Hasan and S. Tahar: Formalization of Continuous Probability Distributions ; In: F. Pfenning (Ed.), Automated Deduction , Lecture Notes in Computer Science 4603, Springer Verlag, 2007, pp. 2-18. [ Proc. 21st Conference on Automated Deduction (CADE-21) , Bremen, Germany, July 2007.]
  33. O. Hasan and S. Tahar: Verification of Probabilistic Properties in the HOL Theorem Prover ; In: J. Davies and J. Gibbons (Eds.), Integrated Formal Methods , Lecture Notes in Computer Science 4591, Springer Verlag, 2007, pp. 333-352. [ Proc. International Conference on Integrated Formal Methods (IFM’07) , Oxford, UK, July 2007.]
  34. Muhammad Muddassir Malik, Torsten MÃœller, M. Eduard GrÖller, “Feature Peeling”, Proceedings of the Graphics Interface , pp. 273, May 2007, Montreal, Canada Canada.
  35. Emotional Head Robot with Behavior Decision Model and Face Recognition
  36. H.S Ahn, P.J Kim, J.H Choi, B.M Shamyl, W.S. Kang, S.M. Yoon, J.H. Na, Y.M. Baek, H.J. Chang, S.S Dong, J.Y. Choi, H.S Ko

Journals

  1. Muhammad Muddassir Malik, C. Heinzl, M.Eduard GrÖller, “Comparative Visualization for Parameter Studies of Dataset Series”, IEEE Transanctions on Visualization and Computer Graphics , pp. 1, Feb 2010.
  2. Muhammad Muddassir Malik, C. Heinzl, M.Eduard GrÖller, “Computation and Visualization of Fabrication Artifacts”, Journal of WSCG , Vol. 17, No. 1, pp. 17, Feb 2009.
  3. O. Hasan, S. Tahar, N. Abassi: “ Formal Reliability Analysis using Theorem Proving ”, IEEE Transactions on Computers, Vol. 59, No. 5, IEEE, May 2010, pp. 579-592.
  4. O.Hasan and S. Tahar. Probabilistic Analysis of Wireless Systems using Theorem Proving . Electronic Notes in Theoretical Computer Science , Vol. 242, No. 2, Elsevier, July 2009, pp. 43-58.
  5. O.Hasan and S. Tahar. Formal Verification of Tail Distribution Bounds in the HOL Theorem Prover. Mathematical Methods in The Applied Sciences , Vol. 32, no. 4, Wiley Interscience, March 2009, pp. 480-504.
  6. O.Hasan and S. Tahar. Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL . Journal of Automated Reasoning , Vol. 42, No. 1, Springer Verlag, January 2009, pp. 1-33.
  7. O.Hasan and S. Tahar. Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables . Journal of Automated Reasoning , Vol. 41, No. 3-4, Springer Verlag, November 2008, pp. 295-323.
  8. O.Hasan and S. Tahar. Formalization of the Standard Uniform Random Variable . Theoretical Computer Science , Vol. 382, No. 1, Elsevier, 2007, pp. 71-83.

Thesis

  1. Multi-Object Classification using local features and SVDD(Shamyl Bin Mansoor) This is my MS thesis. Have a look at my research page to know more about my thesis and MS research.
  2. Wireless Bomb Disposal Robot (Shamyl Bin Mansoor) This is my BS final project report. For a complete view check out the research page.
  3. O. HasanFormal Probabilistic Analysis using Theorem Proving . Concordia University, Montreal, Canada. April 2008.

Books

1. O.Hasan and S. Tahar. Probabilistic Analysis using Theorem Proving – A Higher-Order-Logic Based Approach . VDM Verlag Dr. Mueller e.K., November, 2008. ISBN: 9783639094725 [164 pages]