Jameleddine Hassine, Ph.D
Associate Professor, ICS Department, KFUPM

Research Interests
  • Requirements Engineering
  • Dependability modelling and analysis (e.g., Security, high availability, etc.)
  • Artificial intelligence for building quality software and their applications (e.g., NLP techniques).
  • Software testing and verification (e.g., Mutation testing, conformance testing, model checking, etc.)
  • Scenario- and Goal -oriented requirements engineering
  • User Requirements Notation (URN)
  • Formal methods (Abstract State Machines, LOTOS, etc.)