dblp.uni-trier.dewww.uni-trier.de

Bernard Stepien

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EELiam 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
11EEBernard Stepien, Liam Peyton, Pulei Xiong: Framework testing of web applications using TTCN-3. STTT 10(4): 371-381 (2008)
2007
10EEVenanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30
2004
9EERobert 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
7EEBernard 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
5EEMohammed 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

Coauthor Index

1Daniel Amyot [6]
2Venanzio Capretta [10]
3Leïla Charfi [6]
4Mohammed Faci [1] [2] [5]
5Amy P. Felty [10]
6Nicolas Gorse [6]
7Tom Gray [6]
8Luigi Logrippo [1] [2] [3] [4] [5] [6] [7]
9Stan Matwin [10]
10Liam Peyton [11] [12] [13]
11Robert L. Probert [9]
12Ina Schieferdecker [8]
13Pierre Seguin [13]
14Jacques Sincennes [6]
15Tom Ware [6]
16Pulei Xiong [9] [11]
17Bo Zhan [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)