S

Faculty

< Back to Faculty Hub

 

 

Profile

College / Department

College of Engineering
Department of Computer Science and Engineering

Teaching areas

Digital and Computer Systems, Software Engineering, Virtual and Augmented Reality Systems

Research areas

Behavioral Modeling of Systems, Dynamic Analysis of Distributed Applications, Augmented and Virtual Reality

Education

PhD, Formal Methods and Distributed System Analysis, McGill University, Canada
Other, Automated Verification of Discrete Event Systems, McGill University, Canada
BE, Computer and Communications Engineering, American University of Beirut, Lebanon

Professional experience

Lecturer, Academic Advisor at American University of Sharjah, United Arab Emirates(2018 - Present)
Assistant Professor at Fahad Bin Sultan University, Saudi Arabia(2010 - 2018)
Assistant Professor at Lebanese International University, Lebanon(2009 - 2010)
Research Engineer at Computer Research Institute of Montreal (CRIM), Canada(2000 - 2009)
Part Time Lecturer at American University of Beirut, Lebanon(2009 - 2009)
Computer Engineer at COMPUTEL, Lebanon(1995 - 1997)

Memberships

ACM, 2018 - present
IEEE, 2013 - present

Contact

[email protected]
+971 6 515 2908

Website

https://www.aus.edu/faculty/dr-hicham-h-hallal

Dr. Hicham Hallal

Lecturer/Advisor
PhD in Electrical and Computer Engineering, McGill University, Montreal, Canada

Hicham H. Hallal worked with the Computer Research Institute of Montreal in the field of distributed system analysis from 2000 to 2009. He worked on numerous projects on distributed system analysis with leading industrial partners including Siemens AG, SAP, France Telecom, IBM and Bombardier. In 2009, he moved to academia and took over teaching and administrative positions in Lebanon and Saudi Arabia, where he served as Chairperson of the Electrical Engineering Department and Acting Dean of the College of Engineering at Fahad Bin Sultan University. Dr. Hallal joined AUS in 2018. His research interests include modeling and verification of distributed systems and embedded systems applications. '

Publications

Hicham Hallal, Fadi Aloul, Sameer Alawnah, Praveena Kolli, Ahmad Al Nabulsi, Improving Student Experience Using Automated Toolset of Academic Services, Published, 6th ACM International Conference on Computer and Technology Applications (ICCTA), 2020
Hicham Hallal, May Haidar, Using Goals to Infer Formal Behavioral Models from Web Services Applications, Published, International Journal of Education and Information Technology, 2017
May Haydar, Hesham Hallal, Towards a Formal Framework for Hybrid Analysis of Composite Web Services, Published, pp. 1, 2014
Hicham Hallal, Chadi Riman, Eric MOnacelli, Wassim Bakloouti, Fuzzy Adjustment Control in Command Evaluation Platform, Published, Games for Health Journal, 2014
Hesham Hallal, May Haidar, Taha Barake, Sami AlKhaldi, Mohammad AlOrayfij, Amal AlBalawi, Raneem Aljehani, GSM-based Embedded Water Meter System, Published, pp. 1, 2011
Andreas Ulrich, El-Hachemi Alikacem, Hesham Hallal, Sergiy Boroday, From scenarios to test implementations via Promela, Published, pp. 236--249, 2010
El Alikacem, Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, William Tunney, Antipattern detection processing for a multithreaded application, Published, 2010
Arnaud Dury, Hesham Hallal, Alexandre Petrenko, Inferring behavioural models from traces of business applications, Published, pp. 791--798, 2009
Hesham Hallal, Arnaud Dury, Alexandre Petrenko, Web-FIM: Automated Framework for the Inference of Business Software Models, Published, pp. 130--138, 2009
Sergiy Boroday, Hesham Hallal, Model Driven Test Adaptation as Repair, Published, 2007
Hesham Hallal, A Model Checking Based Framework for the Trace Analysis of Distributed Systems, Published, 2007
HH Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich, A formal approach to property testing in causally consistent distributed traces, Published, Formal Aspects of Computing, 18, 1, pp. 63--83, 2006
S Boroday, A Petrenko, J Singh, Hicham Hallal, Dynamic Analysis of Java Using MultiThreaded Antipatterns, Published, 2005
Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, TOWARDS A UML PROFILE FOR TRACE ANALYSIS OF DISTRIBUTED SYSTEMS, Published, 2005
Sergiy Boroday, Alexandre Petrenko, J Singh, Hesham Hallal, Dynamic analysis of java applications for multithreaded antipatterns, Published, ACM SIGSOFT Software Engineering Notes, 30, 4, pp. 1--7, 2005
Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, A Model Checking Approach to Network Fault Management, Published, 2004
HH Hallal, E Alikacem, WP Tunney, Sergiy Boroday, Alexandre Petrenko, Antipattern-based detection of deficiencies in Java multithreaded software, Published, pp. 258--267, 2004
Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, PATTERNS AT WORK: PREDEFINED PROPERTY SPECIFICATIONS FOR THE ANALYSIS OF DISTRIBUTED SYSTEMS, Published, 2004
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko, An automata-based approach to property testing in event traces, Published, pp. 180--196, 2003
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich, Formal Modeling of Communication Traces., Published, pp. 97--108, 2003
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Verifying trustworthiness requirements in distributed systems with formal log-file analysis, Published, pp. 10--pp, 2003
Hesham Hallal, Alex Petrenko, Andreas Ulrich, Sergiy Boroday, Using SDL Tools to Test Properties of Distributed Systems, Published, pp. 125, 2001
Hesham Hallal, Radu Negulescu, Alexandre Petrenko, Design of divergence-free protocol converters using supervisory control techniques, Published, 2, pp. 705--708, 2000
Hesham Hallal, Divergence-free supervisory control and applications, Published, 2000
Hesham Hallal, Alexandre Petrenko, Radu Negulescu, Supervisory Control with Divergence Freedom in Two Safety Models, Published, 2000
Hesham Hallal, K Xiao-Hua, Radu Negulescu, Experiments in modeling integrated circuit blocks by UML, Published, 99, 1999

Conference Presentations

Hicham Hallal, Improving Student Experience Using Automated Toolset of Academic Services, 2020 6th International Conference on Computer and Technology Applications (ICCTA 2020), Antalya, Turkey, April, 2020
Hicham Hallal, Program and Course Specification and Reports, Please choose a State, Saudi Arabia, January, 2018
Hicham H, Formal Analysis of Distributed Systems: Foundations and Applicability to Wireless Sensor Networks, Please choose a State, Canada, August, 2016
Hicham Hallal, Formal Analysis of Wireless Sensor Network Applications, Workshop on Wireless Sensors and Cellular Systems, Please choose a State, Saudi Arabia, December, 2013
Hicham Hallal, Automated Framework for the Inference of Business Software Models, Please choose a State, Lebanon, May, 2010

Awards and Honors

Received, 4th Place in IEEE Services CUP competition, IEEE, 2009

© 2021 American University of Sharjah. All rights reserved.