2008 |
13 | EE | Liam Peyton,
Bernard Stepien,
Pierre Seguin:
Integration Testing of Composite Applications.
HICSS 2008: 96 |
12 | | Liam Peyton,
Bo Zhan,
Bernard Stepien:
A Case Study in Integrated Quality Assurance for Performance Management Systems.
MSVVEIS 2008: 129-138 |
11 | EE | Bernard Stepien,
Liam Peyton,
Pulei Xiong:
Framework testing of web applications using TTCN-3.
STTT 10(4): 371-381 (2008) |
2007 |
10 | EE | Venanzio Capretta,
Bernard Stepien,
Amy P. Felty,
Stan Matwin:
Formal correctness of conflict detection for firewalls.
FMSE 2007: 22-30 |
2004 |
9 | EE | Robert L. Probert,
Pulei Xiong,
Bernard Stepien:
Life-Cycle E-commerce Testing with OO-TTCN-3.
FORTE Workshops 2004: 16-29 |
2003 |
8 | | Ina Schieferdecker,
Bernard Stepien:
Automated Testing of XML/SOAP based Web Services.
KiVS 2003: 43-54 |
2002 |
7 | EE | Bernard Stepien,
Luigi Logrippo:
Graphic visualization and animation of LOTOS execution traces.
Computer Networks 40(5): 665-681 (2002) |
2000 |
6 | | Daniel Amyot,
Leïla Charfi,
Nicolas Gorse,
Tom Gray,
Luigi Logrippo,
Jacques Sincennes,
Bernard Stepien,
Tom Ware:
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
FIW 2000: 274-289 |
1997 |
5 | EE | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Structural Models for Specifying Telephone Systems.
Computer Networks and ISDN Systems 29(4): 501-528 (1997) |
1995 |
4 | | Bernard Stepien,
Luigi Logrippo:
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.
FIW 1995: 141-155 |
1994 |
3 | | Bernard Stepien,
Luigi Logrippo:
Feature interaction detection using backward reasoning with LOTOS.
PSTV 1994: 71-86 |
1991 |
2 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.
Computer Networks and ISDN Systems 21: 53-67 (1991) |
1989 |
1 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specifications of Telephone Systems in LOTOS.
PSTV 1989: 25-34 |