Concepedia

Hesham H. Hallal

HH

6

Publications

91

Citations

6

H-Index

2003

Active since

Affiliations

Computer Research Institute of Montréal(Current)

Siemens (Germany)

Concordia University

Hesham H. Hallal is an author at Computer Research Institute of Montréal specializing in software maintenance, system software, and formal methods.

Top concepts

Publications per year

2003–2006

6

Publications

6

Antipattern-based detection of deficiencies in Java multithreaded software

Hesham H. Hallal, E. Alikacem, W.P. Tunney et al. · International Conference on Quality Software · 2004 · 21 citations

, , +20

Dynamic analysis of java applications for multithreaded antipatterns

Sergiy Boroday, Alexandre Petrenko, J. Singh et al. · ACM SIGSOFT Software Engineering Notes · 2005 · 19 citations

, , +23

A formal approach to property testing in causally consistent distributed traces

Hesham H. Hallal, Sergiy Boroday, Alexandre Petrenko et al. · Formal Aspects of Computing · 2006 · 15 citations · Full text

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

Andreas Ulrich, Hesham H. Hallal, Alexandre Petrenko et al. · 2003 · 14 citations

, , +25

Antipattern-based detection of deficiencies in java multithreaded software

Hesham H. Hallal, E. Alikacem, W.P. Tunney et al. · 2004 · 12 citations

, , +20

Rows per page

1–5 of 6