H. Hallal

A formal approach to property testing in causally consistent distributed traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2006, Formal Aspects of Computing.

An Automata-Based Approach to Property Testing in Event Traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, TestCom.

Verifying trustworthiness requirements in distributed systems with formal log-file analysis

Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

Formal Modeling of Communication Traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, ISTA.

Using SDL Tools to Test Properties of Distributed Systems

Alexandre Petrenko, Andreas Ulrich, Sergiy Boroday, 2001 .

Dynamic analysis of java applications for multithreaded antipatterns

Alexandre Petrenko, Hesham Hallal, Sergiy Boroday, 2005, ACM SIGSOFT Softw. Eng. Notes.

Antipattern-based detection of deficiencies in Java multithreaded software

Alexandre Petrenko, El Hachemi Alikacem, Hesham Hallal, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..

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

Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 Congress on Services - I.

Inferring Behavioural Models from Traces of Business Applications

Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 IEEE International Conference on Web Services.