Bernard Stepien

	2009
16		Pulei Xiong, Bernard Stepien, Liam Peyton: Model-Based Penetration Test Framework for Web Applications Using TTCN-3. MCETECH 2009: 141-154
15		Bernard Stepien, Liam Peyton: Integration Testing of Web Applications and Databases Using TTCN-3. MCETECH 2009: 306-318
14		Bernard Stepien, Amy P. Felty, Stan Matwin: A Non-technical User-Oriented Display Notation for XACML Conditions. MCETECH 2009: 53-64
	2008
13		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		Bernard Stepien, Liam Peyton, Pulei Xiong: Framework testing of web applications using TTCN-3. STTT 10(4): 371-381 (2008)
	2007
10		Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30
	2004
9		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		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		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

Coauthor Index

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

Colors in the list of coauthors