 | 2009 |
|---|
| 7 |       | Arnaud Dury,
Hesham Hallal,
Alexandre Petrenko:
Inferring Behavioural Models from Traces of Business Applications.
ICWS 2009: 791-798 |
| 2006 |
|---|
| 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) |
| 2005 |
|---|
| 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) |
| 2004 |
|---|
| 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 |
| 2003 |
|---|
| 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 |
