- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c7 |      | Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday: From Scenarios to Test Implementations Via Promela. ICTSS 2010: 236-249 |
| 2009 | ||
| c6 | | Arnaud Dury, Hesham Hallal, Alexandre Petrenko: Inferring Behavioural Models from Traces of Business Applications. ICWS 2009: 791-798 |
| c5 | | Hesham Hallal, Arnaud Dury, Alexandre Petrenko: Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I 2009: 130-138 |
| 2006 | ||
| j2 | | 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 | ||
| j1 | | 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 | ||
| c4 | | 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 | ||
| c3 | | Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337 |
| c2 | | Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108 |
| c1 | | Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196 |
| 1 | El Hachemi Alikacem | |
| 2 | Sergiy Boroday | |
| 3 | Arnaud Dury | |
| 4 | Alexandre Petrenko | |
| 5 | J. Singh | |
| 6 | W. P. Tunney | |
| 7 | Andreas Ulrich |
Data released under the ODC-BY 1.0 license — See also our legal information page