Automatic transcription of sixteenth century musical notations. - Hélène Charnassé; Bernard Stepien (Comput. Humanit., 1986)

Cluster analysis for the computer-assisted statistical analysis of melodies. - Luigi Logrippo; Bernard Stepien (Comput. Humanit., 1986)

Formal Specifications of Telephone Systems in LOTOS. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (PSTV, 1989)

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1991)

Feature interaction detection using backward reasoning with LOTOS. - Bernard Stepien; Luigi Logrippo (PSTV, 1994)

Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. - Bernard Stepien; Luigi Logrippo (FIW, 1995)

Structural Models for Specifying Telephone Systems. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1997)

Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle. - Ina Schieferdecker; Axel Rennoch; Mang Li; Bernard Stepien (Prax. Inf.verarb. Kommun., 1998)

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. - Daniel Amyot; Leïla Charfi; Nicolas Gorse; Tom Gray; Luigi Logrippo; Jacques Sincennes; Bernard Stepien; Tom Ware (FIW, 2000)

Graphic visualization and animation of LOTOS execution traces. - Bernard Stepien; Luigi Logrippo (Comput. Networks, 2002)

Automated Testing of XML/SOAP based Web Services. - Ina Schieferdecker; Bernard Stepien (KiVS, 2003)

Life-Cycle E-commerce Testing with OO-TTCN-3. - Robert L. Probert; Pulei Xiong; Bernard Stepien (FORTE Workshops, 2004)

Formal correctness of conflict detection for firewalls. - Venanzio Capretta; Bernard Stepien; Amy P. Felty; Stan Matwin (FMSE, 2007)

Integration Testing of Composite Applications. - Liam Peyton; Bernard Stepien; Pierre Seguin (HICSS, 2008)

A Case Study in Integrated Quality Assurance for Performance Management Systems. - Liam Peyton; Bo Zhan; Bernard Stepien (MSVVEIS, 2008)

Framework testing of web applications using TTCN-3. - Bernard Stepien; Liam Peyton; Pulei Xiong (Int. J. Softw. Tools Technol. Transf., 2008)

A Non-technical User-Oriented Display Notation for XACML Conditions. - Bernard Stepien; Amy P. Felty; Stan Matwin (MCETECH, 2009)

Integration Testing of Web Applications and Databases Using TTCN-3. - Bernard Stepien; Liam Peyton (MCETECH, 2009)

Model-Based Penetration Test Framework for Web Applications Using TTCN-3. - Pulei Xiong; Bernard Stepien; Liam Peyton (MCETECH, 2009)

Strategies for Reducing Risks of Inconsistencies in Access Control Policies. - Bernard Stepien; Stan Matwin; Amy P. Felty (ARES, 2010)

A Systematic Approach to Web Application Penetration Testing Using TTCN-3. - Bernard Stepien; Pulei Xiong; Liam Peyton (MCETECH, 2011)

Advantages of a non-technical XACML notation in role-based models. - Bernard Stepien; Stan Matwin; Amy P. Felty (PST, 2011)

An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption. - Bernard Stepien; Stan Matwin; Amy P. Felty (ARES, 2012)

CatBAC: A generic framework for designing and validating hybrid access control models. - Bernard Stepien; Hemanth Khambhammettu; Kamel Adi; Luigi Logrippo (ICC, 2012)

Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. - Bernard Stepien; Liam Peyton (ICTSS, 2013)

Challenges of Composing XACML Policies. - Bernard Stepien; Amy P. Felty; Stan Matwin (ARES, 2014)

A non-technical XACML target editor for dynamic access control systems. - Bernard Stepien; Amy P. Felty; Stan Matwin (CTS, 2014)

An integrated TTCN-3 test framework architecture for interconnected object-based internet applications. - Bernard Stepien; Liam Peyton; Ming Shang; Theofanis Vassiliou-Gioles (Int. J. Electron. Bus., 2014)

Innovation and evolution in integrated web application testing with TTCN-3. - Bernard Stepien; Liam Peyton (Int. J. Softw. Tools Technol. Transf., 2014)

Testing Policy-Based e-Health Monitoring Processes Using TTCN-3. - Bernard Stepien; Benjamin Eze; Liam Peyton (MCETECH, 2015)

Towards the Generation of Tests in the Test Description Language from Use Case Map Models. - Patrice Boulet; Daniel Amyot; Bernard Stepien (SDL Forum, 2015)

Testing Business Processes Using TTCN-3. - Bernard Stepien; Kavya Mallur; Liam Peyton (SDL Forum, 2015)

Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML. - Bernard Stepien; Amy P. Felty (ARES, 2016)

From use case maps to executable test procedures: a scenario-based approach. - Nader Kesserwan; Rachida Dssouli; Jamal Bentahar; Bernard Stepien; Pierre Labrèche (Softw. Syst. Model., 2019)

Resolving XACML Rule Conflicts using Artificial Intelligence. - Bernard Stepien; Amy P. Felty (ICISS, 2020)