Dr. Rabeb Mizouni

Dr. Rabeb Mizouni

Associate Professor, Computer Engineering

Address: P.O.Box: 127788, Abu Dhabi, UAE

Telephone: +971 (0)2-5018512

Fax: +971 (0)2-4472442

Email:  rabeb.mizouni@ku.ac.ae

  • Ph.D., Electrical and Computer Engineering, Concordia University (CAN), 2007
  •  M.Sc., Electrical and Computer Engineering, Concordia University (CAN) 2002
  •  B.Eng., Electrical Engineering, Ecole National d’Ingénieurs de Tunis (TUN), 2000
  • Software fundamentals
  • Software verification and testing
  • Protocol modeling and verification
  • Formal methods
  • Human computer interaction
  • Mobile applications development
  • Software requirements modeling
  • Simulation and software scheduling
  • Human computer interaction

  • 2010 R. Mizouni, D. Sinnig, F. Khendek, “Towards an Integrated Model for Functional and User Interface Requirements”, 3rd Conference on Human-Centred Software Engineering (HCSE 2010), October 14-15, 2010, Reykjavik, Iceland
  • 2010 D. Sinnig, R. Mizouni, F. Khendek, “Bridging the Gap: Empowering Use Cases with Task Models”, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, June 19-23, 2010.
  • 2010 Rabeb Mizouni and Aziz Salah : Towards a Framework for Estimating NFRs on Behavioral Models from System NFRs. Knowledge-Based Systems, Volume 23, issue7, pp 721—731, 2010, Elsevier B.V. Pub.
  • 2010 Rabeb Mizouni, Daniel Sinnig, and Ferhat Khendek. Enriching Use Cases with CTTs. 15th IEEE International Conference on Engineering of Complex Computer Systems, University of Oxford, March 2010.
  • 2007 Rabeb Mizouni, Aziz Salah, Siamak Kolahi, and Rachida Dssouli: Composition of partial system behaviors, IEE Proceedings of Software journal, August 2007.
  • 2007 Siamak Kolahi, Aziz Salah, Rabeb Mizouni, and Rachida Dssouli. Tool Support for Composition and Verification of Formal Behavior. 4th IEEE International Conference on Innovations in Information Technology, Dubai, UAE, November 2007(Best Paper Award).
  • 2007 Rabeb Mizouni, Aziz Salah, and Rachida Dssouli. Using Formal Composition of Use Cases in Requirements Engineering. Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE’2007), Boston, Massachusetts, USA, July 9-11, 2007.
  • 2006 Rabeb Mizouni, Aziz Salah, Rachida Dssouli, and Siamak Kolahi. Composition of Use cases using Model Checking and Synchronization 26th IFIPWG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, Springer-Verlag, Paris, France 2006.
  • 2006 Rabeb Mizouni, Sofien Tahar and Paul Curzon: Hybrid Verification Incorporating HOL Theorem Proving and MDG Model Checking; Microelectronics Journal, Volume 37, Issue 11, November 2006, pp. 1200-1207, Elsevier B.V. Pub.

New to site? Create an Account


Lost password? (close)

Already have an account? Login