Bernard Stepien

According to our database, Bernard Stepien authored at least 35 papers between 1986 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Resolving XACML Rule Conflicts using Artificial Intelligence.

Bernard Stepien, Amy P. Felty

Proceedings of the ICISS 2020: The 3rd International Conference on Information Science and System, 2020

2019

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

2016

Using Expert Systems to Statically Detect "Dynamic" Conflicts in XACML.

Bernard Stepien, Amy P. Felty

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Testing Business Processes Using TTCN-3.

Bernard Stepien, Kavya Mallur, Liam Peyton

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Towards the Generation of Tests in the Test Description Language from Use Case Map Models.

Patrice Boulet, Daniel Amyot, Bernard Stepien

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Testing Policy-Based e-Health Monitoring Processes Using TTCN-3.

Bernard Stepien, Benjamin Eze, Liam Peyton

Proceedings of the E-Technologies - 6th International Conference, 2015

2014

Innovation and evolution in integrated web application testing with TTCN-3.

Bernard Stepien, Liam Peyton

Int. J. Softw. Tools Technol. Transf., 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

A non-technical XACML target editor for dynamic access control systems.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

Challenges of Composing XACML Policies.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the Ninth International Conference on Availability, 2014

2013

Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3.

Bernard Stepien, Liam Peyton

Proceedings of the Testing Software and Systems, 2013

2012

CatBAC: A generic framework for designing and validating hybrid access control models.

Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo

Proceedings of IEEE International Conference on Communications, 2012

An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption.

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the Seventh International Conference on Availability, 2012

2011

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

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

A Systematic Approach to Web Application Penetration Testing Using TTCN-3.

Bernard Stepien, Pulei Xiong, Liam Peyton

Proceedings of the E-Technologies: Transformation in a Connected World, 2011

2010

Strategies for Reducing Risks of Inconsistencies in Access Control Policies.

Bernard Stepien, Stan Matwin, Amy P. Felty

Proceedings of the ARES 2010, 2010

2009

Model-Based Penetration Test Framework for Web Applications Using TTCN-3.

Pulei Xiong, Bernard Stepien, Liam Peyton

Proceedings of the E-Technologies: Innovation in an Open World, 2009

Integration Testing of Web Applications and Databases Using TTCN-3.

Bernard Stepien, Liam Peyton

Proceedings of the E-Technologies: Innovation in an Open World, 2009

A Non-technical User-Oriented Display Notation for XACML Conditions.

Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the E-Technologies: Innovation in an Open World, 2009

2008

Framework testing of web applications using TTCN-3.

Bernard Stepien, Liam Peyton, Pulei Xiong

Int. J. Softw. Tools Technol. Transf., 2008

A Case Study in Integrated Quality Assurance for Performance Management Systems.

Liam Peyton, Bo Zhan, Bernard Stepien

Proceedings of the Modelling, 2008

Integration Testing of Composite Applications.

Liam Peyton, Bernard Stepien, Pierre Seguin

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007

Formal correctness of conflict detection for firewalls.

Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2004

Life-Cycle E-commerce Testing with OO-TTCN-3.

Robert L. Probert, Pulei Xiong, Bernard Stepien

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Automated Testing of XML/SOAP based Web Services.

Ina Schieferdecker, Bernard Stepien

Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003

2002

Graphic visualization and animation of LOTOS execution traces.

Bernard Stepien, Luigi Logrippo

Comput. Networks, 2002

2000

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

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1998

Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle.

Ina Schieferdecker, Axel Rennoch, Mang Li, Bernard Stepien

Prax. Inf.verarb. Kommun., 1998

1997

Structural Models for Specifying Telephone Systems.

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Comput. Networks ISDN Syst., 1997

1995

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

Bernard Stepien, Luigi Logrippo

Proceedings of the Feature Interactions in Telecommunications III, 1995

1994

Feature interaction detection using backward reasoning with LOTOS.

Bernard Stepien, Luigi Logrippo

Proceedings of the Protocol Specification, 1994

1991

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Comput. Networks ISDN Syst., 1991

1989

Formal Specifications of Telephone Systems in LOTOS.

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Proceedings of the Protocol Specification, 1989

1986

Cluster analysis for the computer-assisted statistical analysis of melodies.

Luigi Logrippo, Bernard Stepien

Comput. Humanit., 1986

Automatic transcription of sixteenth century musical notations.

Hélène Charnassé, Bernard Stepien

Comput. Humanit., 1986