Hesham Hallal

According to our database, Hesham Hallal authored at least 10 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

From Scenarios to Test Implementations Via Promela.

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday

Proceedings of the Testing Software and Systems, 2010

2009

Web-FIM: Automated Framework for the Inference of Business Software Models.

Hesham Hallal, Arnaud Dury, Alexandre Petrenko

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

Inferring Behavioural Models from Traces of Business Applications.

Arnaud Dury, Hesham Hallal, Alexandre Petrenko

Proceedings of the IEEE International Conference on Web Services, 2009

2006

A formal approach to property testing in causally consistent distributed traces.

Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Formal Aspects Comput., 2006

2005

Dynamic analysis of java applications for multithreaded antipatterns.

Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.

Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

An Automata-Based Approach to Property Testing in Event Traces.

Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Formal Modeling of Communication Traces.

Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich

Proceedings of the Information Systems Technology and its Applications, 2003

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2000

Design of divergence-free protocol converters using supervisory control techniques.

Hesham Hallal, Radu Negulescu, Alexandre Petrenko

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000