Bernard Stepien

Publication Activity (10 Years)

Years Active: 1986-2020
Publications (10 Years): 6

Top Topics

Description Language

Business Process

Top Venues

Publications

Bernard Stepien, Amy P. Felty
Resolving XACML Rule Conflicts using Artificial Intelligence. ICISS (2020)
Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. 18 (2) (2019)
Bernard Stepien, Amy P. Felty
Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML. ARES (2016)
Bernard Stepien, Kavya Mallur, Liam Peyton
Testing Business Processes Using TTCN-3. SDL Forum (2015)
Bernard Stepien, Benjamin Eze, Liam Peyton
Testing Policy-Based e-Health Monitoring Processes Using TTCN-3. MCETECH (2015)
Patrice Boulet, Daniel Amyot, Bernard Stepien
Towards the Generation of Tests in the Test Description Language from Use Case Map Models. SDL Forum (2015)
Bernard Stepien, Amy P. Felty, Stan Matwin
A non-technical XACML target editor for dynamic access control systems. CTS (2014)
Bernard Stepien, Liam Peyton
Innovation and evolution in integrated web application testing with TTCN-3. Int. J. Softw. Tools Technol. Transf. 16 (3) (2014)
Bernard Stepien, Liam Peyton, Ming Shang, Theofanis Vassiliou-Gioles
An integrated TTCN-3 test framework architecture for interconnected object-based internet applications. Int. J. Electron. Bus. 11 (1) (2014)
Bernard Stepien, Amy P. Felty, Stan Matwin
Challenges of Composing XACML Policies. ARES (2014)
Bernard Stepien, Liam Peyton
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. ICTSS (2013)
Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
CatBAC: A generic framework for designing and validating hybrid access control models. ICC (2012)
Bernard Stepien, Stan Matwin, Amy P. Felty
An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption. ARES (2012)
Bernard Stepien, Pulei Xiong, Liam Peyton
A Systematic Approach to Web Application Penetration Testing Using TTCN-3. MCETECH (2011)
Bernard Stepien, Stan Matwin, Amy P. Felty
Advantages of a non-technical XACML notation in role-based models. PST (2011)
Bernard Stepien, Stan Matwin, Amy P. Felty
Strategies for Reducing Risks of Inconsistencies in Access Control Policies. ARES (2010)
Bernard Stepien, Liam Peyton
Integration Testing of Web Applications and Databases Using TTCN-3. MCETECH (2009)
Pulei Xiong, Bernard Stepien, Liam Peyton
Model-Based Penetration Test Framework for Web Applications Using TTCN-3. MCETECH (2009)
Bernard Stepien, Amy P. Felty, Stan Matwin
A Non-technical User-Oriented Display Notation for XACML Conditions. MCETECH (2009)
Liam Peyton, Bo Zhan, Bernard Stepien
A Case Study in Integrated Quality Assurance for Performance Management Systems. MSVVEIS (2008)
Bernard Stepien, Liam Peyton, Pulei Xiong
Framework testing of web applications using TTCN-3. Int. J. Softw. Tools Technol. Transf. 10 (4) (2008)
Liam Peyton, Bernard Stepien, Pierre Seguin
Integration Testing of Composite Applications. HICSS (2008)
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin
Formal correctness of conflict detection for firewalls. FMSE (2007)
Robert L. Probert, Pulei Xiong, Bernard Stepien
Life-Cycle E-commerce Testing with OO-TTCN-3. FORTE Workshops (2004)
Ina Schieferdecker, Bernard Stepien
Automated Testing of XML/SOAP based Web Services. KiVS (2003)
Bernard Stepien, Luigi Logrippo
Graphic visualization and animation of LOTOS execution traces. Comput. Networks 40 (5) (2002)
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)
Ina Schieferdecker, Axel Rennoch, Mang Li, Bernard Stepien
Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle. Prax. Inf.verarb. Kommun. 21 (3) (1998)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Structural Models for Specifying Telephone Systems. Comput. Networks ISDN Syst. 29 (4) (1997)
Bernard Stepien, Luigi Logrippo
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. FIW (1995)
Bernard Stepien, Luigi Logrippo
Feature interaction detection using backward reasoning with LOTOS. PSTV (1994)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Comput. Networks ISDN Syst. 21 (1991)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specifications of Telephone Systems in LOTOS. PSTV (1989)
Hélène Charnassé, Bernard Stepien
Automatic transcription of sixteenth century musical notations. Comput. Humanit. 20 (3) (1986)
Luigi Logrippo, Bernard Stepien
Cluster analysis for the computer-assisted statistical analysis of melodies. Comput. Humanit. 20 (1) (1986)