Hesham H. Hallal

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.

Antipattern-based detection of deficiencies in Java multithreaded software

Alexandre Petrenko, Sergiy Boroday, Hesham H. Hallal, 2004 .

Using SDL Tools to Test Properties of Distributed Systems

Alexandre Petrenko, Andreas Ulrich, Sergiy Boroday, 2001 .