Hesham Hallal

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday
From Scenarios to Test Implementations Via Promela. ICTSS (2010)
Arnaud Dury, Hesham Hallal, Alexandre Petrenko
Inferring Behavioural Models from Traces of Business Applications. ICWS (2009)
Hesham Hallal, Arnaud Dury, Alexandre Petrenko
Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I (2009)
Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18 (1) (2006)
Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal
Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC (2004)
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
An Automata-Based Approach to Property Testing in Event Traces. TestCom (2003)
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
Formal Modeling of Communication Traces. ISTA (2003)
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS (2003)
Hesham Hallal, Radu Negulescu, Alexandre Petrenko
Design of divergence-free protocol converters using supervisory control techniques. ICECS (2000)