Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hesham Hallal

> Home > Persons

Person information

affiliation: McGill University, Montreal, Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2010
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/UlrichAHB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/UlrichAHB10
Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday:
From Scenarios to Test Implementations Via Promela. ICTSS 2010: 236-249

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/DuryHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/DuryHP09
Arnaud Dury, Hesham Hallal, Alexandre Petrenko:
Inferring Behavioural Models from Traces of Business Applications. ICWS 2009: 791-798
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/services/HallalDP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/HallalDP09
Hesham Hallal, Arnaud Dury, Alexandre Petrenko:
Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I 2009: 130-138
2006
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HallalBPU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HallalBPU06
Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18(1): 63-83 (2006)
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BorodayPSH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BorodayPSH05
Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal:
Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005)
2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/HallalATBP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/HallalATBP04
Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko:
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/UlrichHPB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/UlrichHPB03
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday:
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
[c3]
- view
- export record
  dblp key:
  - conf/ista/BorodayHPU03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ista/BorodayHPU03
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich:
Formal Modeling of Communication Traces. ISTA 2003: 97-108
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/HallalBUP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/HallalBUP03
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196
2000
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/HallalNP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/HallalNP00
Hesham Hallal, Radu Negulescu, Alexandre Petrenko:
Design of divergence-free protocol converters using supervisory control techniques. ICECS 2000: 705-708

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.