Concepedia

Bernard Stépien

BS

Statistics

Publications

12

Citations

257

H-Index

11

Active since

1989

Affiliations

University of Ottawa(Current)

Polish Academy of Sciences

Bernard Stépien is an author at University of Ottawa specializing in computer science, computing, and software testing.

Publications per year

1989–2017

12

Publications

12

Formal correctness of conflict detection for firewalls

Venanzio Capretta, Bernard Stépien, Amy Felty et al. · 2007 · 49 citations

Computing, Computer Science, Cybersecurity +17

Formal specification of telephone systems in LOTOS: the constraint-oriented style approach

Mohammed Faci, Luigi Logrippo, Bernard Stépien · Computer Networks and ISDN Systems · 1991 · 35 citations

Computing, Computer Science, Computer Systems +14

Advantages of a non-technical XACML notation in role-based models

Bernard Stépien, Stan Matwin, Amy Felty · 2011 · 27 citations

Computing, Computer Science, Access Management +15

Framework testing of web applications using TTCN-3

Bernard Stépien, Liam Peyton, Pulei Xiong · International Journal on Software Tools for Technology Transfer · 2008 · 26 citations

Computing, Computer Science, Information Technology +12

Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.

Bernard Stépien, Luigi Logrippo · 1995 · 21 citations

Computing, Computer Science, Formal Methods +9

1–5 of 12