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

Refereed Publications
    (* indicates students I supervised, ** indicates students I taught in graduate courses)

    2022

  1. Mohammed, M.A.*, Hassine, J., Alshayeb, M. GSDetector: a tool for automatic detection of bad smells in GRL goal models. Int J Softw Tools Technol Transfer (2022). Springer. DOI: https://doi.org/10.1007/s10009-022-00662-2 ISI Impact Factor (2021): 1.256 (paper)

  2. Hassine, J. (2022). EVSec: An Approach to Extract and Visualize Security Scenarios from System Logs. In M. Staron, C. Berger, J. Simmonds, & R. Prikladnicki (Eds.), EASE 2022: The interna- tional conference on evaluation and assessment in software engineering 2022, gothenburg, sweden, june 13 - 15, 2022 (pp. 446-452). ACM. https://doi.org/10.1145/3530019.3531338 (paper)

  3. Amyot, D., Akhigbe, O., Baslyman, M., Ghanavati, S., Ghasemi, M., Hassine, J., Lessard, L., Mussbacher, G., Shen, K., & Yu, E. (2022). Combining goal modelling with business process modelling two decades of experience with the user requirements notation standard. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. (EMISAJ), 17. https://doi.org/10.18417/emisa.17.2

  4. Albaghajati, A.**, Hassine, J (2022). A use case driven approach to game modeling. Requirements Eng., 27 (1), 83-116. https://doi.org/10.1007/s00766-021-00362-4 . ISI Impact Factor (2021): 2.275. (paper)

  5. Hassine, J., Tukur, M.* (2022) Measurement and classification of inter-actor dependencies in goal models. Softw Syst Model (2022). https://doi.org/10.1007/s10270-021-00961-3 . ISI Impact Factor (2021): 2.211. (paper)
  6. Mohammed, M.A.*, Alshayeb, M., Hassine, J. (2022). A search-based approach for detecting circular dependency bad smell in goal-oriented models. Softw Syst Model (2022). https://doi.org/10.1007/s10270-021-00965-z . ISI Impact Factor (2021): 2.211. (paper)

    7. 2021

  7. Hassine, J., Kroumi, D., Amyot, D. (2021). A Game-theoretic approach to analyze interacting actors in GRL goal models. Requirements Eng 26, 399–422 (2021). https://doi.org/10.1007/s00766-021-00349-1 . ISI Impact Factor (2021): 2.275.
    8. (paper)
  8. Tukur, M., Umar, S.*, Hassine, J (2021). Requirement Engineering Challenges: A Systematic Mapping Study on the Academic and the Industrial Perspective. Arab J Sci Eng 46, 3723–3748 (2021). https://doi.org/10.1007/s13369-020-05159-1 . ISI Impact Factor (2020): 2.334.


    9. 2020

  9. Kobilica, A.**, Ayub, M.**, Hassine, J. (2020). Automated Identification of Security Requirements: A Machine Learning Approach. In Proceedings of the Evaluation and Assessment in Software Engineering (EASE 2020). Association for Computing Machinery, New York, NY, USA, 475-480. DOI:https://doi.org/10.1145/3383219.3383288

  10. Sheghdara, M.*, Hassine J., (2020). Automatic Retrieval and Analysis of High Availability Scenarios from System Execution Traces: A Case Study on Hot Standby Router Protocol. Journal of Systems and Software, 161:110490, 2020, https://doi.org/10.1016/j.jss.2019.110490, ISI Impact Factor (2020): 2.829 (Q1)

    11. 2019

  11. Sabor, K., Hamou-Lhadj, A., Trabelsi, A., Hassine, J. (2019): Predicting bug report fields using stack traces and categorical attributes. in: T. Pakfetrat, G. Jourdan, K. Kontogiannis, R. F. Enenkel (Eds.), Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019, ACM, 2019, pp. 224-233. https://dl.acm.org/doi/abs/10.5555/3370272.3370296

  12. Hassine, J., Alshayeb, M.(2019). Measuring Goal-Oriented Requirements Language Actor Stability. In e-Informatica Software Engineering Journal, vol. 13, no. 1, pp. 203-226, 2019. DOI: 10.5277/e-Inf190106

  13. Alkaf, H.*, Hassine J., Binalialhag T.*, Amyot D. (2019). An Automated Change Impact Analysis Approach for User Requirements Notation Models. Journal of Systems and Software, 110397, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2019.110397. ISI Impact Factor (2018): 2.559 (Q1)

  14. Ali, N., Cai, H., Hamou-Lhadj, A., Hassine, J. (2019). Exploiting parts-of-speech for effective automated requirements traceability. Information and Software Technology, 106, 126-141. doi:10.1016/j.infsof.2018.09.009. ISI Impact Factor (2018): 2.921 (Q1)

  15. Binalialhag, T.*, Hassine, J., Amyot, D. (2019). Static slicing of Use Case Maps requirements models. Software & Systems Modeling, 18(4), pp.2465-2505. ISI Impact Factor (2018): 2.660 (Q1)

    16. 2018

  16. Hassine, J., Hamou-Lhadj, A., Alawneh, L. (2018). A framework for the recovery and visualization of system availability scenarios from execution traces. Information and Software Technology, 96, 78-93. https://doi.org/10.1016/j.infsof.2017.11.007

    17. 2017

  17. Alkrarha, O.*, Hassine, J.(2017). Applying Selective Mutation Strategies to the AsmetaL Language, IET Software, 2017, DOI: 10.1049/iet-sen.2015.0030 IET Digital Library, http://digital-library.theiet.org/content/journals/10.1049/iet-sen.2015.0030

  18. Hassine, J., Amyot, D. (2017). An empirical approach toward the resolution of conflicts in goal-oriented models. Software and System Modeling 16(1), 279-306 (2017). DOI 10.1007/s10270-015-0460-6. URL https://doi.org/10.1007/s10270-015-0460-6

  19. Al-Azani, S.**, Hassine, J.: Validation of machine learning classifiers using metamorphic testing and feature selection techniques. In: Multi-disciplinary Trends in Artificial Intelligence - 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings, pp. 77-91 (2017). DOI 10.1007/978-3-319-69456-6 7. URL https://doi.org/10.1007/978-3-319-69456-6_7

  20. Alkaf, H.S.*, Hassine, J., Hamou-Lhadj, A., Alawneh, L.: An automated change impact analysis approach to GRL models. In: SDL 2017: Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, pp. 157-172 (2017). DOI 10.1007/978-3-319-68015-6_10. URL https://doi.org/10.1007/978-3-319-68015-6_10

  21. Amyot, D., Hamou-Lhadj, A., Hassine, J.: On the impact of the SDL forum society conferences on academic research. In: SDL 2017: Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, pp. 30-45 (2017). DOI 10.1007/978-3-319-68015-6_3. URL https://doi.org/10.1007/978-3-319-68015-6_3

  22. Alfadel, M.**, Kobilica, A.**, Hassine, J., "Evaluation of Halstead and Cyclomatic Complexity Metrics in Measuring Defect Density," 2017 9th IEEE-GCC Conference and Exhibition (GCCCE), Manama, Bahrain, 2017, pp. 1-9. doi: 10.1109/IEEEGCC.2017.8447959. URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8447959&isnumber=8447892

    23. 2016

  23. Alawneh, L., Hamou-Lhadj, A.,Hassine, J. (2016). Segmenting large traces of inter-process communication with a focus on high performance computing systems, Journal of Systems and Software, Volume 120, October 2016, Pages 1-16, ISSN 0164-1212, http://dx.doi.org/10.1016/j.jss.2016.06.067.

    24. 2015

  24. Hassine, J., Alkrarha, O.* (2015). A Mutation-based Approach for Testing AsmetaL Specifications. Arabian Journal for Science and Engineering, pp. 1-22 (2015), Springer Berlin Heidelberg, DOI 10.1007/s13369-015-1832-5. Online First: 04 September 2015

  25. Hassine, J., Amyot, D.(2015). A questionnaire-based survey methodology for systematically validating goal-oriented models. Requirements Engineering, pp. 1-24 (2015). DOI 10.1007/s00766-015-0221-7. Online First: 07 February 2015

  26. Hassine, J.(2015). Early modeling and validation of timed system requirements using Timed Use Case Maps. Requirements Engineering 20(2), pp. 181-211 (2015). DOI 10.1007/s00766-013-0200-9.

  27. Hassine, J.(2015). Describing and assessing availability requirements in the early stages of system development. Software & Systems Modeling 14(4), pp. 1455-1479 (2015). DOI 10.1007/s10270-013-0382-0.


  28. Hassine, J., Hamou-Lhadj, A.: Describing Early Security Requirements using Use Case Maps. In: SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Berlin, Germany, October 12-14, 2015. pp. 202-217 (2015)

  29. Hassine, J.: A Change Impact Analysis Approach to GRL Models. In: SOFTENG 2015: The First International Conference on Advances and Trends in Software Engineering, April 19-24, 2015 - Barcelona, Spain., pp. 1-6 (2015)

  30. Alkrarha, O.*, Hassine, J.: MuAsmetaL: An Experimental Mutation System for AsmetaL. In: 12th International Conference on Information Technology - New Generations (ITNG), Las Vegas, Nevada, USA, April 13-15, 2015, pp. 421-426 (2015). DOI 10.1109/ITNG. 2015.74

  31. Alawneh, L., Hamou-Lhadj, A., Hassine, J.: Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks. In: Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE 22nd International Conference on, pp. 111-120 (2015). DOI 10.1109/SANER.2015.7081821. Acceptance Rate: 46/144 (32%)


    32. 2014

  32. Hassine, J., Hamou-Lhadj, A.: Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces. In: D. Amyot, P.F. i Casas, G. Mussbacher (eds.) System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8769, pp. 48-63. Springer (2014). DOI 10.1007/978-3-319-11743-0 4. Acceptance Rate: 29% (18/63)

  33. Hassine, J., Alshayeb, M.: Measurement of actor external dependencies in GRL models. In: F. Dalpiaz, J. Horkoff (eds.) Proceedings of the Seventh International i*Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), Thessaloniki, Greece, June 16-17, 2014., CEUR Workshop Proceedings, vol. 1157. CEUR-WS.org (2014).

    34. 2013

  34. Hassine, J.(2013). Design and Classification of Mutation Operators for Abstract State Machines. International Journal on Advances in Software 6(1), pp. 80-91 (2013)


  35. Khan, Y.**, Hassine, J.: Applying mutation testing to ATL specifications: An experimental case study. In: The Eighth International Conference on Software Engineering Advances (ICSEA 2013), Oct 27- Nov 1, Venice, Italy, pp. 25-30 (2013)

  36. Khan, Y.**, Hassine, J.: Mutation operators for the atlas transformation language. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 43-52. IEEE Computer Society (2013). DOI 10.1109/ICSTW.2013.13.

  37. Hassine, J., Hamou-Lhadj, A.: Towards the generation of AMF configurations from use case maps based availability requirements. In: F. Khendek, M. Toeroe, A. Gherbi, R. Reed (eds.) SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7916, pp. 36-53. Springer (2013). DOI 10.1007/978-3-642-38911-5 3.

  38. Hassine, J., Mussbacher, G., Braun, E., Alhaj, M.: Modeling early availability requirements using aspect-oriented use case maps. In: F. Khendek, M. Toeroe, A. Gherbi, R. Reed (eds.) SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7916, pp. 54-71. DOI 10.1007/978-3-642-38911-5 4.

    39. 2012

  39. Hassine, J., Amyot, D.: GRL model validation: A statistical approach. In: O. Haugen, R. Reed, R. Gotzhein (eds.) System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers, Lecture Notes in Computer Science, vol. 7744, pp. 212-228. Springer (2012). DOI 10.1007/978-3-642-36757-1 13.

  40. Hassine, J.: Abstract State Machines Mutation Operators. In: The Seventh International Conference on Software Engineering Advances, ICSEA 2012, November 18-23, Lisbon, Portugal, pp. 436-441. IARIA (2012)

  41. Hassine, J.: Mapping ASM Specifications to Spec Explorer: Guidelines, Benefits and Challenges. In: The Seventh International Conference on Software Engineering Advances, ICSEA 2012, November 18-23, Lisbon, Portugal, pp. 380-387. IARIA (2012)

    42. 2011

  42. Hassine, J., Gherbi, A.: Exploring early availability requirements using use case maps. In: I. Ober, I. Ober (eds.) SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers, Lecture Notes in Computer Science, vol. 7083, pp. 54-68. Springer (2011). DOI 10.1007/978-3-642-25264-8 6.

  43. Hassine, J.: Early availability requirements modeling using use case maps. In: S. Latifi (ed.) Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011, pp. 754-759. IEEE Computer Society (2011). DOI 10.1109/ITNG.2011.133.

    44. 2010

  44. Hassine, J., Rilling, J., Dssouli, R.(2010). An evaluation of timed scenario notations. Journal of Systems and Software 83(2), pp. 326-350 (2010). DOI 10.1016/j.jss.2009.09.014


  45. Hassine, J.: AsmL-based concurrency semantic variations for timed use case maps. In: M. Frappier, U. Glasser, S. Khurshid, R. Laleau, S. Reeves (eds.) Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, Lecture Notes in Computer Science, vol. 5977, pp. 34-46. Springer (2010). DOI 10.1007/978-3-642-11811-1 4.

    46. 2009

  46. Hassine, J., Rilling, J., Dssouli, R.(2009). Use Case Maps as a property specification language. Software and System Modeling 8(2), pp. 205-220 (2009). DOI 10.1007/s10270-007-0076-6


  47. Hassine, J.: Feature interaction testing: An industrial perspective (industrial report). In: M. Nakamura, S. Reiff-Marganiec (eds.) Feature Interactions in Software and Communication Systems X, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2009, 11-12 June, 2009, Lisbon, Portugal., pp. 50-56. IOS Press (2009). DOI 10.3233/978-1-60750-014-8-50.

  48. Hassine, J.: Early schedulability analysis with timed use case maps. In: R. Reed, A. Bilgic, R. Gotzhein (eds.) SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, Lecture Notes in Computer Science, vol. 5719, pp. 98-114. Springer (2009). DOI 10.1007/978-3-642-04554-7 7.

    49. 2007

  49. Shiri, M., Hassine, J., Rilling, J.: Modification analysis support at the requirements level. In: M.D. Penta, M. Lanza (eds.) 9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007, pp. 43-50. ACM (2007). DOI 10.1145/1294948.1294961. Acceptance Rate: 33%

  50. Shiri, M., Hassine, J., Rilling, J.: Feature interaction analysis: a maintenance perspective. In: R.E.K. Stirewalt, A. Egyed, B. Fischer (eds.) 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 437-440. ACM (2007). DOI 10.1145/1321631.1321703. Acceptance Rate: 20%

  51. Shiri, M., Hassine, J., Rilling, J.: A requirement level modification analysis support framework. In: Third International IEEE Workshop on Software Evolvability (SE'07), Paris, France. October 2007. pp. 67-74 (2007). DOI 10.1109/SE.2007.9

  52. Hassine, J., Rilling, J., Dssouli, R.: Formal verification of use case maps with real time extensions. In: E. Gaudin, E. Najm, R. Reed (eds.) SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4745, pp. 225-241. Springer (2007). DOI 10. 1007/978-3-540-74984-4 14.

    53. 2006

  53. Hassine, J., Rilling, J., Dssouli, R.: Timed use case maps. In: R. Gotzhein, R. Reed (eds.) System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, Lecture Notes in Computer Science, vol. 4320, pp. 99-114. Springer (2006). DOI 10.1007/11951148 7.

    54. 2005

  54. Hassine, J., Rilling, J., Dssouli, R.: Abstract operational semantics for use case maps. In: F. Wang (ed.) Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3731, pp. 366-380. Springer (2005). DOI 10.1007/11562436 27. Acceptance Rate: 38%

  55. Hassine, J., Rilling, J., Dssouli, R.: An ASM operational semantics for use case maps. In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August- 2 September 2005, Paris, France, pp. 467-468. IEEE Computer Society (2005). DOI 10.1109/RE.2005.10. Acceptance rate: 20%

  56. Hassine, J., Rilling, J., Hewitt, J.: Change impact analysis for requirement evolution using use case maps. In: 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal, pp. 81-90. IEEE Computer Society (2005). DOI 10.1109/IWPSE.2005.8. Acceptance Rate: 24%

    57. 2004

  57. Hassine, J., Dssouli, R., Rilling, J.: Applying reduction techniques to software functional requirement specifications. In: D. Amyot, A.W. Williams (eds.) System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, Lecture Notes in Computer Science, vol. 3319, pp. 138-153. Springer (2004). DOI 10.1007/978-3-540-31810-1 10.

    58. 2000

  58. Nakamura, M., Kikuno, T., Hassine, J., Logrippo, L.: Feature interaction filtering with use case maps at requirements stage. In: M. Calder, E.H. Magill (eds.) Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK, pp. 163-178. IOS Press (2000)