Design of divergence-free protocol converters using supervisory control techniques. - Hesham Hallal; Radu Negulescu; Alexandre Petrenko (ICECS, 2000)

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. - Andreas Ulrich; Hesham Hallal; Alexandre Petrenko; Sergiy Boroday (HICSS, 2003)

Formal Modeling of Communication Traces. - Sergiy Boroday; Hesham Hallal; Alexandre Petrenko; Andreas Ulrich (ISTA, 2003)

An Automata-Based Approach to Property Testing in Event Traces. - Hesham Hallal; Sergiy Boroday; Andreas Ulrich; Alexandre Petrenko (TestCom, 2003)

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. - Hesham Hallal; El Hachemi Alikacem; W. P. Tunney; Sergiy Boroday; Alexandre Petrenko (QSIC, 2004)

Dynamic analysis of java applications for multithreaded antipatterns. - Sergiy Boroday; Alexandre Petrenko; J. Singh; Hesham Hallal (ACM SIGSOFT Softw. Eng. Notes, 2005)

A formal approach to property testing in causally consistent distributed traces. - Hesham Hallal; Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (Formal Aspects Comput., 2006)

Inferring Behavioural Models from Traces of Business Applications. - Arnaud Dury; Hesham Hallal; Alexandre Petrenko (ICWS, 2009)

Web-FIM: Automated Framework for the Inference of Business Software Models. - Hesham Hallal; Arnaud Dury; Alexandre Petrenko (SERVICES I, 2009)

From Scenarios to Test Implementations Via Promela. - Andreas Ulrich; El Hachemi Alikacem; Hesham Hallal; Sergiy Boroday (ICTSS, 2010)