University of Luxembourg (uni.lu)

Interdisciplinary Centre for Security, Reliability and Trust (SnT)

Keep it clean, simple, and minimal!

Ghanem Soltana is a research associate at the Software Verification and Validation Laboratory (SVV). Ghanem’s research interests lie in modeling software systems, software quality assurance, testing, and automated test data generation through constraint solving.

Ghanem received his Ph.D. (conducted under the supervision of Prof. Lionel Briand and Dr. Mehrdad Sabetzadeh) in 2017. His doctoral work focused primarily on regulatory compliance, automated data generation, model-based simulation, and modeling and verification of legal requirements [in a project conducted in collaboration with CTIE (“Centre des technologies de l'information de l'Etat”). His thesis dissertation was entitled “A Model-Based Framework for Legal Policy Simulation and Compliance Checking”.

Ghanem received an M.Sc. in 2012 from the Higher Institute of Management of Tunis (ISG), Tunis. His master thesis was entitled “Auto-calibration for testing multi-agent based simulations”. This previous experience was centered on evolutionary computation, simulation, and multi-agent systems.

  • Name
    Ghanem Soltana
  • Phone
    (+352) 46 66 44 5569
  • Web
  • Birth
    11 December 1986
  • Fax
    (+352) 46 66 44 35569
  • Citizenship
      Tunisian
  • Hobbies
    Music, Chess, and Handball
  • Email
    ghanem.soltana@gmail.com
  • Address
    29, Avenue John Fitzgerald Kennedy, Office: 325, L-1855, Luxembourg
 
Resume
" Last update: February 2018 "
 
 
Publications
" Last update: February 2018 "
  • 2018:
    • - G. Soltana, N. Sannier, M. Sabetzadeh, and L. C. Briand, "Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation”, in Software & Systems Modeling (SoSyM), 2018, 851--883, 17(3). [PDF] [BibTeX]

  • 2017:
    • - G. Soltana, "A Model-Based Framework for Legal Policy Simulation and Compliance Checking”, doctoral thesis, October 2017. [PDF] [BibTeX]
    • - G. Soltana, M. Sabetzadeh, and L. C. Briand, "Synthetic Data Generation for Statistical Testing”, in n proceedings of 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Illinois, USA, October 30 - November 3, 2017, pp. 872-882. [PDF] [BibTeX]

      • 2016:
        • - G. Soltana, M. Sabetzadeh, and L. C. Briand, "Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation”, in proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), Beijing, China, September 12 - September 16, 2016, pp. 303-312. [PDF] [BibTeX]

            • 2015:
              • - G. Soltana, N. Sannier, M. Sabetzadeh, and L. C. Briand, "A Model-Based Framework for Probabilistic Simulation of Legal Policies”, in proceedings of 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 27 - October 2, 2015, pp. 70-79. [PDF] [BibTeX]
              • - G. Soltana, "A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking”, in proceedings of Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015), Ottawa, Canada, September 29, 2015. [PDF] [BibTeX]

            • 2014:
              • - G. Soltana, E. Fourneret, M. Adedjouma, M. Sabetzadeh, and L. C. Briand, “Using UML for modeling procedural legal rules: Approach and a study of luxembourg’s tax law”, in proceedings of the 17th ACM/IEEE International Conference Model-Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28 - October 3, 2014, pp. 450–466. [PDF] [BibTeX]
 
Projects
" Last update: February 2018 "
  • 2017:
    • - SDG: a model-based Synthetic Data Generator for supporting usage-based statistical testing [link] .

  • 2016:
    • - PoliSim: a tool for model-based probabilistic simulation of procedural legal policies [link] .

    • 2009:
      • - Project: Reverse-Engineering and Optimization of Tunisian Governments's Vehicle Fleet Management System [demo].