Publications

• Proving Properties with Bounded Model Checking, M. Awedh and F. Somenzi. Sixteenth Conference on Computer Aided Verification (CAV’04) , Boston, MA, July 2004.
• Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States, M. Awedh and F. Somenzi. Formal Methods in Computer Aided Design (FMCAD’04), Austin, TX, November 2004.
• CirCUs: A Satisfiability Solver Geared Towards Bounded Model Checkin, H. Jin and M.Awedh and F. Somenzi. Sixteenth Conference on Computer Aided Verification (CAV’04), Boston, MA, July 2004.
• Termination Criteria for Bounded Model Checking: Extensions and Comparison, M. Awedh and F. Somenzi. Third International Workshop on Bounded Model Checking (BMC’05), July 11, 2005, The University of Edinburgh, Scotland, UK.
• Automatic Invariant Strengthening to Prove Properties in Bounded Model Checking, M. Awedh and F. Somenzi. Proceedings of the 43rd annual conference on Design automation (DAC ’06), July 24, 2006, San Francisco, CA, USA.
• Combined Feature Extraction on Medical X-ray Images, M. Zare, A. Mueen, W. Seng, and M. Awedh. 3rd International Conference on Computational Intelligence, Communication Systems and Networks, July 26, 2011, Indonesia.
  
• Merging Scheme-based Classification of Medical X-ray Images, M. Zare, M. Awedh, A. Mueen, and W. Seng. Third International Conference on Computational Intelligence, Modelling & Simulation (CIMSim 2011), September 20, 2011, Langkawi, Malaysia.
  
• Materials for future quantum dot-based memories, T Nowozin, D Bimberg, K Daqrouq, M Ajour, M Awedh.