 | 2010 |
|---|
| 9 |       | Andreas Ulrich,
El Hachemi Alikacem,
Hesham Hallal,
Sergiy Boroday:
From Scenarios to Test Implementations Via Promela.
ICTSS 2010: 236-249 |
| 2009 |
|---|
| 8 | | Arnaud Dury,
Hesham Hallal,
Alexandre Petrenko:
Inferring Behavioural Models from Traces of Business Applications.
ICWS 2009: 791-798 |
| 7 | | Hesham Hallal,
Arnaud Dury,
Alexandre Petrenko:
Web-FIM: Automated Framework for the Inference of Business Software Models.
SERVICES I 2009: 130-138 |
| 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,
El Hachemi 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page