Hesham Hallal (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6		Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)
5		Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal: Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
4		Hesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko: Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267
3		Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
2		Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108
1		Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196

Selection of 6 from 8 records - Hesham Hallal has 7 coauthors