| 2007 |
|---|
| 14 | EE | Arnaud Dury,
Sergiy Boroday,
Alexandre Petrenko,
Volkmar Lotz:
Formal Verification of Business Workflows and Role Based Access Control Systems.
SECURWARE 2007: 201-210 |
| 13 | EE | Sergiy Boroday,
Alexandre Petrenko,
Roland Groz:
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007) |
| 2006 |
|---|
| 12 | EE | 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 |
|---|
| 11 | EE | May Haydar,
Sergiy Boroday,
Alexandre Petrenko,
Houari A. Sahraoui:
Properties and scopes in web model checking.
ASE 2005: 400-404 |
| 10 | EE | 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 |
|---|
| 9 | EE | Hesham Hallal,
E. Alikacem,
W. P. Tunney,
Sergiy Boroday,
Alexandre Petrenko:
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.
QSIC 2004: 258-267 |
| 8 | EE | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming Configurations in EFSM Testing.
IEEE Trans. Software Eng. 30(1): 29-42 (2004) |
| 2003 |
|---|
| 7 | EE | Andreas Ulrich,
Hesham Hallal,
Alexandre Petrenko,
Sergiy Boroday:
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.
HICSS 2003: 337 |
| 6 | | Sergiy Boroday,
Hesham Hallal,
Alexandre Petrenko,
Andreas Ulrich:
Formal Modeling of Communication Traces.
ISTA 2003: 97-108 |
| 5 | EE | Hesham Hallal,
Sergiy Boroday,
Andreas Ulrich,
Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces.
TestCom 2003: 180-196 |
| 2002 |
|---|
| 4 | EE | Sergiy Boroday,
Roland Groz,
Alexandre Petrenko,
Yves-Marie Quemener:
Techniques for Abstracting SDL Specifications.
SAM 2002: 141-157 |
| 3 | | Sergiy Boroday,
Alexandre Petrenko,
Roland Groz,
Yves-Marie Quemener:
Test Generation for CEFSM Combining Specification and Fault Coverage.
TestCom 2002: 355-372 |
| 1999 |
|---|
| 2 | | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming configurations in EFSM.
FORTE 1999: 5-24 |
| 1998 |
|---|
| 1 | | Sergiy Boroday:
Distinguishing Tests for Nondeterministic Finite State Machines.
IWTCS 1998: 101-108 |
